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
15 July 2025
- 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 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 Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
13 July 2025
- diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
- diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added