Disambiguation evidence for Shostak combination method via surface form
"Shostak combination method"
Triples (2)
Triples where some other subject referred to this entity
as "Shostak combination method".
Satisfiability Modulo Theories
→
relatedTo
→
"Shostak combination method"
ⓘ
↳ resolves to Shostak combination method
linked to:
Satisfiability Modulo Theories (SMT)
Nelson–Oppen combination method
→
relatedTo
→
"Shostak combination method"
ⓘ
↳ resolves to Shostak combination method