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
10 May 2025
- diffhist Alfred Tarski 14:34 +9 Omnipaedista talk contribs (MOS:PSEUDOHEAD)
7 May 2025
- diffhist m First-order logic 16:12 −3 BardRapt talk contribs (J. P. E. Hodgson, Professor Emeritus)
- diffhist First-order logic 10:56 −6 145.137.163.43 talk (→Logical symbols: Removed Polish notation of "V" and "O")
- diffhist First-order logic 10:51 −749 145.137.163.43 talk (Unnecessary mention of Polish notation in multiple parts of the entry.)
5 May 2025
- diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
- diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
- diffhist Arithmetic 13:27 +40 Jacobolus talk contribs (let's use an internet archive scan of the original instead of a google books scan of the reprint)
- diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
- diffhist Theory (mathematical logic) 13:05 +72 128.237.82.207 talk (Explain that a formal language and deductive system together give rise to a formal system for reasoning.) Tag: Visual edit
- diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Arithmetic 07:08 +10 David Eppstein talk contribs (→Sources: ore isbn really is a mismatch)
- diffhist Arithmetic 07:05 +50 David Eppstein talk contribs (→Sources: tag isbn as unproblematic)