Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/resource/Category:Large-scale_mathematical_formalization_projects> }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 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.