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

branching-time logic מתח
.תִכנו	логика ветвящегося времени (ssn)