Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Beta_normal_form> ?p ?o }
Showing triples 1 to 30 of
30
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 "3277".
- Beta_normal_form wikiPageOutDegree "9".
- Beta_normal_form wikiPageRevisionID "693188601".
- 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 wikiPageWikiLinkText "Beta normal form".
- Beta_normal_form wikiPageWikiLinkText "beta normal form".
- Beta_normal_form wikiPageWikiLinkText "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 Model.
- 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 Q4897305.
- Beta_normal_form sameAs Forma_normal_beta.
- 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 Beta范式.
- Beta_normal_form wasDerivedFrom Beta_normal_form?oldid=693188601.
- Beta_normal_form isPrimaryTopicOf Beta_normal_form.