Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Beta normal form · Vinony

🌐English

English Deutsch Français Português فارسی 中文日本語

EntityQ4897305· pop 6· linked from 28 articles

Beta normal form

potential state for a term in Lambda calculus

Available in 6 languages

Deutsch
中文
Português
Catalan
فارسی

via Wikidata sitelinks · CC0

Connections

algebraic normal form

International Standard Book Number

Categories

Lambda calculus Normal forms (logic)

Sources

wikipedia.externallinksexternallink

OCLC, Inc.

Entity

propositional calculus

lambda calculus

first-order logic

disjunctive normal form

conjunctive normal form

Skolem normal form

canonical normal form

prenex normal form

negation normal form

Church–Rosser theorem

TheFreeDictionary.com

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.50

beta distribution

Entitydist 0.52

Entitydist 0.53

incomplete beta function

Entitydist 0.54

Catalan's constant

Entitydist 0.59

Beta prime distribution

Entitydist 0.60

Entitydist 0.67

dependent variable

Entitydist 0.67

Slater-type orbital

Entitydist 0.68

independent variable

Entitydist 0.68

potential output

Entitydist 0.69

closed differential form

Entitydist 0.69

What links here28 pages

lambda calculus

evaluation strategy

negation normal form

Church–Rosser theorem

disjunctive normal form

canonical normal form

conjunctive normal form

combinatory logic

Church–Turing thesis

prenex normal form

halting problem

Skolem normal form

algebraic normal form