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

параметризованный сорт מתח
.בינה	parametrized sort (тип данных в языке программирования решателей задач выполнимости формул в теориях SMT-LIB Alex_Odeychuk)
параметризованные сорт
.בינה	parametrized sort (Alex_Odeychuk)