About: Theorem prover

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