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
22 December 2025
- diffhist m Wikipedia:Manual of Style/Dates and numbers 04:44 −24 LizardJr8 talk contribs (Reverted edits by ~2025-42317-58 (talk) (HG) (3.4.14)) Tags: Huggle Rollback
- diffhist Wikipedia:Manual of Style/Dates and numbers 04:43 +24 ~2025-42317-58 talk contribs (→Statements likely to become outdated) Tags: Reverted Mobile edit Mobile web edit
21 December 2025
- diffhist Automated theorem proving 23:44 −11 AnomieBOT talk contribs (Fixing reference errors)
- diffhist Automated theorem proving 21:42 +117 ~2025-42300-22 talk contribs (→Logical foundations: BOMBAY.INC) Tag: extraneous markup
- diffhist Z3 Theorem Prover 15:01 −43 Deltaspace42 talk contribs (Removing from Category:Free and open-source software using Cat-a-lot)
- diffhist Automated reasoning 05:23 +26 Jarble talk contribs (corrected a link) Tag: Visual edit
- diffhist Automated reasoning 05:18 +930 Jarble talk contribs (describing applications of automated reasoning in large language models) Tag: Visual edit