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
16 May 2026
- diffhist Function application 20:49 +80 Caleb Stanford talk contribs (Nominated for merging; see Wikipedia:Articles for deletion/Apply.)
- diffhist Type theory 05:12 +25 ~2026-29249-70 talk (→External links)
- diffhist Type theory 05:01 +26 ~2026-29249-70 talk (ImMore precise, mathematical logic. The fact of whole mathematics has this logic is primiarly because the mathematical logic is there.)
- diffhist Formal semantics (natural language) 04:39 +10 ~2026-29249-70 talk (→Sources)
- diffhist Classical logic 04:36 +10 ~2026-29249-70 talk (→Further reading)
- diffhist m Focus (linguistics) 02:59 −1 Zestfully-smokeless talk contribs (Typo) Tags: Visual edit Mobile edit Mobile web edit