Also known as normalization
an object that cannot be rewritten further
In the Vinony graph
Within Vinony's link graph, 范式 is referenced by 65 other articles, and connects out to algebraic normal form, abstract rewriting system and International Standard Book Number.
It sits within the topics Computability theory, Formal languages and Lambda calculus.
Its subject is documented across 5 Wikipedia language editions.
Connections
algebraic normal form
Entity
abstract rewriting system
Entity
International Standard Book Number
Entity
digital object identifier
Entity
commutative property
Entity
propositional calculus
Entity
Cambridge University Press
Entity
lambda calculus
Entity
Collatz conjecture
Entity
first-order logic
Entity
Turing completeness
Entity
disjunctive normal form
Entity
CiteSeerX
Entity
conjunctive normal form
Entity
Horn clause
Entity
canonical form
Entity
rewriting
Entity
canonical normal form
Entity
Skolem normal form
Entity
prenex normal form
Entity