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

E-unification מתח
.תִכנו	семантическая унификация (сокр. от "equational unification" Alex_Odeychuk)