unit paramodulation

Мат. единичная парамодуляция

Источник: Полный англо-русский словарь на Gufo.me