英语 ⇄ 俄语 +

automated verification and proof description language 强调
人工智能	язык описания логических систем для автоматического поиска доказательств (Alex_Odeychuk)