Statements (62)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:theorem
|
| gptkbp:applies_to |
planar graphs
geographical maps |
| gptkbp:created_by |
gptkb:Wolfgang_Haken
gptkb:Kenneth_Appel |
| gptkbp:discovered_by |
gptkb:Francis_Guthrie
|
| gptkbp:has_impact_on |
gptkb:computer_science
|
| gptkbp:historical_debate |
gptkb:1976
any map can be colored with four colors |
| https://www.w3.org/2000/01/rdf-schema#label |
The Four Color Theorem
|
| gptkbp:is_a |
gptkb:chess_match
NP-complete problem theorem that has historical significance problem in recreational mathematics theorem that has been the focus of community discussions theorem that has been referenced in academic journals theorem that has been the subject of public lectures theorem that has been the basis for mathematical challenges theorem that has been the focus of interdisciplinary research theorem that has been analyzed for its proof techniques result in discrete mathematics theorem about coloring regions theorem in combinatorial mathematics theorem that can be visualized theorem that has applications in cartography theorem that has been applied in network theory theorem that has been challenged theorem that has been discussed in blogs theorem that has been discussed in conferences theorem that has been explored in academic papers theorem that has been illustrated in textbooks theorem that has been popularized in media theorem that has been referenced in literature theorem that has been simplified over time theorem that has been the basis for art projects theorem that has been the basis for competitions theorem that has been the basis for simulations theorem that has been the focus of You Tube videos theorem that has been the focus of research grants theorem that has been the subject of case studies theorem that has been the subject of debates theorem that has been the subject of documentaries theorem that has been the subject of online forums theorem that has been the subject of podcasts theorem that has been the subject of workshops theorem that has been used in algorithm design theorem that has been used in educational tools theorem that has been used in game design theorem that has been used in software development theorem that has inspired further research theorem that has been taught in mathematics courses theorem that has been referenced in popular culture theorem that has been the basis for mathematical modeling theorem that has been the subject of online courses |
| gptkbp:is_discussed_in |
mathematical literature
|
| gptkbp:is_recognized_by |
computer-assisted proof
|
| gptkbp:is_related_to |
gptkb:Euler's_formula
graph theory |
| gptkbp:is_used_in |
map coloring problems
|
| gptkbp:significance |
gptkb:television_channel
|
| gptkbp:bfsParent |
gptkb:C._E._Kempe
|
| gptkbp:bfsLayer |
5
|