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