Wiktionary

MRDP theorem

English edit

Etymology edit

Short for Matiyasevich–Robinson–Davis–Putnam.

Proper noun edit

the MRDP theorem

  1. Synonym of Matiyasevich's theorem
Retrieved from "https://en.wiktionary.org/w/index.php?title=MRDP_theorem&oldid=77958464"