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
17 July 2025
- diffhist Wikipedia:Citing sources 23:28 −231 ActivelyDisinterested talk contribs (Undid revision 1301039149 by Mathglot (talk) Trappists script marks all cites without any incoming shortform this way, the correct way of solving it was |ref=none. It's not an issue caused by bundling citations) Tag: Undo
- diffhist Wikipedia:Citing sources 19:37 +231 Mathglot talk contribs (→Bundling citations: To 'Disadvantages', add: Using citation templates like {{t|cite book}} in a bundle may lead to scripted warnings such as "There is no link pointing to this citation". (A solution is available.)) Tag: Reverted
- diffhist P versus NP problem 18:21 +338 Lynch44 talk contribs (Reverted 2 edits by 167.98.155.171 (talk): Rv block evasion) Tags: Twinkle Undo Mobile edit Mobile web edit
- diffhist m Oxford University Press 13:07 0 Amigao talk contribs (clean up, typo(s) fixed: ’s → 's, 447-464 → 447–464) Tag: AWB
- diffhist Oxford University Press 13:03 +26 Amigao talk contribs (→Uyghurs: linking) Tag: Visual edit
- diffhist Oxford University Press 13:01 −361 Amigao talk contribs (→Uyghur controversy: trimmed editorializing) Tag: Visual edit
- diffhist Conceptual model 11:11 +27 41.40.114.1 talk (Improved the definition and added a relevant link to a Wikipedia entry in the overview section.) Tags: Mobile edit Mobile web edit
- diffhist P versus NP problem 08:30 −274 167.98.155.171 talk (→Context: "clearly" and "arguably" are not useful things to write. improved general tone, and removed statement of the blindingly obvious which was also extremely badly written) Tag: Reverted
- diffhist P versus NP problem 08:23 −64 167.98.155.171 talk (→History: improved very bad grammar and general tone) Tag: Reverted
- diffhist Oxford University Press 05:37 +5 AdityaSingh110 talk contribs (Added how OUP ended its publication for China-sponsored science journal) Tag: Visual edit
- diffhist Oxford University Press 05:28 +1,344 AdityaSingh110 talk contribs (Added how OUP ended its publication for China-sponsored science journal) Tag: Visual edit
16 July 2025
- diffhist Tautology (logic) 20:24 +70 Jemptymethod talk contribs (LOL)
- diffhist Cardinality 19:57 −13 Trovatore talk contribs (Undid revision 1300765959 by ALittleClass (talk) "powerset" is a common spelling in the field) Tag: Undo
- diffhist Wikipedia:Verifiability 17:12 +13 S Marshall talk contribs (Oh for Heaven's sake. I see that even that's controversial) Tag: Undo
- diffhist Wikipedia:Verifiability 17:10 −13 S Marshall talk contribs (Allowing Zero000's revert to stand, restore the simplification (which I think ought to be uncontroversial)) Tag: Reverted
- diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
- diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
- diffhist Wikipedia:Verifiability 14:18 −57 Zero0000 talk contribs (rv. a discussion about a specific page that hasn't even reached consensus is hardly enough reason to make changes here.) Tag: Undo
- diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
- diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
- diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Wikipedia:Verifiability 09:52 +99 S Marshall talk contribs (Per this discussion) Tag: Reverted
- diffhist Wikipedia:Verifiability 09:43 −3 S Marshall talk contribs (Actually I can get that wordcount down farther) Tag: Reverted
- diffhist Wikipedia:Verifiability 09:43 −39 S Marshall talk contribs (Simplify) Tag: Reverted
- diffhist Oxford University Press 08:42 −431 Nardog talk contribs (Reverted 3 edits by 155.190.60.30 (talk): Unsourced; WP:EL) Tags: Twinkle Undo
- diffhist Proposition 08:40 +4 Phlsph7 talk contribs (Undid revision 1300350032 by 2A02:CE0:2002:6C57:C0B8:6EC5:3593:49B8 (talk) sentences are linguistic expressions) Tag: Undo
- diffhist Cardinality 08:03 +13 ALittleClass talk contribs (replaced instances of "powerset" with "power set") Tags: Reverted Visual edit
15 July 2025
- diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
- diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
- diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
- diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
- diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
- diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))
- diffhist Axiomatic system 21:56 −13 Yesterday, all my dreams... talk contribs (→Example: these axioms are deductive, not semantic)
- diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
- diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
- diffhist m Lambda calculus 19:32 −4 Frap talk contribs
- diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
- diffhist Truth table 18:13 −2,371 Jochen Burghardt talk contribs (distracting) Tag: Undo
- diffhist Mathematical object 18:11 0 162.106.6.36 talk
- diffhist Church encoding 17:43 +10 WillNess talk contribs (Updated short description) Tags: Mobile edit Mobile app edit Android app edit App description change
- diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
- diffhist Zermelo–Fraenkel set theory 17:35 +36 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed "Axiom of pairing")
- diffhist Zermelo–Fraenkel set theory 17:20 +3 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed false statement (and bad grammar).)
- diffhist Truth table 16:32 +170 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
- diffhist Truth table 16:16 +2,201 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
- diffhist Image (mathematics) 05:46 +8 GALI MANISH KUMAR talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links