Disambiguation evidence for Leonid Levin via surface form

"Leonid Levin"

Triples (8)

Triples where some other subject referred to this entity as "Leonid Levin".

P versus NP problem → introducedBy →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
NP-completeness → introducedBy →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
Marcus Hutter → influencedBy →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
Ray Solomonoff → influenced →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
Cook–Levin theorem → namedAfter →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
Cook–Levin theorem → independentlyProvedBy →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
SAT problem → NPCompletenessProvedIndependentlyBy →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ
SAT → npCompletenessProofBy →
"Leonid Levin"
↳ resolves to Leonid Levin
ⓘ