Disambiguation evidence for Satisfiability Modulo Theories Library version 2 via surface form
"SMT-LIB language"
Triples (2)
Triples where some other subject referred to this entity
as "SMT-LIB language".
SMT-COMP
→
inputFormat
→
"SMT-LIB language"
ⓘ
↳ resolves to Satisfiability Modulo Theories Library version 2
CVC4
→
implementsStandard
→
"SMT-LIB language"
ⓘ
↳ resolves to Satisfiability Modulo Theories Library version 2