check satisfiability
| of
| logical formulas
| check satisfiability | |
| AI. | проверить выполнимость |
| of | |
| gen. | относительно; от; обо; изо; служебное слово, указывает на вкус или запах; служебное слово, выражает свойство или возраст |
| logical formula | |
| math. | логическая формула |
| |||
| проверить выполнимость (напр., формул в теориях Alex_Odeychuk) | |||
|
check satisfiability : 3 phrases in 1 subject |
| Artificial intelligence | 3 |