 |
| Russian | English |
| проверить выполнимость | check satisfiability (напр., формул в теориях Alex_Odeychuk) |
| проверить выполнимость логических формул | check satisfiability of logical formulas (Alex_Odeychuk) |
|
| Russian | English |
| проверить выполнимость | check satisfiability (напр., формул в теориях Alex_Odeychuk) |
| проверить выполнимость логических формул | check satisfiability of logical formulas (Alex_Odeychuk) |