Related changes
Appearance
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 May 2025
- diffhist m Equality (mathematics) 19:02 0 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
- diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
- diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
- diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Entscheidungsproblem 09:57 +35 79.142.123.22 talk (→Arity)
- diffhist Equality (mathematics) 08:49 +317 Farkle Griffen talk contribs (Cleaned up some refs) Tag: Visual edit
- diffhist Equality (mathematics) 08:25 +143 Farkle Griffen talk contribs (→In set theory: Fixed ref) Tag: Visual edit
- diffhist Equality (mathematics) 08:09 +70 Farkle Griffen talk contribs (→See also: Added 3 items) Tag: Visual edit
- diffhist m Equality (mathematics) 08:07 +1 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Equality (mathematics) 08:03 +1,742 Farkle Griffen talk contribs (→In set theory: Re-added shortened etymology, for the purpose of including the principle of extensionality.) Tags: nowiki added Visual edit
- diffhist Multiplication 05:21 +301 Dedhert.Jr talk contribs (→Notation: sources for interpunct)
- diffhist Multiplication 04:33 −1 Dedhert.Jr talk contribs (→Notation: dot)
- diffhist Multiplication 04:32 +6 Dedhert.Jr talk contribs (→Notation: clarification)
- diffhist Multiplication 04:32 −101 Dedhert.Jr talk contribs (→Notation: unclear)
- diffhist Multiplication 04:18 0 Dedhert.Jr talk contribs (→Notation: half-entirely sourced)
- diffhist Multiplication 04:17 +225 Dedhert.Jr talk contribs (→Notation: better source)
- diffhist Multiplication 04:01 +33 Dedhert.Jr talk contribs (→Notation: but not for the ASCII and EBCDIC)
- diffhist Multiplication 04:00 +173 Dedhert.Jr talk contribs (→Notation: supplying a source)
4 May 2025
- diffhist m Equality (mathematics) 23:43 0 Farkle Griffen talk contribs (Moved commas and periods inside formulas due to wrapping issues) Tag: Visual edit: Switched
- diffhist Multiplication 16:35 +69 JMF talk contribs (→Notation: Clean up and clarify) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Multiplication 14:36 −325 Dedhert.Jr talk contribs (→Notation: remove the unicode things, and those are preferable to the multiplication symbols instead.)
- diffhist First-order logic 10:43 +77 BardRapt talk contribs (→Introduction: H. Friedman)
- diffhist First-order logic 09:34 −76 Jochen Burghardt talk contribs (Undid revision 1288578396 by JRSpriggs (talk): imo, this is required in both infix and Polish notation, and thus irrelevant to their comparison (w.r.t. "advantage")) Tag: Undo
- diffhist m Equality (mathematics) 01:26 −1 Farkle Griffen talk contribs (→Basic properties: missed one) Tag: Visual edit: Switched
3 May 2025
- diffhist First-order logic 18:17 +106 BardRapt talk contribs (→Free and bound variables: W. V. O. Quine)
- diffhist Multiplication 15:51 +30 Remsense talk contribs (Reverting edit(s) by 2600:1700:2960:7A70:4BA5:82A1:FE9E:773B (talk) to rev. 1287924009 by MeowsyCat99: Vandalism (UV 0.1.6)) Tags: Ultraviolet Undo
- diffhist Multiplication 15:51 −30 2600:1700:2960:7a70:4ba5:82a1:fe9e:773b talk (→Notation) Tag: Reverted
- diffhist First-order logic 15:33 +76 JRSpriggs talk contribs (→Notational conventions: known arity) Tag: Reverted
- diffhist First-order logic 09:50 +25 BardRapt talk contribs (→Limitations: I. R. Horrocks)
- diffhist Equality (mathematics) 04:28 −7 Remsense talk contribs (→Approximate equality)
- diffhist Equality (mathematics) 04:28 +216 Remsense talk contribs (→Bibliography)
- diffhist Equality (mathematics) 04:24 −394 Remsense talk contribs (→Isomorphism) Tag: harv or sfn error
- diffhist Equality (mathematics) 04:22 −1,256 Remsense talk contribs (trimming redundant parameters; adding protection from bot that re-adds them (feel free to take back off), Renamed references using RefRenamer)
- diffhist Equality (mathematics) 04:03 0 Remsense talk contribs (→Derivations of basic properties)
- diffhist Equality (mathematics) 04:02 −1 Remsense talk contribs (→Proof of basic properties)
- diffhist Equality (mathematics) 04:02 −4 Remsense talk contribs (→Proof of basic properties)
- diffhist Equality (mathematics) 04:02 −19 Remsense talk contribs (→Proof of basic properties)
- diffhist Equality (mathematics) 04:01 −16 Remsense talk contribs (if there's a need to double bold and italics please lmk)
- diffhist Equality (mathematics) 04:00 −1 Remsense talk contribs (→Set equality based on first-order logic without equality)
- diffhist Equality (mathematics) 04:00 +14 Remsense talk contribs (→Set equality based on first-order logic without equality)
- diffhist Equality (mathematics) 03:59 −5 Remsense talk contribs (→Axioms)
- diffhist Equality (mathematics) 03:58 −5 Remsense talk contribs (quote is semantically wrong)
- diffhist Equality (mathematics) 03:58 −36 Remsense talk contribs (→Derivations of basic properties: hopefully this is right?)
- diffhist Equality (mathematics) 03:51 −36 Remsense talk contribs (already linked)
- diffhist m Equality (mathematics) 03:47 −59 Remsense talk contribs (Standardise citation spacing using a script)
- diffhist Equality (mathematics) 03:44 +13 Remsense talk contribs
- diffhist Equality (mathematics) 03:41 −4 Remsense talk contribs (needn't nest lists here)
- diffhist m Interpretation (logic) 02:08 +97 Nyngwang talk contribs (rewording since "logical connectives" are not shown in the "For example" lines above; use math tag for logical connectives to make it clear that those are "symbols".)
- diffhist Interpretation (logic) 01:46 −37 Nyngwang talk contribs (remove misleading examples when introducing interpretation.)