unifikáció
C2
مجري
unification
اسم
C2
TECHNICAL
1
unification
C2
لا توجد أزواج أمثلة حتى الآن.
المعنى
matching expressions via substitutions
مواضيع
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
التعريف
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
القواعد
لا توجد تفاصيل نحوية متاحة حتى الآن.
تعبيرات
مفيش تعبيرات مرتبطة بالمدخل ده لسه.