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
2 August 2025
- diffhist Gradual typing 20:50 −90 2804:30c:1e05:6700:f1ca:dc20:187e:776d talk (Undid revision 1303833433 by 2603:6011:501:17E0:D54D:C9F7:680E:ED1C (talk)) Tag: Undo
- diffhist Propositional calculus 19:47 +47 Christian75 talk contribs ({{R from move}})
- diffhist m Equality (mathematics) 18:33 −20 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Equality (mathematics) 18:24 +1,332 Farkle Griffen talk contribs (→Axioms: Added paragraph on intensional statements) Tag: Visual edit
- diffhist Programming language 15:16 +6 Squoop talk contribs (Qualify statement with "often".) Tag: 2017 wikitext editor
- diffhist Programming language 15:15 −32 Squoop talk contribs (Rewrite introduction sentence.) Tag: 2017 wikitext editor
- diffhist Natural number 14:36 −47 KingSkyLord talk contribs (Reverted 1 pending edit by 78.245.84.142 to revision 1303575768 by Eulersidentity) Tag: Manual revert
- diffhist Natural number 14:20 +47 78.245.84.142 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Gradual typing 09:20 +90 2603:6011:501:17e0:d54d:c9f7:680e:ed1c talk Tags: Reverted Visual edit Mobile edit Mobile web edit
1 August 2025
- diffhist m Russell's paradox 06:19 +2 Nubtom talk contribs (Fixed grammar) Tags: Mobile edit Mobile app edit iOS app edit App select source
31 July 2025
- diffhist m Natural number 20:18 −10 Eulersidentity talk contribs (Reverted 1 edit by 103.162.51.51 (talk) to last revision by AnomieBOT) Tags: Twinkle Undo
- diffhist Natural number 20:00 +10 103.162.51.51 talk (01871640875) Tags: Reverted Mobile edit Mobile web edit
30 July 2025
- diffhist Curry–Howard correspondence 21:54 0 BalinKingOfMoria talk contribs (→Intuitionistic Natural deduction and typed lambda calculus: Try to cleanup section heading capitalization) Tag: Visual edit
- diffhist Lambda cube 21:53 +1 BalinKingOfMoria talk contribs (→Relation to other systems: Fix grammar) Tag: Visual edit
- diffhist Lambda cube 19:50 +5 BalinKingOfMoria talk contribs (→(λP) Lambda-P: Fix grammar) Tag: 2017 wikitext editor
- diffhist Natural number 17:13 +1,575 Mathnerd314159 talk contribs (→Notation: reorganize, add sources, re-add ISO standard link. remove n0 \ 0 and n* u 0 as these are not typical notations (too long). also fix isbn-date errors)
- diffhist Design by contract 08:37 +42 Wootery talk contribs ({{More citations needed|date=July 2025}})
29 July 2025
- diffhist m Simply typed lambda calculus 18:34 −66 Lynch44 talk contribs (Reverted edit by 77.8.96.101 (talk) to last version by David Eppstein) Tags: Rollback Mobile edit Mobile web edit
- diffhist Simply typed lambda calculus 18:34 +66 77.8.96.101 talk Tag: Reverted
- diffhist m Type safety 10:03 +28 Onel5969 talk contribs (Disambiguating links to Object-orientation (link changed to Object-oriented programming) using DisamAssist.)
- diffhist m Generic programming 09:43 +28 Onel5969 talk contribs (Disambiguating links to Object-orientation (link changed to Object-oriented programming) using DisamAssist.)
- diffhist m Functional programming 09:41 +28 Onel5969 talk contribs (Disambiguating links to Object-orientation (link changed to Object-oriented programming) using DisamAssist.)
- diffhist Foundations of mathematics 09:16 −84 D.Lazard talk contribs (→Foundational crisis: providing clarification)
- diffhist Foundations of mathematics 04:28 +133 ArthurDent006.5 talk contribs (→Foundational crisis: Request link to actual discussion of the (contextually) non-proveable theorems.)
- diffhist m Equality (mathematics) 02:53 +23 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
28 July 2025
- diffhist m C (programming language) 23:38 −9 Remsense talk contribs (Reverted 1 edit by 205.200.90.66 (talk) to last revision by Vincent Lefèvre) Tags: Twinkle Undo
- diffhist C (programming language) 23:37 +9 205.200.90.66 talk (→"Hello, world" example) Tags: Reverted missing file added
- diffhist ATS (programming language) 15:16 +8 Optikos talk contribs (→History: Link to Per Martin-Löf) Tag: 2017 wikitext editor
- diffhist Template:Main other 14:53 +182 Pppery talk contribs (Make substable per request)
- diffhist Module:Disambiguation/templates 14:49 +41 Pppery talk contribs (Update list)
- diffhist Formal system 00:38 −39 Yesterday, all my dreams... talk contribs (→Proof system: axioms are not theorems, given that they involve no proof as such)
- diffhist Formal system 00:37 −85 Yesterday, all my dreams... talk contribs (→Proof system: not every proof leads to a theorem)
27 July 2025
- diffhist m List of mathematical logic topics 21:35 −243 Pppery (alt) talk contribs (→top: Removing self-referential hatnotes for minor internal pages not likely to be looked for by readers or new editors unfamiliar with Wikipedia's namespaces) Tag: AWB