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