Disambiguation evidence for Cook–Levin theorem via surface form
"Cook’s 1971 NP-completeness paper"
Triples (1)
Triples where some other subject referred to this entity
as "Cook’s 1971 NP-completeness paper".
"The Complexity of Theorem-Proving Procedures"
→
alsoKnownAs
→
"Cook’s 1971 NP-completeness paper"
ⓘ
↳ resolves to Cook–Levin theorem
surface form:
The Complexity of Theorem-Proving Procedures