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

alternating-time temporal logic מתח
.תִכנו	логика альтернированного времени (ssn)