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