Disambiguation evidence for Satisfiability Modulo Theories (SMT) via surface form
"satisfiability modulo theories"
Triples (1)
Triples where some other subject referred to this entity
as "satisfiability modulo theories".
Nelson–Oppen combination method
→
field
→
"satisfiability modulo theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)