Anglais ⇄ Allemand Français Langues chinoises Russe +

Hoare logic contraintes
progr.	хоаровская логика (формализм для частичного доказательства правильности программ ssn); логика Хоара (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn)