единичная парамодуляция Мат. unit paramodulation Источник: Полный русско-английский словарь на Gufo.me Предложить изменения единичная операция единичная погрешность