Disambiguation evidence for Satisfiability Modulo Theories Library version 2 via surface form
"Satisfiability Modulo Theories Library version 2"
Triples (1)
Triples where some other subject referred to this entity
as "Satisfiability Modulo Theories Library version 2".
SMT-LIB2
→
abbreviationOf
→
"Satisfiability Modulo Theories Library version 2"
ⓘ
↳ resolves to Satisfiability Modulo Theories Library version 2