User contributions for 86.183.223.225

24 November 2014

• 20:2220:22, 24 November 2014 diff hist −1 Herbrand structure No edit summary current

23 November 2014

• 23:2923:29, 23 November 2014 diff hist +4 Semisimple module No edit summary current
• 18:0018:00, 23 November 2014 diff hist −2 Group with operators No edit summary current
• 17:4217:42, 23 November 2014 diff hist +305 Quantum logic No edit summary current
• 17:1117:11, 23 November 2014 diff hist +112 Principal ideal domain No edit summary current
• 17:1017:10, 23 November 2014 diff hist +341 Dedekind domain No edit summary current