Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Category:Substitution_(logic)> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Category:Substitution_(logic) wikiPageID "39027045".
- Category:Substitution_(logic) wikiPageRevisionID "548936160".
- Category:Substitution_(logic) wikiPageUsesTemplate Template:Catmain.
- 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) subject Substitution_(logic).
- Category:Substitution_(logic) wasDerivedFrom Category:Substitution_(logic)?oldid=548936160.