Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Admissible_rule> }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Admissible_inference_rule wikiPageRedirects Admissible_rule.
- Inadmissible_inference_rule wikiPageRedirects Admissible_rule.
- Projective_approximation wikiPageRedirects Admissible_rule.
- Projective_formula wikiPageRedirects Admissible_rule.
- Structural_completeness wikiPageRedirects Admissible_rule.
- Structurally_complete wikiPageRedirects Admissible_rule.
- Unifier wikiPageRedirects Admissible_rule.
- Admissibility wikiPageWikiLink Admissible_rule.
- Admissible_inference_rule wikiPageWikiLink Admissible_rule.
- Cut-elimination_theorem wikiPageWikiLink Admissible_rule.
- Deduction_theorem wikiPageWikiLink Admissible_rule.
- Idempotency_of_entailment wikiPageWikiLink Admissible_rule.
- Inadmissible_inference_rule wikiPageWikiLink Admissible_rule.
- Index_of_philosophy_articles_(A–C) wikiPageWikiLink Admissible_rule.
- Linear_logic wikiPageWikiLink Admissible_rule.
- Markovs_principle wikiPageWikiLink Admissible_rule.
- Modal_companion wikiPageWikiLink Admissible_rule.
- Modus_ponens wikiPageWikiLink Admissible_rule.
- Noncommutative_logic wikiPageWikiLink Admissible_rule.
- Projective_approximation wikiPageWikiLink Admissible_rule.
- Projective_formula wikiPageWikiLink Admissible_rule.
- Structural_completeness wikiPageWikiLink Admissible_rule.
- Structurally_complete wikiPageWikiLink Admissible_rule.
- Unification_(computer_science) wikiPageWikiLink Admissible_rule.
- Unifier wikiPageWikiLink Admissible_rule.
- Admissible_rule primaryTopic Admissible_rule.