User contributions for 178.165.183.67
Results for 178.165.183.67 talk block log logs global block log filter log
30 May 2024
- 21:1621:16, 30 May 2024 diff hist −13 Beatnik →top: 'alt-left' is (according to our own wiktionary) a derogatory term; replaced it with 'left-wing politics' Tags: Mobile edit Mobile app edit Android app edit
30 January 2024
- 20:2320:23, 30 January 2024 diff hist 0 Minimal logic No edit summary
- 20:1520:15, 30 January 2024 diff hist −14 Minimal logic →Axiomatization
- 20:1420:14, 30 January 2024 diff hist +1 Intuitionistic logic →Relation to other logics
- 20:0420:04, 30 January 2024 diff hist +114 Minimal logic No edit summary
- 20:0120:01, 30 January 2024 diff hist +138 Minimal logic No edit summary
- 19:4919:49, 30 January 2024 diff hist +226 Intuitionistic logic →Theorems
- 19:4519:45, 30 January 2024 diff hist 0 Minimal logic →Axiomatization: Remove underline in link
- 19:4419:44, 30 January 2024 diff hist +272 Minimal logic →Axiomatization
- 19:3919:39, 30 January 2024 diff hist +128 Intuitionistic logic →Theorems: Link to Hilbert system proof
- 19:1919:19, 30 January 2024 diff hist +350 Intuitionistic logic Formatting, Move classical logic comp. down
 | 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. |