Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Inference rules
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Inference_rules
http://dbpedia.org/ontology/wikiPageID 1250635
http://dbpedia.org/ontology/wikiPageLength 31
http://dbpedia.org/ontology/wikiPageRedirects http://dbpedia.org/resource/Rule_of_inference +
http://dbpedia.org/ontology/wikiPageRevisionID 847776019
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/Rule_of_inference +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Inference_rules?oldid=847776019&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/Inference_rules +
owl:sameAs http://dbpedia.org/resource/Inference_rules +
rdfs:label Inference rules
hide properties that link here 
http://dbpedia.org/resource/Semantic_reasoner + , http://dbpedia.org/resource/Natural_deduction + , http://dbpedia.org/resource/Second-order_logic + , http://dbpedia.org/resource/Theorem + , http://dbpedia.org/resource/Universal_instantiation + , http://dbpedia.org/resource/Frege_system + , http://dbpedia.org/resource/Provenance_Markup_Language + , http://dbpedia.org/resource/Dynamic_epistemic_logic + , http://dbpedia.org/resource/Functional_dependency + , http://dbpedia.org/resource/Curry%E2%80%93Howard_correspondence + , http://dbpedia.org/resource/Structural_synthesis_of_programs + http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/Inference_rules + http://xmlns.com/foaf/0.1/primaryTopic
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fdbpedia.org-2Fresource-2FInference_rules"