«derivational history»

derivational history в энциклопедиях

Источники

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