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

Deduktionsprogramm n
.בינה	deduction program; deductive program