Disambiguation evidence for "The Complexity of Theorem-Proving Procedures" via surface form
""The Complexity of Theorem-Proving Procedures""
Triples (1)
Triples where some other subject referred to this entity
as ""The Complexity of Theorem-Proving Procedures"".
Stephen Cook
→
notableWork
→
""The Complexity of Theorem-Proving Procedures""
ⓘ
↳ resolves to "The Complexity of Theorem-Proving Procedures"