Унифицируемый терм: различия между версиями

Текущая версия от 11:26, 22 сентября 2011

Версия от 18:07, 7 февраля 2010 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки ← Предыдущая правка		Текущая версия от 11:26, 22 сентября 2011 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки
Строка 1:		Строка 1:
	~~'''Унифицируемый терм''' - см~~. ''[[Задача унификации]]''.		См. ''[[Задача унификации]]''.