Disambiguation evidence for SMT-LIB2 via surface form

"SMT-LIB initiative"

Triples (2)

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

Satisfiability Modulo Theories → standardizedBy →
"SMT-LIB initiative"
↳ resolves to SMT-LIB2
ⓘ
linked to: Satisfiability Modulo Theories (SMT)
SMT-LIB2 → partOf →
"SMT-LIB initiative"
↳ resolves to SMT-LIB2
ⓘ