Disambiguation evidence for Stephen Cook via surface form

"Stephen Cook"

Triples (13)

Triples where some other subject referred to this entity as "Stephen Cook".

Grace Murray Hopper Award → notableRecipient →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
Stephen Cook → name →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
P versus NP problem → introducedBy →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
NP-completeness → introducedBy →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
University of Toronto Department of Mathematics → employs →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
University of Toronto Department of Mathematics → notableFaculty →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
The Complexity of Theorem-Proving Procedures → author →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
linked to: "The Complexity of Theorem-Proving Procedures"
NP-hardness → introducedBy →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
Cook–Levin theorem → namedAfter →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
Cook–Levin theorem → originallyProvedBy →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
SAT problem → NPCompletenessProvedBy →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
Kenneth Regan → doctoralAdvisor →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ
SAT → npCompletenessProofBy →
"Stephen Cook"
↳ resolves to Stephen Cook
ⓘ