последовательность (выполененных) шагов логического вывода; проф. деривационная предыстория (выведенного системой утверждения)
DERIVATIONAL HISTORY
Англо-русский перевод DERIVATIONAL HISTORY
New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011