Disambiguation evidence for Davis–Putnam algorithm via surface form
"Davis–Putnam algorithm"
Triples (4)
Triples where some other subject referred to this entity
as "Davis–Putnam algorithm".
A Computing Procedure for Quantification Theory
→
introducesAlgorithm
→
"Davis–Putnam algorithm"
ⓘ
↳ resolves to Davis–Putnam algorithm
A Computing Procedure for Quantification Theory
→
citedFor
→
"Davis–Putnam algorithm"
ⓘ
↳ resolves to Davis–Putnam algorithm