Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
22 May 2025
- diffhist Upper set 19:19 −7 ShirAko1 talk contribs (ok but what's wrong with the generalization in the later "properties" section?)
- diffhist Upper set 05:40 +14 PatrickR2 talk contribs (Undid revision 1291373723 by ShirAko1 (talk) Nothing wrong with having a more restricted setting in the lead, which gives the more common context for these things. The general case is covered in the Definitions section.) Tag: Undo
21 May 2025
- diffhist De Morgan's laws 18:32 +60 DBooth talk contribs (Clarified how De Morgan's laws are used to optimize performance in modern programming languages)
20 May 2025
- diffhist Upper set 20:22 −14 ShirAko1 talk contribs (made the change partially ordered -> preordered in the introduction to be consistent with the part "definition" and with the sources. Also made the same change in "properties", providing a more general statement) Tag: Reverted
- diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
- diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
- diffhist Substructural logic 01:53 +609 Marc Schroeder talk contribs
18 May 2025
- diffhist m Constructive analysis 20:20 0 Dascoine talk contribs (→Undecidable predicates: the index of the sequence was wrong, the exponent of 2 should be k+1 not n+1)
17 May 2025
- diffhist VHDL 22:42 −15 Liz talk contribs (Unlinking circular redirects: Wikipedia:Articles for deletion/VHDL-VITAL closed as redirect (XFDcloser))
- diffhist Dana Scott 02:07 +24 2404:4404:160b:ea00:d81f:451a:1c75:44d8 talk