MRDP theorem (English, name)
expansion: the MRDP theorem
Senses:
glosses: Synonym of Matiyasevich's theorem.
Forms:
form: the MRDP theorem
tags: canonical