algorithmic process of solving equations between symbolic expressions
In the Vinony graph
Vinony's link graph records 72 inbound references to 단일화, and connects out to term, lambda calculus and equation.
It sits within the topics Automated theorem proving, Logic in computer science and Logic programming.
Vinony links it to 21 Wikipedia language editions.
Wikidata facts
- Subclass of
- algorithm
Show 3 more facts
- topic's main category
- Category:Unification (computer science)
- Commons category
- Unification (computer science)
- maintained by WikiProject
- WikiProject Mathematics
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