%0 Journal Article %A P. Yu. Suvorov %T Representation of proof s' by coloured graphs and Hadwiger hypothesis %J Zapiski Nauchnykh Seminarov POMI %D 1979 %P 209-217 %V 88 %U http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a16/ %G ru %F ZNSL_1979_88_a16