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

Unifikationstheorem n
.בינה	unification theorem