Metadata
Author: WikiMatrix
Data
English[en]
In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
Spanish[es]
En 1976, Wolfgang Haken y Kenneth Appel usaron una computadora para demostrar el teorema de los cuatro colores.