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 May 2025
- diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
- 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 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
4 May 2025
- diffhist First-order logic 10:43 +77 BardRapt talk contribs (→Introduction: H. Friedman)
- diffhist First-order logic 09:34 −76 Jochen Burghardt talk contribs (Undid revision 1288578396 by JRSpriggs (talk): imo, this is required in both infix and Polish notation, and thus irrelevant to their comparison (w.r.t. "advantage")) Tag: Undo
3 May 2025
- diffhist First-order logic 18:17 +106 BardRapt talk contribs (→Free and bound variables: W. V. O. Quine)
- diffhist First-order logic 15:33 +76 JRSpriggs talk contribs (→Notational conventions: known arity) Tag: Reverted
- diffhist Constructible universe 15:18 +14 JRSpriggs talk contribs (→L is absolute and minimal: order-indiscernible)
- diffhist Wikipedia:Stub 14:42 −12 Mr. Starfleet Command talk contribs (fix grammatical error introduced in last edit)
- diffhist First-order logic 09:50 +25 BardRapt talk contribs (→Limitations: I. R. Horrocks)
- diffhist Constructible universe 07:31 −2 2a02:8428:687:501:385d:bd04:491a:aa2d talk (→L is absolute and minimal: moved a reference to the firet occurrence of the notion.) Tags: Mobile edit Mobile web edit
- diffhist Constructible universe 07:30 −15 2a02:8428:687:501:385d:bd04:491a:aa2d talk (→L is absolute and minimal: remove standard synonym for inner since it is ambiguous) Tags: Mobile edit Mobile web edit
- diffhist m Wikipedia:Stub 04:49 +9 Iwillpeeonadime talk contribs (→Basic information) Tags: Mobile edit Mobile web edit
2 May 2025
- diffhist Help:Maintenance template removal 12:37 +10 Had0j talk contribs (→When to remove)
- diffhist m First-order logic 10:54 +68 Nyngwang talk contribs (→Notational conventions: use <math> tag for the sake of our eyes and readability.)
- diffhist m First-order logic 10:42 +1 BardRapt talk contribs (→Sequent calculus: PVS)
- diffhist m First-order logic 10:22 −116 Nyngwang talk contribs (→Notational conventions: delete personal opinions on "Polish notation".)
- diffhist First-order logic 10:10 −434 Nyngwang talk contribs (→Notational conventions: Delete the part that failed to recognize {infix,prefix} notations.)
1 May 2025
- diffhist Wikipedia:Verifiability 17:56 −1 Oreocooke talk contribs (→Wikipedia and sources that mirror or use it: page was moved some time ago)