英语 ⇄ 俄语 +

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