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

effectively decidable predicate מתח
.מָתֵי	эффективно разрешимый предикат