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

satisfiability modulo theories problem מתח
.בינה	задача выполнимости формул в теориях (Alex_Odeychuk)