Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Large-scale_mathematical_formalization_projects> }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Coq wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Glossary_of_Principia_Mathematica wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Implementation_of_mathematics_in_set_theory wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Metamath wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Mizar_system wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Nicolas_Bourbaki wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Principia_Mathematica wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Coq subject Category:Large-scale_mathematical_formalization_projects.
- Glossary_of_Principia_Mathematica subject Category:Large-scale_mathematical_formalization_projects.
- Implementation_of_mathematics_in_set_theory subject Category:Large-scale_mathematical_formalization_projects.
- Metamath subject Category:Large-scale_mathematical_formalization_projects.
- Mizar_system subject Category:Large-scale_mathematical_formalization_projects.
- Nicolas_Bourbaki subject Category:Large-scale_mathematical_formalization_projects.
- Principia_Mathematica subject Category:Large-scale_mathematical_formalization_projects.