Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b author "Georges Gonthier".
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b date "December 2008".
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b isCitedBy Conjecture.
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b isCitedBy Four_color_theorem.
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b issue "11".
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b journal "Notices of the AMS".
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b pages "1382–1393".
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b title "Formal Proof—The Four-Color Theorem".
- 1edb0885ce03a98e69d8797f6521d0d929a7a4816ed9679b86c4baca5c1f0d9b volume "55".