Английская Википедия:Anti-unification: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

1 февраля 2024

  • текущ.пред. 15:5215:52, 1 февраля 2024EducationBot обсуждение вклад 25 101 байт +25 101 Новая страница: «{{Английская Википедия/Панель перехода}} {{For|solving systems of inequalities|Dis-unification}} '''Anti-unification''' is the process of constructing a generalization common to two given symbolic expressions. As in unification, several frameworks are distinguished depending on which expressions (also called terms) are allowed, and which expressions are considered equal. If variables represe...»