unifikál
C2
Hongaars
unify
WERKWOORD
C2
TECHNICAL
1
unify
C2
Gebruikspatroon:
unifikál két kifejezést / változót
Nog geen voorbeeldparen beschikbaar.
Betekenis
make expressions logically consistent
Thema's
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definitie
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Grammatica
Nog geen grammaticagegevens beschikbaar.
Uitdrukkingen
Er zijn nog geen uitdrukkingen gekoppeld aan dit item.