article on: <span class="searchmatch">Matiyasevich's</span> <span class="searchmatch">theorem</span> Wikipedia Named after Russian mathematician Yuri <span class="searchmatch">Matiyasevich</span>. <span class="searchmatch">Matiyasevich's</span> <span class="searchmatch">theorem</span> (mathematics) A <span class="searchmatch">theorem</span> stating that...
Short for <span class="searchmatch">Matiyasevich</span>–Robinson–Davis–Putnam. the MRDP <span class="searchmatch">theorem</span> Synonym of <span class="searchmatch">Matiyasevich's</span> <span class="searchmatch">theorem</span>....
Löwenheim-Skolem <span class="searchmatch">theorem</span> Maharam's <span class="searchmatch">theorem</span> <span class="searchmatch">Matiyasevich's</span> <span class="searchmatch">theorem</span> Mayer-Norton <span class="searchmatch">theorem</span> mean value <span class="searchmatch">theorem</span> Menger's <span class="searchmatch">theorem</span> midline <span class="searchmatch">theorem</span> midpoint <span class="searchmatch">theorem</span> Miquel's...
Four-Manifolds, page 15: The three basic <span class="searchmatch">theorems</span> of three-manifold topology -- Dehn's Lemma, the Loop <span class="searchmatch">Theorem</span>, and the Sphere <span class="searchmatch">Theorem</span> -- were proved in 1957 by Papakyriakopoulos...