Automated theorem proving

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

rdfs:label

rdf:langString Automated theorem proving

skos:prefLabel

rdf:langString Automated theorem proving

dbpedia-owl:wikiPageID

xsd:integer 8387931

dbpedia-owl:wikiPageRevisionID

xsd:integer 839235357

dbpedia:Category:Computational_mathematics

dbpedia:Category:Mathematical_proofs

dbpedia:Category:Formal_methods

dbpedia:Category:Logic_in_computer_science

dbpedia:Category:Logic_programming

dbpedia:Category:Mathematical_logic

dbpedia:Category:Automated_reasoning

dbpprop:wikiPageUsesTemplate

dbpedia:Template:Cat_main

prov:wasDerivedFrom

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

data from the linked data cloud