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
ⓘ
linked to: "The Complexity of Theorem-Proving Procedures"