TY - JOUR AU - Yu. V. Matiyasevich TI - One Probabilistic equivalent of the four color conjecture JO - Teoriâ veroâtnostej i ee primeneniâ PY - 2003 SP - 411 EP - 416 VL - 48 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TVP_2003_48_2_a13/ LA - ru ID - TVP_2003_48_2_a13 ER -