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

deterministic Kripke structure מתח
.תִכנו	детерминированная модель Крипке (ssn)