Disambiguation evidence for Davis–Putnam–Robinson–Matiyasevich theorem via surface form
"Matiyasevich’s theorem"
Triples (2)
Triples where some other subject referred to this entity
as "Matiyasevich’s theorem".
Yuri Matiyasevich
→
hasNotableTheorem
→
"Matiyasevich’s theorem"
ⓘ
↳ resolves to Davis–Putnam–Robinson–Matiyasevich theorem
Yuri Matiyasevich
→
theoremNamedAfter
→
"Matiyasevich’s theorem"
ⓘ
↳ resolves to Davis–Putnam–Robinson–Matiyasevich theorem