derivational history

Последовательность (выполененных) шагов логического вывода; проф. деривационная предыстория (выведенного системой утверждения)

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