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.
القواعد
لا توجد تفاصيل نحوية متاحة حتى الآن.
تعبيرات
مفيش تعبيرات مرتبطة بالمدخل ده لسه.