Matches in DBpedia 2016-04 for { <http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- feit-thomson-proved-in-coq accessdate "2012-09-25".
- feit-thomson-proved-in-coq date "2012-09-20".
- feit-thomson-proved-in-coq isCitedBy Classification_of_finite_simple_groups.
- feit-thomson-proved-in-coq isCitedBy Coq.
- feit-thomson-proved-in-coq isCitedBy Feit–Thompson_theorem.
- feit-thomson-proved-in-coq publisher "Msr-inria.inria.fr".
- feit-thomson-proved-in-coq title "Feit-Thompson theorem has been totally checked in Coq".
- feit-thomson-proved-in-coq url feit-thomson-proved-in-coq.