Automated theorem prover

http://dbpedia.org/resource/Automated_theorem_prover

rdf:langString Automated theorem prover
xsd:integer 1531203
xsd:integer 243774250
xsd:nonNegativeInteger 39
<http://dbpedia.org/resource/Automated_theorem_proving>
<http://dbpedia.org/resource/Automated_theorem_proving>
<http://en.wikipedia.org/wiki/Automated_theorem_prover?oldid=243774250&ns=0>
<http://en.wikipedia.org/wiki/Automated_theorem_prover>

data from the linked data cloud