User contributions for 86.183.223.225
Jump to navigation
Jump to search
24 November 2014
- 21:2221:22, 24 November 2014 diff hist −1 Herbrand structure No edit summary current
- 00:2900:29, 24 November 2014 diff hist +4 Semisimple module No edit summary current
23 November 2014
- 19:0019:00, 23 November 2014 diff hist −2 Group with operators No edit summary current
- 18:4218:42, 23 November 2014 diff hist +305 Quantum logic No edit summary current
- 18:1118:11, 23 November 2014 diff hist +112 Principal ideal domain No edit summary current
- 18:1018:10, 23 November 2014 diff hist +341 Dedekind domain No edit summary current