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
1 May 2024
- diffhist m Computable function 08:24 −2 93 talk contribs (→Formal languages: typo)
- diffhist m Zermelo–Fraenkel set theory 07:51 +652 ElskverdigHug talk contribs
- diffhist Natural deduction 07:29 −265 Thiagovscoelho talk contribs (Headings) Tag: Visual edit
- diffhist Natural deduction 07:28 −37 Thiagovscoelho talk contribs (Heading)
- diffhist Natural deduction 07:26 −38 Thiagovscoelho talk contribs (Headings) Tag: Visual edit
- diffhist Natural deduction 07:13 +28 Thiagovscoelho talk contribs (→Disjunction elimination) Tag: Visual edit
- diffhist Natural deduction 07:12 +311 Thiagovscoelho talk contribs (Headings) Tag: Visual edit
- diffhist John von Neumann 02:15 +95 Gwern talk contribs (→Self-doubts: +html edition of the book, and replace with a direct quote as it is no longer than the 'paraphrase' currently here)
- diffhist m Zermelo–Fraenkel set theory 01:01 +504 ElskverdigHug talk contribs
30 April 2024
- diffhist m Zermelo–Fraenkel set theory 21:53 +298 ElskverdigHug talk contribs
- diffhist m Zermelo–Fraenkel set theory 19:54 +130 ElskverdigHug talk contribs (aesthetics)
- diffhist m Zermelo–Fraenkel set theory 10:26 +228 ElskverdigHug talk contribs (just making the 'formal language' section more elegant)
- diffhist List of mathematical theories 08:50 +454 D.Lazard talk contribs (Nominated for deletion; see Wikipedia:Articles for deletion/List of mathematical theories.) Tag: Twinkle
- diffhist Quantifier (logic) 07:28 −233 Jochen Burghardt talk contribs (Undid revision 1221439476 by アマンドロス (talk): couldn't find such an article) Tag: Undo
- diffhist List of mathematical theories 07:23 +28 Infiternity talk contribs (Added content) Tags: Mobile edit Mobile web edit
- diffhist m Automata theory 07:18 +29 SpiralSource talk contribs (linked to quantum finite automata) Tag: Visual edit
- diffhist m Automata theory 07:16 −4 SpiralSource talk contribs (→Connection to category theory) Tag: Visual edit
- diffhist m Automata theory 07:13 +16 SpiralSource talk contribs (→See also: added "Petri net") Tag: Visual edit
- diffhist m Zermelo set theory 05:16 +25 Metzger411 talk contribs
- diffhist m Automata theory 05:03 0 Vissel0126 talk contribs (c/e) Tag: 2017 wikitext editor
- diffhist List of first-order theories 04:45 −33 David Eppstein talk contribs (this would have stayed working if we had followed WP:NOTBROKEN)
- diffhist m Mathematics 04:40 −21 Jacobolus talk contribs (Undid revision 1221475771 by Brudelman (talk) – it's fine to wikilink to the redirect here. it makes the markup more legible, and at some point in the future scheme theory may become a separate article) Tag: Undo
- diffhist Mathematics 04:31 +21 Brudelman talk contribs Tag: Reverted
- diffhist m New Foundations 02:46 +1 Bbbbbbbbba talk contribs (→Natural numbers and the axiom of infinity: Grammar fix)
- diffhist Inference 00:24 +43 I am RedoStone talk contribs
29 April 2024
- diffhist Quantifier (logic) 23:32 +233 アマンドロス talk contribs (I made the information correct.) Tags: Reverted Visual edit
- diffhist Truth table 23:30 −45 HeyElliott talk contribs (MOS:NOTE) Tag: 2017 wikitext editor
- diffhist Set (mathematics) 22:25 −30 JohnLaurensAnthonyRamos333 talk contribs (Reverted 1 edit by 102.91.4.30 (talk)) Tags: Twinkle Undo
- diffhist Set (mathematics) 22:23 +30 102.91.4.30 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Axiom of choice 15:38 +3 Meno25 talk contribs (→Quotations)
- diffhist Axiom of choice 15:37 0 Meno25 talk contribs (→Quotations)
- diffhist Axiom of choice 15:37 0 Meno25 talk contribs (→Quotations)
- diffhist Logic 14:17 +39 Thiagovscoelho talk contribs (→See also)
- diffhist Mathematics 07:13 −7,456 Jacobolus talk contribs (Undid revision 1221309639 by CoolieCoolster (talk) – it's great that these pages are archived for the future, but we don't need to spam an archive link next to every still living page) Tag: Undo
- diffhist Soundness 04:43 +6 Editmakerer talk contribs (→Definition) Tags: Mobile edit Mobile web edit
- diffhist Soundness 04:41 0 Editmakerer talk contribs (→Definition) Tags: Mobile edit Mobile web edit
- diffhist Soundness 04:40 +4 Editmakerer talk contribs (→Definition: Consistent w other reasoning articles) Tags: Mobile edit Mobile web edit
- diffhist Mathematics 04:22 +7,456 CoolieCoolster talk contribs (Rescuing 40 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tags: Reverted IABotManagementConsole [1.3]
- diffhist P versus NP problem 03:54 −37 125.253.110.20 talk (Undid revision 1221305571 by 73.198.157.65 (talk)) Tag: Undo
- diffhist P versus NP problem 03:54 −41 125.253.110.20 talk (Undid revision 1221305657 by 73.198.157.65 (talk)) Tag: Undo
- diffhist P versus NP problem 03:41 +41 73.198.157.65 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist P versus NP problem 03:40 +37 73.198.157.65 talk Tags: Reverted Mobile edit Mobile web edit
28 April 2024
- diffhist Model theory 23:42 −1 5.151.155.177 talk (→Basic model-theoretic concepts) Tag: Manual revert
- diffhist Model theory 23:41 +1 5.151.155.177 talk (→Basic model-theoretic concepts) Tags: Manual revert Reverted
- diffhist Model theory 23:40 −1 5.151.155.177 talk (→Basic model-theoretic concepts) Tag: Reverted
- diffhist Model theory 23:40 −3 5.151.155.177 talk (→Basic model-theoretic concepts)
- diffhist m Mathematical logic 22:09 −15 Oneequalsequalsone talk contribs (→Subfields and scope) Tag: Visual edit
- diffhist Information theory 21:32 +192 Amigao talk contribs (→Overview: citations needed) Tag: Visual edit
- diffhist Information theory 20:24 +499 Amigao talk contribs (→Miscellaneous applications: additional context and citation) Tag: Visual edit
- diffhist Constructive set theory 17:18 +23 85.184.94.138 talk (→Towards the Dedekind reals) Tags: Mobile edit Mobile web edit