Automated reasoning

http://dbpedia.org/resource/Category:Automated_reasoning an entity of type: Concept

rdf:langString Automated reasoning
rdf:langString Automated reasoning
xsd:integer 55378197
xsd:integer 972584374
skos:Concept
<http://dbpedia.org/resource/Category:Artificial_intelligence>
<http://dbpedia.org/resource/Category:Logic_in_computer_science>
<http://dbpedia.org/resource/Category:Reasoning>
<http://dbpedia.org/resource/Template:Cat_main>
<http://en.wikipedia.org/wiki/Category:Automated_reasoning?oldid=972584374&ns=14>

data from the linked data cloud