Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Resolution_inference> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Resolution_inference wikiPageID "42116733".
- Resolution_inference wikiPageLength "2219".
- Resolution_inference wikiPageOutDegree "9".
- Resolution_inference wikiPageRevisionID "598608676".
- 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 Most_general_unifier.
- Resolution_inference wikiPageWikiLink Propositional_calculus.
- Resolution_inference wikiPageWikiLink Propositional_logic.
- 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 hasPhotoCollection 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 m.0_x73n8.
- Resolution_inference sameAs Q17125598.
- Resolution_inference sameAs Q17125598.
- Resolution_inference wasDerivedFrom Resolution_inference?oldid=598608676.
- Resolution_inference isPrimaryTopicOf Resolution_inference.