FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1909277947> ?p ?o ?g. }

• W1909277947 abstract "The famous four color theorem states that for all planar graphs, every vertex can be assigned one of 4 colors such that no two adjacent vertices receive the same color. Since Francis Guthrie first conjectured it in 1852, it is until 1976 with electronic computer that Appel and Haken first gave a proof by finding and verifying 1936 reducible unavoidable sets, and a simplified proof of Robertson, Sanders, Seymour and Thomas in 1997 only involved 633 reducible unavoidable sets, both proofs could not be realized effectively by hand. Until now, finding the reducible unavoidable sets remains the only successful method to use, which came from Kempe's first proof of the four color problem in 1879. An alternative method only involving 4 reducible unavoidable sets for proving the four color theorem is used in this paper, which takes form of mathematical proof rather than a computer-assisted proof and proves both the four color conjecture and the uniquely 4-colorable planar graph conjecture by mathematical method." @default.
• W1909277947 created "2016-06-24" @default.
• W1909277947 creator A5059434416 @default.
• W1909277947 date "2009-11-09" @default.
• W1909277947 modified "2023-09-27" @default.
• W1909277947 title "Mathematical Proofs of Two Conjectures: The Four Color Problem and The Uniquely 4-colorable Planar Graph" @default.
• W1909277947 cites W121484200 @default.
• W1909277947 cites W1479863711 @default.
• W1909277947 cites W1495591881 @default.
• W1909277947 cites W1518358948 @default.
• W1909277947 cites W1608411866 @default.
• W1909277947 cites W1656795039 @default.
• W1909277947 cites W1698968804 @default.
• W1909277947 cites W1987231262 @default.
• W1909277947 cites W1991616632 @default.
• W1909277947 cites W1993454521 @default.
• W1909277947 cites W1994509697 @default.
• W1909277947 cites W1994732553 @default.
• W1909277947 cites W1995621089 @default.
• W1909277947 cites W1997493341 @default.
• W1909277947 cites W2008263650 @default.
• W1909277947 cites W2018365269 @default.
• W1909277947 cites W2021304992 @default.
• W1909277947 cites W2025296046 @default.
• W1909277947 cites W2041714893 @default.
• W1909277947 cites W2044338008 @default.
• W1909277947 cites W2050101460 @default.
• W1909277947 cites W2051282422 @default.
• W1909277947 cites W2055646300 @default.
• W1909277947 cites W2061575883 @default.
• W1909277947 cites W2061987467 @default.
• W1909277947 cites W2063102617 @default.
• W1909277947 cites W2064238886 @default.
• W1909277947 cites W2072546650 @default.
• W1909277947 cites W2127300915 @default.
• W1909277947 cites W2142184171 @default.
• W1909277947 cites W2148360835 @default.
• W1909277947 cites W2314483652 @default.
• W1909277947 cites W2317124256 @default.
• W1909277947 cites W2317908501 @default.
• W1909277947 cites W2321989266 @default.
• W1909277947 cites W2327122380 @default.
• W1909277947 cites W2330138561 @default.
• W1909277947 cites W2330735725 @default.
• W1909277947 cites W2330851025 @default.
• W1909277947 cites W2333732752 @default.
• W1909277947 cites W2461440336 @default.
• W1909277947 cites W2510299347 @default.
• W1909277947 cites W2601558114 @default.
• W1909277947 cites W2606930837 @default.
• W1909277947 cites W2611093227 @default.
• W1909277947 cites W2782908395 @default.
• W1909277947 cites W2799004609 @default.
• W1909277947 cites W2930060204 @default.
• W1909277947 cites W2978509545 @default.
• W1909277947 cites W3048322766 @default.
• W1909277947 cites W345637930 @default.
• W1909277947 cites W415832010 @default.
• W1909277947 cites W574460519 @default.
• W1909277947 cites W2026943875 @default.
• W1909277947 doi "https://doi.org/10.48550/arxiv.0911.1587" @default.
• W1909277947 hasPublicationYear "2009" @default.
• W1909277947 type Work @default.
• W1909277947 sameAs 1909277947 @default.
• W1909277947 citedByCount "2" @default.
• W1909277947 countsByYear W19092779472013 @default.
• W1909277947 crossrefType "posted-content" @default.
• W1909277947 hasAuthorship W1909277947A5059434416 @default.
• W1909277947 hasBestOaLocation W19092779471 @default.
• W1909277947 hasConcept C101837359 @default.
• W1909277947 hasConcept C108710211 @default.
• W1909277947 hasConcept C114614502 @default.
• W1909277947 hasConcept C118615104 @default.
• W1909277947 hasConcept C121684516 @default.
• W1909277947 hasConcept C132525143 @default.
• W1909277947 hasConcept C134786449 @default.
• W1909277947 hasConcept C2524010 @default.
• W1909277947 hasConcept C2780990831 @default.
• W1909277947 hasConcept C33923547 @default.
• W1909277947 hasConcept C41008148 @default.
• W1909277947 hasConcept C76946457 @default.
• W1909277947 hasConcept C80899671 @default.
• W1909277947 hasConceptScore W1909277947C101837359 @default.
• W1909277947 hasConceptScore W1909277947C108710211 @default.
• W1909277947 hasConceptScore W1909277947C114614502 @default.
• W1909277947 hasConceptScore W1909277947C118615104 @default.
• W1909277947 hasConceptScore W1909277947C121684516 @default.
• W1909277947 hasConceptScore W1909277947C132525143 @default.
• W1909277947 hasConceptScore W1909277947C134786449 @default.
• W1909277947 hasConceptScore W1909277947C2524010 @default.
• W1909277947 hasConceptScore W1909277947C2780990831 @default.
• W1909277947 hasConceptScore W1909277947C33923547 @default.
• W1909277947 hasConceptScore W1909277947C41008148 @default.
• W1909277947 hasConceptScore W1909277947C76946457 @default.
• W1909277947 hasConceptScore W1909277947C80899671 @default.
• W1909277947 hasLocation W19092779471 @default.
• W1909277947 hasOpenAccess W1909277947 @default.
• W1909277947 hasPrimaryLocation W19092779471 @default.
• W1909277947 hasRelatedWork W2006947206 @default.
• W1909277947 hasRelatedWork W2057668757 @default.

• next