Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Substitution_instance> }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Condensed_detachment wikiPageWikiLink Substitution_instance.
- Encompassment_ordering wikiPageWikiLink Substitution_instance.
- Explicit_substitution wikiPageWikiLink Substitution_instance.
- Formal_system wikiPageWikiLink Substitution_instance.
- Herbrands_theorem wikiPageWikiLink Substitution_instance.
- Instantiation wikiPageWikiLink Substitution_instance.
- Open_sentence wikiPageWikiLink Substitution_instance.
- Outline_of_logic wikiPageWikiLink Substitution_instance.
- Preorder wikiPageWikiLink Substitution_instance.
- Propositional_calculus wikiPageWikiLink Substitution_instance.
- Raven_paradox wikiPageWikiLink Substitution_instance.
- Substitution_instance primaryTopic Substitution_instance.