Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Resolution_inference> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Resolution_inference wikiPageID "42116733".
- Resolution_inference wikiPageLength "2219".
- Resolution_inference wikiPageOutDegree "9".
- Resolution_inference wikiPageRevisionID "699915888".
- Resolution_inference wikiPageWikiLink Category:Inference.
- Resolution_inference wikiPageWikiLink Category:Proof_theory.
- Resolution_inference wikiPageWikiLink Category:Propositional_calculus.
- Resolution_inference wikiPageWikiLink First-order_logic.
- Resolution_inference wikiPageWikiLink Inference.
- Resolution_inference wikiPageWikiLink Propositional_calculus.
- Resolution_inference wikiPageWikiLink Rule_of_inference.
- Resolution_inference wikiPageWikiLink Substitution_(logic).
- Resolution_inference wikiPageWikiLink Unification_(computer_science).
- Resolution_inference wikiPageWikiLinkText "Resolution inference".
- Resolution_inference wikiPageWikiLinkText "resolution inference".
- Resolution_inference wikiPageUsesTemplate Template:Reflist.
- Resolution_inference subject Category:Inference.
- Resolution_inference subject Category:Proof_theory.
- Resolution_inference subject Category:Propositional_calculus.
- Resolution_inference label "Resolution inference".
- Resolution_inference sameAs Q17125598.
- Resolution_inference sameAs m.0_x73n8.
- Resolution_inference sameAs Q17125598.
- Resolution_inference wasDerivedFrom Resolution_inference?oldid=699915888.
- Resolution_inference isPrimaryTopicOf Resolution_inference.