Disambiguation evidence for Per Martin-Löf via surface form

"Per Martin-Löf"

Triples (8)

Triples where some other subject referred to this entity as "Per Martin-Löf".

Andrei Kolmogorov → influenced →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
Thierry Coquand → influencedBy →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
Per Martin-Löf → name →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
Martin-Löf randomness → introducedBy →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
algorithmic information theory → hasPioneer →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
William Alvin Howard → influenced →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
Martin-Löf type theory → namedAfter →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ
Martin-Löf type theory → developedBy →
"Per Martin-Löf"
↳ resolves to Per Martin-Löf
ⓘ