Matches in DBpedia 2014 for { <http://dbpedia.org/resource/SLD_resolution> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- SLD_resolution abstract "SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.".
- SLD_resolution wikiPageExternalLink ?SLD+resolution.
- SLD_resolution wikiPageExternalLink chap9.pdf.
- SLD_resolution wikiPageExternalLink logic.html.
- SLD_resolution wikiPageID "11594091".
- SLD_resolution wikiPageRevisionID "578159873".
- SLD_resolution hasPhotoCollection SLD_resolution.
- SLD_resolution subject Category:Logic_programming.
- SLD_resolution subject Category:Rules_of_inference.
- SLD_resolution type Abstraction100002137.
- SLD_resolution type Cognition100023271.
- SLD_resolution type Concept105835747.
- SLD_resolution type Content105809192.
- SLD_resolution type Idea105833840.
- SLD_resolution type PsychologicalFeature100023100.
- SLD_resolution type Rule105846054.
- SLD_resolution type RulesOfInference.
- SLD_resolution comment "SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.".
- SLD_resolution label "SLD resolution".
- SLD_resolution label "SLD-résolution".
- SLD_resolution sameAs SLD-résolution.
- SLD_resolution sameAs m.02rkwr7.
- SLD_resolution sameAs Q3459697.
- SLD_resolution sameAs Q3459697.
- SLD_resolution sameAs SLD_resolution.
- SLD_resolution wasDerivedFrom SLD_resolution?oldid=578159873.
- SLD_resolution isPrimaryTopicOf SLD_resolution.