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
23 October 2025
- diff hist m Formal proof 00:18 +2 KuyaMoHirowo talk contribs (Fixed lint errors: missing end tag (id 4))
22 October 2025
- diff hist Computability theory 18:53 +91 Olexa Riznyk talk contribs (→References: Improving a reference)
- diff hist Information theory 18:50 +74 Olexa Riznyk talk contribs (Improving a reference)
- diff hist Lambda calculus 16:19 +81 Mathnerd314159 talk contribs (→Normal forms and confluence: reorder, starting with a negative result is confusing)
- diff hist Lambda calculus 16:10 +956 Mathnerd314159 talk contribs (→Definition: explain capture-avoiding substitution, this makes the section more self-contained)
- diff hist m Universe (mathematics) 13:07 0 Farkle Griffen talk contribs (corrected "main article" tag placement) Tag: Visual edit
- diff hist Axiom 12:12 +14 103.127.20.227 talk (Added detain in the introduction) Tags: Visual edit Mobile edit Mobile web edit
- diff hist Lambda calculus 07:11 +1 Jochen Burghardt talk contribs (→Definition: unify item names, for now)
- diff hist m Universe (mathematics) 04:42 +5 Farkle Griffen talk contribs Tag: Visual edit
- diff hist m Universe (mathematics) 04:42 +69 Farkle Griffen talk contribs (redirect hatnote) Tag: Visual edit