Disambiguation evidence for DPLL(T) via surface form

"DPLL(T) framework"

Triples (1)

Triples where some other subject referred to this entity as "DPLL(T) framework".

Nelson–Oppen combination method → relatedTo →
"DPLL(T) framework"
↳ resolves to DPLL(T)
ⓘ