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

automated verification and proof description language מתח
.בינה	язык описания логических систем для автоматического поиска доказательств (Alex_Odeychuk)