אנגלית ⇄ רוסית +

algorithmic deduction מתח
.טֶכנו	алгоритмический вывод