אנגלית ⇄ רוסית +

automated theorem prover מתח
.בינה	система автоматического доказательства теорем (Microsoft Alex_Odeychuk)
.תוֹכנ	инструмент автоматического доказательства теорем (Alex_Odeychuk)