Automatic reasoning

http://dbpedia.org/resource/Automatic_reasoning

rdfs:label

rdf:langString Automatic reasoning

dbpedia-owl:wikiPageID

xsd:integer 2885074

dbpedia-owl:wikiPageRevisionID

xsd:integer 25296423

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 33

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Automated_reasoning>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Automated_reasoning>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Automatic_reasoning?oldid=25296423&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Automatic_reasoning>

data from the linked data cloud