Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/SLD_resolution> }
Showing triples 1 to 19 of
19
with 100 triples per page.
- SLD wikiPageDisambiguates SLD_resolution.
- Standard_Linear_Derivation wikiPageRedirects SLD_resolution.
- Automated_theorem_proving wikiPageWikiLink SLD_resolution.
- Backward_chaining wikiPageWikiLink SLD_resolution.
- Completeness_(logic) wikiPageWikiLink SLD_resolution.
- Curry_(programming_language) wikiPageWikiLink SLD_resolution.
- Horn_clause wikiPageWikiLink SLD_resolution.
- Logic_programming wikiPageWikiLink SLD_resolution.
- Mercury_(programming_language) wikiPageWikiLink SLD_resolution.
- Model_elimination wikiPageWikiLink SLD_resolution.
- Procedural_programming wikiPageWikiLink SLD_resolution.
- Prolog wikiPageWikiLink SLD_resolution.
- Prolog_syntax_and_semantics wikiPageWikiLink SLD_resolution.
- Resolution_(logic) wikiPageWikiLink SLD_resolution.
- SLD wikiPageWikiLink SLD_resolution.
- Situation_calculus wikiPageWikiLink SLD_resolution.
- Stable_model_semantics wikiPageWikiLink SLD_resolution.
- Standard_Linear_Derivation wikiPageWikiLink SLD_resolution.
- SLD_resolution primaryTopic SLD_resolution.