Otter theorem prover

http://dbpedia.org/resource/Otter_theorem_prover

rdf:langString Otter theorem prover
xsd:integer 13675337
xsd:integer 955189808
xsd:nonNegativeInteger 36
<http://dbpedia.org/resource/Otter_(theorem_prover)>
<http://dbpedia.org/resource/Otter_(theorem_prover)>
<http://en.wikipedia.org/wiki/Otter_theorem_prover?oldid=955189808&ns=0>
<http://en.wikipedia.org/wiki/Otter_theorem_prover>

data from the linked data cloud