Disambiguation evidence for "The Complexity of Theorem-Proving Procedures" via surface form
"The Complexity of Theorem-Proving Procedures"
Triples (4)
Triples where some other subject referred to this entity
as "The Complexity of Theorem-Proving Procedures".
Cook–Levin theorem
→
originalPaperTitle
→
"The Complexity of Theorem-Proving Procedures"
ⓘ
↳ resolves to "The Complexity of Theorem-Proving Procedures"
SAT
→
npCompletenessProofPublication
→
"The Complexity of Theorem-Proving Procedures"
ⓘ
↳ resolves to "The Complexity of Theorem-Proving Procedures"
Stephen A. Cook
→
notableWork
→
"The Complexity of Theorem-Proving Procedures"
ⓘ
↳ resolves to "The Complexity of Theorem-Proving Procedures"
Stephen A. Cook
→
doctoralThesis
→
"The Complexity of Theorem-Proving Procedures"
ⓘ
↳ resolves to "The Complexity of Theorem-Proving Procedures"