Disambiguation evidence for Shostak decision procedure in automated reasoning via surface form
"Davis–Putnam–Logemann–Loveland with Theories"
Triples (1)
Triples where some other subject referred to this entity
as "Davis–Putnam–Logemann–Loveland with Theories".
DPLL(T)
→
abbreviationOf
→
"Davis–Putnam–Logemann–Loveland with Theories"
ⓘ
↳ resolves to Shostak decision procedure in automated reasoning