Disambiguation evidence for Cook–Levin theorem via surface form
"Boolean satisfiability problem is NP-complete"
Triples (1)
Triples where some other subject referred to this entity
as "Boolean satisfiability problem is NP-complete".
Cook–Levin theorem
→
establishes
→
"Boolean satisfiability problem is NP-complete"
ⓘ
↳ resolves to Cook–Levin theorem