User contributions for 87.170.148.133
Jump to navigation
Jump to search
4 March 2014
- 17:2417:24, 4 March 2014 diff hist −3 Post correspondence problem →Proof sketch of undecidability: last line: squeezed the block whose lower part is ''q''<sub>8</sub>10 to fit in width="40"