Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Substitution_(logic)> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Category:Substitution_(logic) wikiPageID "39027045".
- Category:Substitution_(logic) wikiPageRevisionID "548936160".
- Category:Substitution_(logic) type Concept.
- Category:Substitution_(logic) label "Substitution (logic)".
- Category:Substitution_(logic) sameAs Q13294113.
- Category:Substitution_(logic) sameAs Q13294113.
- Category:Substitution_(logic) broader Category:Formal_systems.
- Category:Substitution_(logic) broader Category:Lambda_calculus.
- Category:Substitution_(logic) broader Category:Logic_programming.
- Category:Substitution_(logic) broader Category:Mathematical_logic.
- Category:Substitution_(logic) broader Category:Programming_language_theory.
- Category:Substitution_(logic) broader Category:Rewriting_systems.
- Category:Substitution_(logic) prefLabel "Substitution (logic)".
- Category:Substitution_(logic) wasDerivedFrom Category:Substitution_(logic)?oldid=548936160.