Metadata
Author: WikiMatrix
Data
Esperanto[eo]
Wolfgang Haken kaj Kenneth Appel uzis komputilon por pruvi la kvar-koloran teoremon en 1976.
French[fr]
Ce sera finalement Kenneth Appel et Haken qui obtiendront en 1977 une démonstration du théorème des quatre couleurs.