Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:abbreviation
|
| gptkbp:canReferTo |
gptkb:Shanghai_Maglev_Train
gptkb:Samoa_Time_Zone gptkb:St._Mary's_Trophy gptkb:Sulfamethazine gptkb:Scottish_Mortgage_Investment_Trust gptkb:Society_for_Music_Theory Simultaneous multithreading Satisfiability modulo theories Surface-mount technology |
| gptkbp:bfsParent |
gptkb:AMD_EPYC
gptkb:AMD_EPYC_CPU |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
SMT
|