Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Georges_Gonthier> }
Showing triples 1 to 7 of
7
with 100 triples per page.
- Charles_Gonthier wikiPageWikiLink Georges_Gonthier.
- Classification_of_finite_simple_groups wikiPageWikiLink Georges_Gonthier.
- Coq wikiPageWikiLink Georges_Gonthier.
- Feit–Thompson_theorem wikiPageWikiLink Georges_Gonthier.
- Four_color_theorem wikiPageWikiLink Georges_Gonthier.
- List_of_mathematicians_(G) wikiPageWikiLink Georges_Gonthier.
- Georges_Gonthier primaryTopic Georges_Gonthier.