What mathematical theorem, the first major theorem to be solved using a computer, was proven in 1976 by Kenneth Appel and Wolfgang Haken with a set of 1936 maps?
The Four-Color map Theorem Map color problem Four-Colour Map Problem 4CT 4 colour map problem Four Color Problem Seven colour theorem 4-color problem Four Color Conjecture Four colour map problem Four-colour theorem 4 color problem Four colour problem Proof of the 4 color theorem 4-colors theorem Four-color map Four-color theorem Four Color Theory Four-color conjecture 4 colour theorem 4 color theorem Four-colour Theorem Four color problem Four color map problem Four-color problem Four Color Theorem Map coloring problem Four color theorem Minimum number of map colors Four-Color Maps Four-Colour Theorem Four Colour Theorem Four color map theorem Four-color map theorem 4-color theorem Four-colour problem Four color conjecture 4-color conjecture Four-Color Theorem History of the four color theorem Four colour theorem Map-coloring problem
four color map theorem 4 colour map problem four colour map problem proof of 4 color theorem 4 color conjecture minimum number of map colors 4ct 4 color problem 4 colour theorem four color map 4 colors theorem four color theory four colour problem 4 color theorem map color problem four color problem four color map problem map coloring problem four color theorem four color conjecture history of four color theorem four color maps seven colour theorem four colour theorem
four color map theorem
WikipediaEntity
Four-color map theorem