Metadata
Author: WikiMatrix
Data
English[en]
In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Spanish[es]
En 1976, el teorema de los cuatro colores fue el primer teorema importante que se verificó con un programa informático.