4194
правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Унифицируемый терм''' - см. ''Задача унификации''.) |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Унифицируемый терм''' - см. ''Задача унификации''. | '''Унифицируемый терм''' - см. ''[[Задача унификации]]''. |