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
2 June 2025
- diffhist First-order logic 13:50 +23 BardRapt talk contribs (→External links: S. Shapiro)
1 June 2025
- diffhist Kurt Gödel 23:46 −23 ZergTwo talk contribs (That needs a reliable source. Undid revision 1293182655 by DogExpert (talk)) Tag: Undo
31 May 2025
- diffhist Rule of inference 22:59 +25 Psychastes talk contribs (→Definition: add linked template)
- diffhist Solomon Feferman 19:43 +28 Omnipaedista talk contribs (add student)
- diffhist Solomon Feferman 19:32 −114 Omnipaedista talk contribs (rm deprecated parameter)
- diffhist First-order logic 19:08 +7 Anerdw talk contribs (MOS:GNL - “man” and “human” get the same point across. Also, punctuation.) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Kurt Gödel 13:48 +29 Takeschutte talk contribs (Added proof theorists category)
- diffhist m Solomon Feferman 13:45 +29 Takeschutte talk contribs (Added proof theorists category)
- diffhist Kurt Gödel 06:16 +23 DogExpert talk contribs (→Childhood) Tag: Reverted
30 May 2025
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
28 May 2025
- diffhist Logic 23:53 +18 TonySt talk contribs (Reverted 1 edit by 2601:145:C301:1BB0:9947:49B6:E93C:C553 (talk): Revert random word removal) Tags: Twinkle Undo
- diffhist Logic 23:35 −18 2601:145:c301:1bb0:9947:49b6:e93c:c553 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Logic 22:57 +6 TonySt talk contribs (Reverted 1 edit by 2601:145:C301:1BB0:9947:49B6:E93C:C553 (talk): Revert random letter removals) Tags: Twinkle Undo
- diffhist Logic 22:56 −6 2601:145:c301:1bb0:9947:49b6:e93c:c553 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Kurt Gödel 21:52 +151 Charlie Faust talk contribs (→Legacy: added Rebecca Goldstein)