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 July 2025
- diffhist Proof theory 19:20 +31 184.178.159.252 talk (“More broadly, it belongs to what Prawitz called general proof theory (see section 1.1).” https://plato.stanford.edu/entries/proof-theoretic-semantics/) Tags: Mobile edit Mobile web edit
- diffhist Module:Footnotes/whitelist 13:58 +104 Redrose64 talk contribs (add entries for CITEREFLindsay1968 and CITEREFPopplewell1989)
- diffhist Princeton University 00:30 −1 Quaerens-veritatem talk contribs (Infobox: image: seal: size to comparable larger than image_size & image size Notes but for readability & so it doesn't overwhelm space, improving the presentation without materially altering the content per image size)
3 July 2025
- diffhist Tautology (logic) 23:43 −2 Trovatore talk contribs (actually that comma doesn't belong there at all (nor does its pair))
- diffhist m Tautology (logic) 23:02 0 WeHoDavid talk contribs (I transposed the positions of a comma and a quotation mark.) Tags: Mobile edit Mobile app edit iOS app edit App section source
1 July 2025
- diffhist First-order logic 20:50 +16 Tholme talk contribs (→Formalizing natural languages)
- diffhist First-order logic 20:50 +21 Tholme talk contribs (→Formalizing natural languages: fix nightmode)
30 June 2025
- diffhist Princeton University 18:25 −4 OceanGunfish talk contribs (→top: do not link state per Template:Infobox university and MOS:GEOLINK)