About: http://dbpedia.org/resource/Automated_deduction

An Entity in Data Space: dbpedia.org

[RDF Data]

Property	Value
dbpprop:redirect	dbpedia:Automated_theorem_proving

Browse using: OpenLink Data Explorer | Zitgist Data Viewer | Marbles | DISCO | Tabulator Raw Data in: N3/Turtle | JSON+RDF | RDF/XML About

Powered by OpenLink Virtuoso

This material is Open Knowledge

W3C Semantic Web Technology

This material is Open Knowledge