Theorem proving

http://dbpedia.org/resource/Theorem_proving an entity of type: MusicGenre

rdf:langString Theorem proving
xsd:integer 1064472
xsd:integer 16837440
xsd:nonNegativeInteger 39
dbpedia-owl:MusicGenre
<http://dbpedia.org/resource/Automated_theorem_proving>
<http://dbpedia.org/resource/Automated_theorem_proving>
<http://en.wikipedia.org/wiki/Theorem_proving?oldid=16837440&ns=0>
<http://en.wikipedia.org/wiki/Theorem_proving>

data from the linked data cloud