Disambiguation evidence for Satisfiability Modulo Theories Library version 2 via surface form

"SMT-LIB"

Triples (5)

Triples where some other subject referred to this entity as "SMT-LIB".

SMT → hasStandard →
"SMT-LIB"
↳ resolves to Satisfiability Modulo Theories Library version 2
ⓘ
SMT-COMP → isAssociatedWith →
"SMT-LIB"
↳ resolves to Satisfiability Modulo Theories Library version 2
ⓘ
Boolector → supportsStandard →
"SMT-LIB"
↳ resolves to Satisfiability Modulo Theories Library version 2
ⓘ
SMTInterpol → usesInputFormat →
"SMT-LIB"
↳ resolves to Satisfiability Modulo Theories Library version 2
ⓘ
CVC5 → acceptsInputFormat →
"SMT-LIB"
↳ resolves to Satisfiability Modulo Theories Library version 2
ⓘ