MRDP theorem en · PROPN
Etymology
Short for Matiyasevich–Robinson–Davis–Putnam.
Meanings
- Synonym of Matiyasevich's theorem.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the MRDP theorem | canonical | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.