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

unification modulo equational theory
.בינה	Unifikation modulo Gleichungstheorie; Unifizierung bezüglich der Gleichungstheorie