User contributions for 2A02:810A:963F:D014:C967:DF2E:AC22:C27C
Results for 2A02:810A:963F:D014:C967:DF2E:AC22:C27C talk block log logs global block log filter log
7 March 2023
- 17:0317:03, 7 March 2023 diff hist 0 Monadic predicate calculus →Variants: Changed link for MSO to article for Monadic Second-Order Logic instead of full Second-Order Logic Tag: Visual edit
 | 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. |