Related changes
Appearance
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
12 June 2024
- diffhist Logic 12:30 −78 Biogeographist talk contribs (Undid revision 1228652207 by 5.234.36.210 (talk): formal logic has many applications in philosophy: see, e.g., DOI:10.1007/978-3-319-77434-3) Tag: Manual revert
- diffhist Logic 12:10 −1 5.234.36.210 talk (→Formal logic: punctuation error) Tag: Reverted
- diffhist Logic 12:10 +79 5.234.36.210 talk (→Formal logic: add link to formal logic applications in philosophy) Tag: Reverted
- diffhist Lambda calculus 07:56 +43 Ancheta Wis talk contribs (→Definition: use 'reducible expression')
- diffhist Lambda calculus 07:50 +16 Ancheta Wis talk contribs (→Reduction: anchor redex)
11 June 2024
- diffhist Lambda calculus 14:41 +156 Ancheta Wis talk contribs (clarify a sentence by restricting its scope to untyped lambda calculus)
- diffhist First-order logic 08:17 −4 Yenwrite talk contribs Tags: Mobile edit Mobile web edit
- diffhist First-order logic 08:16 −14 Yenwrite talk contribs Tags: Mobile edit Mobile web edit
- diffhist m First-order logic 08:13 +19 ClueBot NG talk contribs (Reverting possible vandalism by Yenwrite to version by Jochen Burghardt. Report False Positive? Thanks, ClueBot NG. (4330167) (Bot)) Tag: Rollback
- diffhist First-order logic 08:12 −19 Yenwrite talk contribs Tags: Reverted Mobile edit Mobile web edit
10 June 2024
- diffhist Equation 12:24 +19 178.138.195.86 talk (wl)
- diffhist m Lambda calculus 05:36 +5 Aero13792468 talk contribs (→β-reduction: keep formula on one line)
- diffhist Object-oriented programming 02:40 +6 Mathnerd314159 talk contribs (Undid revision 1228147403 by 2409:408C:8D4F:96D:18C0:F8E4:3AD1:BBF8 (talk) - broken) Tag: Undo
9 June 2024
- diffhist Object-oriented programming 18:14 −6 2409:408c:8d4f:96d:18c0:f8e4:3ad1:bbf8 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Wayback Machine 15:22 −40 Annh07 talk contribs (Reverted edit by Boymellowstinks (talk) to last version by Dollasdal) Tag: Rollback
- diffhist m Wayback Machine 15:22 +40 Boymellowstinks talk contribs Tags: Reverted repeated addition of external links by non-autoconfirmed user
8 June 2024
- diffhist m Wayback Machine 17:49 +20 Dollasdal talk contribs (→See also)
- diffhist m Wayback Machine 17:44 +178 Dollasdal talk contribs
7 June 2024
- diffhist Lambda calculus 18:11 +17 Xland44 talk contribs (TM and LC are equivaent) Tag: Visual edit