Matches in DBpedia 2016-04 for { <http://www.ams.org/notices/200811/tx081101382p.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- tx081101382p.pdf first "Georges".
- tx081101382p.pdf isCitedBy Coq.
- tx081101382p.pdf isCitedBy Four_color_theorem.
- tx081101382p.pdf issue "11".
- tx081101382p.pdf last "Gonthier".
- tx081101382p.pdf mr "2463991".
- tx081101382p.pdf pages "1382–1393".
- tx081101382p.pdf periodical Notices_of_the_American_Mathematical_Society.
- tx081101382p.pdf title "Formal Proof—The Four-Color Theorem".
- tx081101382p.pdf url tx081101382p.pdf.
- tx081101382p.pdf volume "55".
- tx081101382p.pdf year "2008".