Large-scale mathematical formalization projects
http://dbpedia.org/resource/Category:Large-scale_mathematical_formalization_projects an entity of type: Concept
rdf:langString
Large-scale mathematical formalization projects
rdf:langString
Large-scale mathematical formalization projects
xsd:integer
36515082
xsd:integer
503696734