Metadata
Author: WikiMatrix
Data
English[en]
In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
Dutch[nl]
In 1976 baarden Wolfgang Haken en Kenneth Appel opzien door met een computer de vierkleurenstelling te bewijzen.