Uploads by Z43ma
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 12:13, 15 November 2018 | zheng 946 presentation.pdf (file) |  |
690 KB | 1 | |
| 23:12, 13 November 2018 | atp result1.jpg (file) |  |
30 KB | 1 | |
| 23:09, 13 November 2018 | atp result0.jpg (file) |  |
28 KB | 1 | |
| 20:54, 13 November 2018 | mizar40 3.png (file) |  |
31 KB | 1 | |
| 20:53, 13 November 2018 | mizar40 2.png (file) |  |
34 KB | 1 | |
| 20:53, 13 November 2018 | mizar40 1.png (file) |  |
28 KB | 1 | |
| 20:53, 13 November 2018 | mizar40 0.png (file) |  |
6 KB | 1 | |
| 20:53, 13 November 2018 | mizar article.png (file) |  |
145 KB | 1 | |
| 20:26, 13 November 2018 | pathological.png (file) |  |
10 KB | 1 | |
| 19:30, 13 November 2018 | matrix.png (file) |  |
33 KB | 1 | |
| 19:25, 13 November 2018 | formal tableaux.png (file) |  |
230 KB | 1 | |
| 19:23, 13 November 2018 | formal calculi.png (file) |  |
231 KB | 1 | |
| 19:07, 13 November 2018 | tableaux example.png (file) |  |
44 KB | 1 | |
| 18:42, 13 November 2018 | skolemized dnf.png (file) |  |
38 KB | 1 | |
| 18:33, 13 November 2018 | fof sentence.png (file) |  |
42 KB | 1 |
