MRDP theorem
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Short for Matiyasevich–Robinson–Davis–Putnam.
Proper noun
[edit]the MRDP theorem
- Synonym of Matiyasevich's theorem
Short for Matiyasevich–Robinson–Davis–Putnam.
the MRDP theorem