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

automatic theorem proving
.בינה	automatisches Theorembeweisen; automatische Beweisfindung