Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

normal form · Vinony

EntityQ7051809· pop 5· linked from 65 articles

normal form

Sign in to save

an object that cannot be rewritten further

Connections

algebraic normal form

abstract rewriting system

International Standard Book Number

digital object identifier

commutative property

propositional calculus

Cambridge University Press

lambda calculus

Collatz conjecture

first-order logic

Turing completeness

disjunctive normal form

conjunctive normal form

canonical normal form

Skolem normal form

prenex normal form

Categories

Computability theory Formal languages Lambda calculus Logic in computer science Rewriting systems

Sources

wikipedia.externallinksexternallink

What links here65 pages

lambda calculus

cut-elimination

natural deduction

simply typed lambda calculus

feedback linearization

canonical normal form

disjunctive normal form

conjunctive normal form

Semiotic elements and classes of signs

Backus–Naur form

combinatory logic

calculus of constructions

Beta normal form

word problem for groups

prenex normal form

Jean-Yves Girard

Skolem normal form

Similar entities

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

fourth normal form

Entitydist 0.47

Boyce–Codd normal form

Entitydist 0.49

third normal form

Entitydist 0.49

fifth normal form

Entitydist 0.52

Entitydist 0.54

Entitydist 0.54

Entitydist 0.57

Entitydist 0.57

sixth normal form

Entitydist 0.58

construct state

Entitydist 0.58

Entitydist 0.59

Entitydist 0.61