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.

forma normale · Vinony

Home
Computability theory
forma normale

🌐Italiano

English Español Italiano Polski Português 中文日本語

EntityQ7051809· pop 5· linked from 65 articles

forma normale

Also known as normalization

forma in cui un oggetto non può essere ulteriormente riscritto

Available in 5 languages

Español
日本語
Português
Polski

via Wikidata sitelinks · CC0

Connections

algebraic normal form

abstract rewriting system

Categories

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

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

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

Sign in to save

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