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