英语 ⇄ 俄语 +

theorem proving language 强调
人工智能	язык программирования на основе автоматического доказательства теорем (Alex_Odeychuk)