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
6 April 2025
- diffhist Fixed-point combinator 03:25 +2 Rguyr talk contribs (it makes more sense like this) Tag: Visual edit
5 April 2025
- diffhist Natural number 17:26 −26 Jacobolus talk contribs (Undid revision 1284114481 by 116.193.142.91 (talk) – the text is pretty clear that there are multiple common definitions, and describes both versions) Tag: Undo
- diffhist Natural number 17:24 +26 116.193.142.91 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Raymond Smullyan 09:21 +102 Marc Schroeder talk contribs (→Bibliography)
- diffhist Combinatory logic 09:10 0 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:10 −10 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:09 +453 Tromp talk contribs (→simplest known one-point basis)
4 April 2025
- diffhist m Raymond Smullyan 23:07 +223 Marc Schroeder talk contribs
- diffhist Integer 17:54 0 MrSwedishMeatballs talk contribs (→Algebraic properties) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:51 0 MrSwedishMeatballs talk contribs (→Equivalence classes of ordered pairs) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:50 −4 MrSwedishMeatballs talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Integer 17:49 0 MrSwedishMeatballs talk contribs (→History) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Raymond Smullyan 13:11 −1,202 Marc Schroeder talk contribs
- diffhist m Raymond Smullyan 11:44 +2,396 Marc Schroeder talk contribs (→Bibliography: brought the references into template:cite... format, and expanded the reference of ''First-Order Logic''; no references added)
3 April 2025
- diffhist m Raymond Smullyan 22:42 +35 Marc Schroeder talk contribs (→External links)
- diffhist m Raymond Smullyan 22:22 −11 Marc Schroeder talk contribs (→External links)
- diffhist Peano axioms 03:13 +578 Ost316 talk contribs (Rescuing 3 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]
- diffhist Dana Scott 03:06 +16 ExoLogic talk contribs (clarify "Hillman University Professor" title)
2 April 2025
- diffhist Peano axioms 22:00 +56 Indivicivet talk contribs (clarify misleading wording in the without-axiom-9 domino example)
- diffhist Theoretical Computer Science (journal) 09:57 +4 Maxeto0910 talk contribs Tag: Visual edit
- diffhist Nicholas Rescher 02:46 +403 Omnipaedista talk contribs (add citation)
1 April 2025
- diffhist m A. C. Croom 22:32 +36 Lepricavark talk contribs (prepended 'Use mdy dates' tag) Tag: AWB
- diffhist Type system 18:19 +61 PhotographyEdits talk contribs (→Combining static and dynamic type checking: add redirects here template)
- diffhist Set (mathematics) 17:55 +914 D.Lazard talk contribs (→Cardinality of the real numbers: section rewritten)
- diffhist Set (mathematics) 16:54 +383 D.Lazard talk contribs (→Internal disjoint union: completing the section)
- diffhist Lambda calculus 11:07 −1 TTWIDEE talk contribs (→Free variables: Removed erroneous space) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Set (mathematics) 10:53 +501 D.Lazard talk contribs (→Internal disjoint union: new section, still to be completed)
30 March 2025
- diffhist m Set (mathematics) 20:25 +1 Arjayay talk contribs (Refering > Referring)
- diffhist Set (mathematics) 18:05 −697 D.Lazard talk contribs (→Partitions: rm section for moving upward)
- diffhist Set (mathematics) 18:02 −1,093 D.Lazard talk contribs (→Principle of inclusion and exclusion: not in this article. This belongs to Finite set or Combinatorics)
- diffhist Set (mathematics) 17:58 +2,085 D.Lazard talk contribs (→Infinite cardinalities: New version of the section)