unifikál
C2
הונגרית
unify
פועל
C2
TECHNICAL
1
unify
C2
תבנית שימוש:
unifikál két kifejezést / változót
עדיין אין צמדי משפטי דוגמה.
משמעות
make expressions logically consistent
נושאים
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
הגדרה
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
דקדוק
עדיין אין מידע דקדוקי זמין.
ביטויים
עדיין אין ביטויים מקושרים לערך הזה.