About: Automated theorem prover

Property	Value
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Automated_theorem_prover
dbpprop:redirect	dbpedia:Automated_theorem_proving
rdfs:label	Automated theorem prover
owl:sameAs	freebase:Automated theorem prover
foaf:page	http://en.wikipedia.org/wiki/Automated_theorem_prover