User contributions for 2001:718:2:0:0:0:0:0/48
Results for 2001:718:2:0:0:0:0:0/48 block log
17 December 2014
- 13:4713:47, 17 December 2014 diff hist −87 Armstrong's axioms 2001:718:2:2905:bcf6:7d8c:5d13:1055 talk →Axiom of Reflexivity: lowercase r in title current
20 August 2014
- 18:2318:23, 20 August 2014 diff hist −7 Scalar electrodynamics 2001:718:2:1b50:48f9:3836:34af:63a8 talk No edit summary current
12 June 2013
- 18:2818:28, 12 June 2013 diff hist +3,742 N RE (complexity) 2001:718:2:80b:223:8bff:fe30:f662 talk →Relations to other classes: added the reason for R = RE ∩ coRE