User contributions for 2001:6A0:5001:3:EC6C:D14B:9790:21BF
Jump to navigation
Jump to search
13 November 2013
- 14:4714:47, 13 November 2013 diff hist +14,426 N FO (complexity) →Partial fixed point is PSPACE: correction