User contributions for 2001:861:3AC0:4FA0:81B9:FE39:3DFD:3BD5
Results for 2001:861:3AC0:4FA0:81B9:FE39:3DFD:3BD5 talk block log logs global block log filter log
16 February 2021
- 19:5919:59, 16 February 2021 diff hist 0 Robin Gandy No edit summary
- 19:5119:51, 16 February 2021 diff hist +168 Decidability of first-order theories of the real numbers No edit summary
- 19:3119:31, 16 February 2021 diff hist +7 Alan Bundy No edit summary
- 19:2419:24, 16 February 2021 diff hist +30 Reuben Goodstein No edit summary
- 18:5518:55, 16 February 2021 diff hist +27 Skolem arithmetic No edit summary
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |