proof-system
| language
| proof system | |
| math. | система автоматического доказательства теорем |
| language | |
| gen. | язык; характер языка; стиль; язык писателя; слог языка; язык документа |
| |||
| система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk) | |||
| система доказательства (MichaelBurov) | |||
|
proof-system : 24 phrases in 13 subjects |