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
5 June 2025
- diffhist Associative property 20:36 +625 2600:1700:a410:c4e0:7d54:5a91:d097:9b0e talk (Associativity implies commutativity for operators on real intervals with minimal extra assumptions.) Tag: Visual edit
- diffhist Intuitionistic type theory 12:25 −364 1.36.169.22 talk (Remove incorrect statement about univalence (HoTT Book is also non-cumulative))
4 June 2025
- 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
- diffhist Richard Sylvan 14:13 +102 Grnrchst talk contribs (Tagged where citations are needed.)
- diffhist Monoid 02:27 +58 Hellacioussatyr talk contribs (→Complete monoids) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Monoid 02:26 +14 Hellacioussatyr talk contribs (→Monoids in computer science) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist C. I. Lewis 01:53 −41 Psychastes talk contribs (Removing from Category:American philosophy writers remove academics from category specifically for non-academics using Cat-a-lot)
2 June 2025
- diffhist Sequent calculus 07:55 +1,054 Marc Schroeder talk contribs (provide 2 citations)
1 June 2025
- 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)
30 May 2025
- diffhist Intuitionistic type theory 15:53 +8 Quezergue talk contribs (→Judgements) Tag: Visual edit
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)