👤 PersonWolfgang Haken1928–2022 · GermanyWikipediaWikipedia (es)Wikidata🌍 View on the globeInventions and discoveries · 11976Four color theorem (computer-assisted proof)Theorem, law or theory · author