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
5 April 2025
- diffhist m Raymond Smullyan 09:21 +102 Marc Schroeder talk contribs (→Bibliography)
- diffhist Combinatory logic 09:10 0 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:10 −10 Tromp talk contribs (→One-point basis)
- diffhist Combinatory logic 09:09 +453 Tromp talk contribs (→simplest known one-point basis)
4 April 2025
- diffhist m Raymond Smullyan 23:07 +223 Marc Schroeder talk contribs
- diffhist Raymond Smullyan 13:11 −1,202 Marc Schroeder talk contribs
- diffhist m Raymond Smullyan 11:44 +2,396 Marc Schroeder talk contribs (→Bibliography: brought the references into template:cite... format, and expanded the reference of ''First-Order Logic''; no references added)
3 April 2025
- diffhist m Raymond Smullyan 22:42 +35 Marc Schroeder talk contribs (→External links)
- diffhist m Raymond Smullyan 22:22 −11 Marc Schroeder talk contribs (→External links)
2 April 2025
- diffhist Law of excluded middle 16:00 −403 Cgibbard talk contribs (Undid revision 1283613175 by Cgibbard (talk) noticed that a similar example was provided farther down in the article) Tag: Undo
- diffhist Law of excluded middle 15:56 +403 Cgibbard talk contribs (→Examples: add an example of a constructive proof that an irrational number to an irrational power can be rational.) Tag: Reverted
1 April 2025
- diffhist Lambda calculus 11:07 −1 TTWIDEE talk contribs (→Free variables: Removed erroneous space) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist m John Tromp 00:15 0 Shankarsivarajan talk contribs (Fixed typo in the year.) Tag: 2017 wikitext editor
- diffhist m John Tromp 00:14 0 Shankarsivarajan talk contribs (→External links: Fixed typo in the year.) Tag: 2017 wikitext editor