Satisfiability modulo theories
[es] Teorías de satisfacibilidad módulo
[fa] صدق‌پذیری در پیمانه نظریات
[fr] Satisfiability modulo theories
[hu] Kielégíthetőségi modulo elméletek
[hy] Բանաձևերի լուծելիություն տեսություններում
[ru] Задача выполнимости формул в теориях
[sv] Satisfierbarhet modulo teorier
[uk] Satisfiability Modulo Theories