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
6 June 2025
5 June 2025
- diffhist Intuitionistic type theory 12:25 −364 1.36.169.22 talk (Remove incorrect statement about univalence (HoTT Book is also non-cumulative))
- diffhist Cut-elimination theorem 05:30 +24 David Eppstein talk contribs (cs1)
- diffhist Cut-elimination theorem 05:29 −674 David Eppstein talk contribs (→References: same)
- diffhist Cut-elimination theorem 05:29 +1,094 David Eppstein talk contribs (→References: these templates are maddening. The effort they save is then wasted by tracking down their errors and sfn-whitelisting them. Better not to use them at all.)
4 June 2025
- diffhist Uniqueness type 22:12 +43 GoldRomean talk contribs (Adding local short description: "Concept in computing", overriding Wikidata description "type discipline where objects can only have a single reference") Tag: Shortdesc helper
- diffhist Fuzzy set 17:09 −1 93.38.201.218 talk (→Entropy: Fixed a typo (iff -> if)) Tags: Mobile edit Mobile web edit
3 June 2025
- Protection log 08:21 Materialscientist talk contribs protected Wayback Machine [Edit=Require autoconfirmed or confirmed access] (expires 08:21, 6 June 2025) [Move=Require autoconfirmed or confirmed access] (expires 08:21, 6 June 2025) (Persistent vandalism) (hist)
- diffhist m Wayback Machine 08:20 −19,092 Annh07 talk contribs (Reverted edits by 221.252.213.253 (talk) to last version by Jimw338) Tag: Rollback
- diffhist Wayback Machine 08:20 +6,364 221.252.213.253 talk Tag: Reverted
- diffhist Wayback Machine 08:19 +6,364 221.252.213.253 talk Tag: Reverted
- diffhist Wayback Machine 08:19 +6,364 221.252.213.253 talk Tag: Reverted
2 June 2025
- diffhist First-order logic 13:50 +23 BardRapt talk contribs (→External links: S. Shapiro)
- diffhist Sequent calculus 07:55 +1,054 Marc Schroeder talk contribs (provide 2 citations)
- diffhist m Backus–Naur form 05:43 +4 Marc Schroeder talk contribs (→History: resolved redirection)
- diffhist m Cut-elimination theorem 05:34 +4 Marc Schroeder talk contribs (→Consequences of the theorem: resolved redirection)
1 June 2025
- diffhist m Cut-elimination theorem 23:28 +218 Marc Schroeder talk contribs (edited refs)
- diffhist m Wayback Machine 19:29 0 Jimw338 talk contribs (→Censorship and other threats: dead url)
- diffhist Wayback Machine 18:27 −52 Flickerlion talk contribs (Undid revision 1293437588 by Flickerlion (talk) he read it nevermind, sorry Andreworkney...) Tags: Undo Mobile edit Mobile web edit
- diffhist Wayback Machine 18:26 +52 Flickerlion talk contribs (Undid revision 1292893811 by Andreworkney (talk) Andreworkney has clearly not used the site.) Tags: Undo Reverted Mobile edit Mobile web edit
- diffhist m Sequent calculus 12:45 +155 Marc Schroeder talk contribs (→References)
- diffhist Sequent calculus 12:30 +535 Marc Schroeder talk contribs (Updated references)
31 May 2025
- diffhist Ontology language 19:41 −73 Omnipaedista talk contribs (rm spam)
- diffhist Wayback Machine 19:19 0 IvanMishov talk contribs Tags: Mobile edit Mobile web edit
- diffhist Wayback Machine 19:19 +44 IvanMishov talk contribs Tags: Mobile edit Mobile web edit
- diffhist First-order logic 19:08 +7 Anerdw talk contribs (MOS:GNL - “man” and “human” get the same point across. Also, punctuation.) Tags: Mobile edit Mobile web edit Advanced mobile edit