Англійська ⇄ Російська +

theorem proving methodology наголоси
шт.інтел.	методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)