411 REFERENCE · Wiktionary
MRDP theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Short for Matiyasevich–Robinson–Davis–Putnam.
Proper noun
MRDP theorem 1
en Matiyasevich's theorem.
en eponyms