derived fact

Вивідний факт (тобто виведений з інших)

Джерело: Англо-український словник технічних термінів на Slovnyk.me