About: Large-scale mathematical formalization projects

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

Property Value
dbo:wikiPageID
  • 36515082 (xsd:integer)
dbo:wikiPageRevisionID
  • 503696734 (xsd:integer)
rdf:type
rdfs:label
  • Large-scale mathematical formalization projects (en)
skos:broader
skos:prefLabel
  • Large-scale mathematical formalization projects (en)
prov:wasDerivedFrom
owl:sameAs
is dbo:wikiPageWikiLink of
is dcterms:subject of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License