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
14 July 2025
- diffhist Addition 22:48 −2 David Eppstein talk contribs (→See also: typo)
- diffhist Addition 22:46 +400 David Eppstein talk contribs (→See also: add glosses + two entries Pythagorean addition and Velocity-addition formula)
- diffhist Zermelo–Fraenkel set theory 20:02 +152 41.230.140.43 talk (→Axiom of infinity) Tag: Visual edit: Switched
- diffhist m Cardinality 19:42 −63 Farkle Griffen talk contribs (→Cardinal numbers: Clearer) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Functional predicate 18:28 +61 Jochen Burghardt talk contribs (→top)
- diffhist P versus NP problem 16:39 −1,430 David Eppstein talk contribs (Undid revision 1300487044 by David Conway 522758601 (talk) space logic crankery) Tag: Undo
- diffhist m P versus NP problem 16:37 +1,430 David Conway 522758601 talk contribs (→Claimed solutions) Tag: Reverted
- diffhist Cardinality 15:07 +1 LooksGreatInATurtleNeck talk contribs (Fixed Category:Harv and Sfn no-target errors, sfn contained typos)
- diffhist Cardinality 15:02 −11 LooksGreatInATurtleNeck talk contribs (There was a Script warning on the page from a cite book template, "Category:CS1 maint: date and year", fixed by removing the redundant date= field as year= was already set)
- diffhist m Axiom 12:00 0 Chatul talk contribs (plain -> plane)
- diffhist m Axiom 08:27 +2 Des Vallee talk contribs
- diffhist m Axiom 08:26 0 Des Vallee talk contribs
- diffhist m Axiom 08:26 0 Des Vallee talk contribs
- diffhist Axiom 08:25 +310 Des Vallee talk contribs
- diffhist Sentence (mathematical logic) 06:05 +23 FatalSubjectivities talk contribs ({{other uses|Sentence}}) Tag: Disambiguation links added
- diffhist Proposition 06:03 +21 FatalSubjectivities talk contribs (→See also: **Doxastic logic)
- diffhist Argument 05:58 +13 FatalSubjectivities talk contribs (→Explanations: removed [[claim (logic))
- diffhist Proposition 05:56 −20 FatalSubjectivities talk contribs (→See also: Removed Claim (logic))
13 July 2025
- diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
- diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
- diffhist Proposition 20:52 −4 2a02:ce0:2002:6c57:c0b8:6ec5:3593:49b8 talk (are) Tag: Visual edit
- diffhist Sequent calculus 20:09 +121 168.92.254.163 talk (→Inference rules: Add explanatory note for relative complement)
- diffhist Sequent calculus 20:06 +270 168.92.254.163 talk (→Inference rules: Add relative complement rules to preserve symmetry (see https://ncatlab.org/nlab/show/sequent+calculus))
- diffhist m Free variables and bound variables 16:55 +32 KibalchishTheCoder talk contribs (Corrected minor linking mistake) Tag: Visual edit
- diffhist Free variables and bound variables 16:54 +2,912 KibalchishTheCoder talk contribs (Significantly reworked the "Variable-binding operators" section + minor aesthetic and linking modifications throughout the article) Tags: Visual edit Disambiguation links added
- diffhist m Substitution (logic) 16:23 0 Pacomatic talk contribs (Fixed typo in 'if and onlt if')
- diffhist Construction of the real numbers 15:25 −278 D.Lazard talk contribs (→Construction from Cauchy sequences: see talk)
- diffhist Construction of the real numbers 14:57 +31 D.Lazard talk contribs (→Construction from Cauchy sequences: see talk)
- diffhist Cardinality 04:38 +608 Farkle Griffen talk contribs (Added refs) Tag: Visual edit
- diffhist Cardinality 03:13 −123 Farkle Griffen talk contribs (Merge completed. Bold, as redirect.) Tag: Visual edit
- diffhist m Propositional calculus 02:26 −1 Hipatius talk contribs (Deleted an additional ">".)
- diffhist Elementary function 01:37 +66 Tito Omburo talk contribs (Corrected statement in first paragraph)
- diffhist Elementary function 00:54 +46 David Eppstein talk contribs (hat)
- diffhist m Cardinality 00:39 −5 Farkle Griffen talk contribs (with proper classes → proper classes) Tags: Mobile edit Mobile app edit iOS app edit App section source
12 July 2025
- diffhist m Elementary function 23:40 +1 Stepwise Continuous Dysfunction talk contribs (→See also: fix typo)
- diffhist Elementary function 23:40 −121 Stepwise Continuous Dysfunction talk contribs (→See also: the "annotations" just grab the short descriptions and are therefore useless (it clarifies nothing to say that Tarski's high school algebra problem is a "mathematical problem"))
- diffhist Elementary function 23:37 +15 Tito Omburo talk contribs (→Basic examples: another example)
- diffhist Elementary function 23:33 +52 Tito Omburo talk contribs (→Basic examples: clarify)
- diffhist Elementary function 23:32 +7 Tito Omburo talk contribs (→Basic examples: one more example)
- diffhist Elementary function 23:29 −23 Tito Omburo talk contribs (→Basic examples: not just rational)
- diffhist Elementary function 21:34 0 Tito Omburo talk contribs (this source is clearly rubbish)
- diffhist Elementary function 21:19 +6 Tito Omburo talk contribs (Having all derivatives, and those derivatives are elementary, are *separate* properties. Undid revision 1300196039 by Macrakis (talk)) Tag: Undo
- diffhist Elementary function 21:11 −6 Macrakis talk contribs (clarify by punct) Tags: Reverted Visual edit
- diffhist Elementary function 20:59 +12 Tito Omburo talk contribs (→Closure: important qualification here: *algebraic* root extraction. Not extraction of roots such as e^y + cos(y) = x)
- diffhist Elementary function 20:55 +28 Tito Omburo talk contribs (→Non-elementary functions: under standard definitions)
- diffhist Elementary function 20:53 +40 Tito Omburo talk contribs (→Basic examples: the niub)
- diffhist m Addition 20:41 −42 David Eppstein talk contribs (Reverted edit by 103.235.93.32 (talk) to last version by David Eppstein) Tag: Rollback
- diffhist Addition 20:37 +42 103.235.93.32 talk (→Successor) Tag: Reverted
- diffhist Elementary function 20:14 +26 Tito Omburo talk contribs (Good of anomebot to save the reference, which seems more appropriate here. Ritt chapter 1 is more authoritative though.)