content-dependent
| theorem proving
| content-dependent abbr. | |
| AI. | inhaltsabhängig |
| theorem proving abbr. | |
| AI. | Theorembeweisen |
| |||
| inhaltsabhängig | |||
|
content-dependent : 2 phrases in 1 subject |
| Artificial intelligence | 2 |