Disambiguation evidence for Satisfiability Modulo Theories Competition via surface form
"Satisfiability Modulo Theories Competition"
Triples (1)
Triples where some other subject referred to this entity
as "Satisfiability Modulo Theories Competition".
SMT-COMP
→
fullName
→
"Satisfiability Modulo Theories Competition"
ⓘ
↳ resolves to Satisfiability Modulo Theories Competition