MRDP theorem

短语

词形变化

the MRDP theorem

释义与例句

name
  1. 1.

    Synonym of Matiyasevich's theorem.

词源

Short for Matiyasevich–Robinson–Davis–Putnam.

来源：wiktionary