| French |
| has gloss | fra: Problème SMT (Satisfiability Modulo Theories) est un problème de la décision pour les formules logiques dans le respect dune théorie exprimée dans la logique du premier ordre contenant légalité. Des exemples de théories sont la théorie des nombres réels, la théorie de entiers linéaires, et des théories d'une variété de structures de données comme les listes, les tableaux, les vecteurs de bits, etc. |
| lexicalization | fra: Satisfiability Modulo Theories |
| Russian |
| has gloss | rus: В программировании, Satisfiability Modulo Theories (SMT) — это задача разрешимости для логических формул с учетом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т.д. |
| lexicalization | rus: Satisfiability Modulo Theories |