unifikáció
C2
Hungarian
unification
NOUN
C2
TECHNICAL
1
unification
C2
No example pairs yet.
Meaning
matching expressions via substitutions
Themes
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definition
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammar
No grammar details available yet.
Expressions
No expressions linked to this entry yet.