quantifier-free
| uninterpreted function
| quantifier-free abbr. | |
| math. | бескванторный |
| uninterpreted function abbr. | |
| AI. | неинтерпретируемая функция |
| |||
| бескванторный | |||
|
quantifier-free : 6 phrases in 2 subjects |
| Artificial intelligence | 1 |
| Mathematics | 5 |