Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Capture-avoiding_substitution> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Capture-avoiding_substitution wikiPageID "26861524".
- Capture-avoiding_substitution wikiPageRedirects Lambda_calculus.
- Capture-avoiding_substitution wikiPageRevisionID "563552124".
- 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.