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