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

linear temporal logic מתח
.תִכנו	линейная темпоральная логика (сокр. LTL ssn); темпоральная логика линейного времени (сокр. LTL ssn); логика линейного времени (ssn)
אנגלית אוצר מילים
Linear Temporal Logic
.נוֹטָ, .תִכנו	LTL (ssn)