Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Beta_normal_form> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Beta_normal_form abstract "In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta-redex in head position.".
- Beta_normal_form wikiPageID "1800460".
- Beta_normal_form wikiPageLength "3323".
- Beta_normal_form wikiPageOutDegree "9".
- Beta_normal_form wikiPageRevisionID "664174311".
- Beta_normal_form wikiPageWikiLink Category:Lambda_calculus.
- Beta_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Beta_normal_form wikiPageWikiLink Director_string.
- Beta_normal_form wikiPageWikiLink Evaluation_strategy.
- Beta_normal_form wikiPageWikiLink Lambda_calculus.
- Beta_normal_form wikiPageWikiLink Normal_form.
- Beta_normal_form wikiPageWikiLink Normal_form_(disambiguation).
- Beta_normal_form wikiPageWikiLinkText "Beta normal form".
- Beta_normal_form wikiPageWikiLinkText "beta normal form".
- Beta_normal_form wikiPageWikiLinkText "normal form".
- Beta_normal_form hasPhotoCollection Beta_normal_form.
- Beta_normal_form wikiPageUsesTemplate Template:Reflist.
- Beta_normal_form subject Category:Lambda_calculus.
- Beta_normal_form subject Category:Normal_forms_(logic).
- Beta_normal_form type Article.
- Beta_normal_form type Model.
- Beta_normal_form type Article.
- Beta_normal_form type Model.
- Beta_normal_form comment "In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta-redex in head position.".
- Beta_normal_form label "Beta normal form".
- Beta_normal_form sameAs Forme_normale_(lambda-calcul).
- Beta_normal_form sameAs Forma_normal_beta.
- Beta_normal_form sameAs m.05y0ld.
- Beta_normal_form sameAs Q4897305.
- Beta_normal_form sameAs Q4897305.
- Beta_normal_form sameAs Beta范式.
- Beta_normal_form wasDerivedFrom Beta_normal_form?oldid=664174311.
- Beta_normal_form isPrimaryTopicOf Beta_normal_form.