Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Large-scale_mathematical_formalization_projects> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Category:Large-scale_mathematical_formalization_projects wikiPageID "36515082".
- Category:Large-scale_mathematical_formalization_projects wikiPageRevisionID "503696734".
- Category:Large-scale_mathematical_formalization_projects type Concept.
- Category:Large-scale_mathematical_formalization_projects label "Large-scale mathematical formalization projects".
- Category:Large-scale_mathematical_formalization_projects sameAs Q8583104.
- Category:Large-scale_mathematical_formalization_projects sameAs Q8583104.
- Category:Large-scale_mathematical_formalization_projects broader Category:Formalism_(deductive).
- Category:Large-scale_mathematical_formalization_projects broader Category:Mathematical_logic.
- Category:Large-scale_mathematical_formalization_projects prefLabel "Large-scale mathematical formalization projects".
- Category:Large-scale_mathematical_formalization_projects wasDerivedFrom Category:Large-scale_mathematical_formalization_projects?oldid=503696734.