Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Capture-avoiding_substitution> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Capture-avoiding_substitution wikiPageID "26861524".
- Capture-avoiding_substitution wikiPageLength "120".
- Capture-avoiding_substitution wikiPageOutDegree "2".
- Capture-avoiding_substitution wikiPageRedirects Lambda_calculus.
- Capture-avoiding_substitution wikiPageRevisionID "563552124".
- Capture-avoiding_substitution wikiPageWikiLink Category:Substitution_(logic).
- Capture-avoiding_substitution wikiPageWikiLink Lambda_calculus.
- Capture-avoiding_substitution wikiPageWikiLinkText "capture-avoiding substitution".
- Capture-avoiding_substitution wikiPageUsesTemplate Template:R_with_possibilities.
- Capture-avoiding_substitution subject Category:Substitution_(logic).
- Capture-avoiding_substitution label "Capture-avoiding substitution".
- Capture-avoiding_substitution wasDerivedFrom Capture-avoiding_substitution?oldid=563552124.
- Capture-avoiding_substitution isPrimaryTopicOf Capture-avoiding_substitution.