automatic theorem prover
| for
| satisfiability modulo theories
| automatic theorem prover | |
| AI. | автоматический доказатель теорем |
| IT | программа автоматического доказательства теорем |
| for | |
| gen. | ибо; для; от; на расстояние; вместо; ради |
| satisfiability modulo theories | |
| AI. | задача выполнимости формул в теориях; выполнимость формул в теориях |
|
automatic theorem prover : 3 phrases in 1 subject |
| Artificial intelligence | 3 |