Statements (43)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:appliesTo |
planar graphs
|
| gptkbp:associated_with |
mathematical logic
|
| gptkbp:basedOn |
reducibility
discharging method |
| gptkbp:claims |
four color theorem
|
| gptkbp:criticism |
computer verification
|
| gptkbp:expansion |
other coloring problems
|
| gptkbp:first_held |
1976
|
| gptkbp:has_a_focus_on |
computer scientists
|
| gptkbp:has_implications_for |
geographic mapping
|
| https://www.w3.org/2000/01/rdf-schema#label |
Appel-Haken theorem
|
| gptkbp:influenced |
subsequent research in mathematics
|
| gptkbp:is_a |
computer-aided proof
|
| gptkbp:is_a_resource_for |
proof verification
|
| gptkbp:is_a_subject_of |
documentaries
academic papers combinatorial mathematics public lectures mathematical debates collaboration in mathematics |
| gptkbp:is_essential_for |
graph theory
|
| gptkbp:is_part_of |
mathematical history
|
| gptkbp:is_recognized_for |
mathematicians worldwide
|
| gptkbp:is_referenced_in |
textbooks
|
| gptkbp:is_studied_in |
mathematical proofs
|
| gptkbp:is_used_in |
mathematical conferences
mathematical literature mathematical forums |
| gptkbp:isConnectedTo |
graph coloring problems
|
| gptkbp:notable_event |
mathematics
|
| gptkbp:produces |
gptkb:Wolfgang_Haken
gptkb:Kenneth_Appel |
| gptkbp:related_to |
map coloring
Euler's_formula |
| gptkbp:taught |
university courses
|
| gptkbp:uses |
computer-assisted proof
|
| gptkbp:was_a_result_of |
topology
has practical applications graph theory research challenges traditional proof methods demonstrates the power of computers in mathematics |
| gptkbp:was_marked_by |
multiple proofs
|