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

Унифицируемый терм (посмотреть исходный код)

44 байта убрано , 22 сентября 2011

нет описания правки

4194

правки

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