Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Normalization_property_(lambda-calculus)> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Normalization_property_(lambda-calculus) wikiPageID "27078939".
- Normalization_property_(lambda-calculus) wikiPageLength "57".
- Normalization_property_(lambda-calculus) wikiPageOutDegree "1".
- Normalization_property_(lambda-calculus) wikiPageRedirects Normalization_property_(abstract_rewriting).
- Normalization_property_(lambda-calculus) wikiPageRevisionID "357848016".
- Normalization_property_(lambda-calculus) wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Normalization_property_(lambda-calculus) wikiPageWikiLinkText "strong normalization property".
- Normalization_property_(lambda-calculus) wikiPageWikiLinkText "strongly normalizing".
- Normalization_property_(lambda-calculus) wikiPageWikiLinkText "weak normalisation".
- Normalization_property_(lambda-calculus) label "Normalization property (lambda-calculus)".
- Normalization_property_(lambda-calculus) sameAs m.05wrv8.
- Normalization_property_(lambda-calculus) wasDerivedFrom Normalization_property_(lambda-calculus)?oldid=357848016.
- Normalization_property_(lambda-calculus) isPrimaryTopicOf Normalization_property_(lambda-calculus).