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

automatic theorem prover
.בינה	automatischer Theorembeweiser; automatisches Beweisverfahren