Theorem proving software systems

http://dbpedia.org/resource/Category:Theorem_proving_software_systems an entity of type: Concept

rdfs:label

rdf:langString Theorem proving software systems

skos:prefLabel

rdf:langString Theorem proving software systems

dbpedia-owl:wikiPageID

xsd:integer 14417843

dbpedia-owl:wikiPageRevisionID

xsd:integer 550626637

dbpedia:Category:Formal_methods_tools

dbpedia:Category:Automated_theorem_proving

dbpedia:Category:Mathematical_software

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Category:Theorem_proving_software_systems?oldid=550626637&ns=14>

data from the linked data cloud