Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_reasoning> ?p ?o }
- Automated_reasoning wikiPageWikiLinkText "Automated reasoning".
- Automated_reasoning wikiPageWikiLinkText "automated reasoning".
- Automated_reasoning wikiPageWikiLinkText "formal reasoning".
- Automated_reasoning wikiPageWikiLinkText "mechanization".
- Automated_reasoning wikiPageWikiLinkText "meta-level reasoning".
- Automated_reasoning wikiPageWikiLinkText "reason".
- Automated_reasoning wikiPageWikiLinkText "reasons".
- Automated_reasoning hasPhotoCollection Automated_reasoning.
- Automated_reasoning wikiPageUsesTemplate Template:Computable_knowledge.
- Automated_reasoning wikiPageUsesTemplate Template:Computer_science.
- Automated_reasoning subject Category:Artificial_intelligence.
- Automated_reasoning subject Category:Automated_theorem_proving.
- Automated_reasoning subject Category:Logic_in_computer_science.
- Automated_reasoning subject Category:Reasoning.
- Automated_reasoning subject Category:Theoretical_computer_science.
- Automated_reasoning hypernym Area.
- Automated_reasoning type Area.
- Automated_reasoning type Place.
- Automated_reasoning type Area.
- Automated_reasoning type Method.
- Automated_reasoning type Proof.
- Automated_reasoning comment "Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically.".
- Automated_reasoning label "Automated reasoning".
- Automated_reasoning sameAs Razonamiento_automático.
- Automated_reasoning sameAs استدلال_خودکار.
- Automated_reasoning sameAs Raisonnement_automatisé.
- Automated_reasoning sameAs Ragionamento_automatico.
- Automated_reasoning sameAs 自動推論.
- Automated_reasoning sameAs m.0891w9.
- Automated_reasoning sameAs Аутоматско_резоновање.
- Automated_reasoning sameAs Q2555318.
- Automated_reasoning sameAs Q2555318.
- Automated_reasoning sameAs 自动推理.
- Automated_reasoning wasDerivedFrom Automated_reasoning?oldid=668675002.
- Automated_reasoning isPrimaryTopicOf Automated_reasoning.