Disambiguation evidence for Satisfiability Modulo Theories (SMT) via surface form

"MathSAT"

Triples (1)

Triples where some other subject referred to this entity as "MathSAT".

Satisfiability Modulo Theories (SMT) → hasSolver →

"MathSAT"

↳ resolves to Satisfiability Modulo Theories (SMT)

self-linksurface differs ⓘ

surface form: Satisfiability Modulo Theories