| Information | |
|---|---|
| instance of | e/NP-complete |
| Meaning | |
|---|---|
| Arabic | |
| lexicalization | ara: 3-سات |
| lexicalization | ara: 3سات |
| German | |
| has gloss | deu: 3-SAT ist eine Variante des Erfüllbarkeitsproblems der Aussagenlogik (Erfüllbarkeit engl.: satisfiability, kurz SAT). |
| lexicalization | deu: 3-SAT |
| French | |
| has gloss | fra: Le 3-SAT vers clique est une question de logique mathématique. |
| lexicalization | fra: 3 sat vers clique |
| lexicalization | fra: 3-SAT vers clique |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint