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