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

deducibility problem מתח
.טכנול	проблема выводимости