unification
Sign in to savealgorithmic process of solving equations between symbolic expressions
Wikidata facts
Show 1 more fact
- Commons category
- Unification (computer science)
Sources (3)
via Wikidata · CC0
Connections
term
Entity
lambda calculus
Entity
equation
Entity
commutative property
Entity
equation solving
Entity
singleton
Entity
lexicographical order
Entity
rewriting
Entity
undecidable problem
Entity
John Alan Robinson
Entity
substitution
Entity
Hindley–Milner
Entity
logic
Entity
computer science
Entity
International Standard Book Number
Entity
algorithm
Entity
function
Entity
Wayback Machine
Entity
digital object identifier
Entity
International Standard Serial Number
Entity