 |
доказательство Теоремы
2 1 разобьм | на
| ряд
| состоящий из семи
| лемм
- знайдено окремі слова| доказательства теорем | |
| мат. | proofs of theorems |
| доказательство теорем | |
| нафт. | theorem proving |
| прогр. | proving theorems |
| доказательство теоремы | |
| комп. | theorem proving |
| Макаров | theorem proof |
| на | |
| заг. | on; onto; atop; up |
| ряд | |
| мат. | statistical series |
| состоящее из семи | |
| застар. | septuary |
| лемма | |
| мат. | lemma |
| доказательство Теоремы 2.1: 1 фраза в 1 тематиці |
| Математика | 1 |