英语 ⇄ 俄语 +

automatic theorem prover for SMT problems 强调
人工智能	автоматический доказатель теорем для задач выполнимости формул в теориях