Disambiguation evidence for Cook–Levin theorem via surface form

"Cook’s theorem"

Triples (1)

Triples where some other subject referred to this entity as "Cook’s theorem".

P versus NP problem → formalizedIn →

"Cook’s theorem"

↳ resolves to Cook–Levin theorem

ⓘ