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
22 May 2024
- diffhist Well-formed formula 16:26 +36 D.Lazard talk contribs (Undid revision 1225134153 by Oneequalsequalsone (talk) do not remove anchors that are targets of redirect. and keep bf for these targets) Tag: Undo
- diffhist Well-formed formula 15:56 +14 Oneequalsequalsone talk contribs (→Closed formulas: change 'closure' to 'universal closure') Tag: Visual edit
- diffhist m Well-formed formula 15:41 −36 Oneequalsequalsone talk contribs (→Predicate logic: change bold to italic) Tags: Reverted Visual edit
- diffhist First-order logic 09:50 −10 Jochen Burghardt talk contribs (Undid revision 1225092232 by 195.133.151.210: better keep the more general example (formulas needn't be closed)) Tag: Undo
- diffhist First-order logic 09:38 +10 195.133.151.210 talk (→Formulas) Tag: Reverted
21 May 2024
- diffhist m Material implication (rule of inference) 22:48 −242,500 ClueBot NG talk contribs (Reverting possible vandalism by 104.139.37.212 to version by Mikhail Ryazanov. Report False Positive? Thanks, ClueBot NG. (4325307) (Bot)) Tags: Replaced Rollback Disambiguation links added
- diffhist Material implication (rule of inference) 22:48 +242,500 104.139.37.212 talk (potato) Tags: Reverted possible vandalism extraneous markup references removed Visual edit
- diffhist m Module:Pagetype 17:35 +216 MSGJ talk contribs (fix for files and interface messages which do exist but are not stored locally)
- diffhist m Associative property 17:12 +16 Foldleft talk contribs (Link "Joint denial" to Logical NOR)
- diffhist Logic 14:50 −4 750h+ talk contribs (→Computational logic: duplicate link)
- diffhist Logic 14:47 −1 750h+ talk contribs (Undid revision 1224784729 by 2A02:1810:363D:6700:79E0:A9DC:210B:5B19 (talk) unhelpful sorry) Tag: Undo
- diffhist Truth table 06:50 −83 David Eppstein talk contribs (→top: rm unsourced claim contradicted by some sources e.g. https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-33/issue-2/On-interpreting-truth-tables-and-relevant-truth-table-logic/10.1305/ndjfl/1093636097.pdf)
- diffhist Programming language 01:40 +37 Buidhe paid talk contribs (Restored revision 1223122714 by Citation bot (talk): Grammar error) Tags: Twinkle Undo
20 May 2024
- diffhist m Alonzo Church 19:43 −8 ComplexRational talk contribs (Removing link(s) Wikipedia:Articles for deletion/Isaac Malitz closed as delete (XFDcloser))
- diffhist Module:Pagetype/rfd 13:04 +27 MSGJ talk contribs (+Rfd-NPF/core)
- diffhist Module:Pagetype/rfd 13:03 +22 MSGJ talk contribs (+Rfd-NPF, seen on West Ardougne)
- diffhist Logic 12:53 +1 2a02:1810:363d:6700:79e0:a9dc:210b:5b19 talk Tag: Reverted
- diffhist m Kurt Gödel 12:46 +8 Myasuda talk contribs (→Princeton, Einstein, U.S. citizenship: citation template)
- diffhist Kurt Gödel 11:47 +286 Zbisem talk contribs (Added reference on details of the escape of Gödel from Europe in 1940.)
- diffhist m If and only if 02:49 −2 MrOllie talk contribs (Reverted 1 edit by 2001:FB1:15E:A23A:6C77:BD6A:A429:B414 (talk) to last revision by Watchduck) Tags: Twinkle Undo
- diffhist If and only if 02:41 +2 2001:fb1:15e:a23a:6c77:bd6a:a429:b414 talk Tag: Reverted
- diffhist m Transposition (logic) 02:32 −18 Mikhail Ryazanov talk contribs (→Proofs: fmt.)
- diffhist m Transposition (logic) 02:31 +13 Mikhail Ryazanov talk contribs (→Differences between transposition and contraposition: fmt.)
- diffhist m Transposition (logic) 02:30 +37 Mikhail Ryazanov talk contribs (→Transposition and the method of contraposition: punct., fmt.)
- diffhist m Transposition (logic) 02:28 +107 Mikhail Ryazanov talk contribs (→Relationship of propositions: fmt., punct., style, wiki)
- diffhist m Transposition (logic) 02:23 +30 Mikhail Ryazanov talk contribs (→Necessary condition: fmt., punct.)
- diffhist m Transposition (logic) 02:22 +47 Mikhail Ryazanov talk contribs (→Sufficient condition: fmt., punct.)
- diffhist m Transposition (logic) 02:21 +86 Mikhail Ryazanov talk contribs (→Form of transposition: punct., fmt., style)
- diffhist m Transposition (logic) 02:17 −1 Mikhail Ryazanov talk contribs (→Formal notation: MOS:MATH#PUNC)
- diffhist m Transposition (logic) 02:15 +1 Mikhail Ryazanov talk contribs (→top: punct., fmt.)
- diffhist m Material implication (rule of inference) 02:14 +133 Mikhail Ryazanov talk contribs (→Partial proof: punct., fmt.)
- diffhist m Material implication (rule of inference) 02:08 −2 Mikhail Ryazanov talk contribs (→top: "allow for" ≠ "allow", fmt., punct., MOS:LQ)
- diffhist m Material conditional 01:42 +9 Mikhail Ryazanov talk contribs (→History: fmt., punct.)
- diffhist m Material conditional 01:42 +41 Mikhail Ryazanov talk contribs (→History: punct., fmt.)
19 May 2024
- diffhist Ludwig Wittgenstein 18:36 +158 2a00:23c8:1382:8101:695e:aabc:692c:831e talk (→Sources)
- diffhist Module:List 16:45 +78 Pppery talk contribs (Per edit request)
- diffhist m Programming language 13:56 −37 Macarius Ibne Mito talk contribs Tags: Reverted Visual edit
18 May 2024
- diffhist m Tautology (logic) 13:29 +50 Oneequalsequalsone talk contribs (→History: linking to specific section) Tag: Visual edit
- diffhist Logic 07:26 +8 Remsense talk contribs (Reverting edit(s) by Healpa12 (talk) to rev. 1223594779 by Citation bot: Unexplained content removal (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Logic 07:25 −8 Healpa12 talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Ludwig Wittgenstein 01:03 −4 2601:244:5601:9b90:60af:2ffb:7300:cbb3 talk (Better wording) Tags: Mobile edit Mobile web edit
17 May 2024
- diffhist George Boole 23:02 −94 David Eppstein talk contribs (→20th-century development: rm confusing and unnecessary passage re priority)
- diffhist Module:Navbox 21:07 +308 Izno talk contribs (per Template talk:Navbox#Night mode may need explicit color definitions)
16 May 2024
- diffhist Bernard Bolzano 21:34 +152 94.230.145.249 talk (→Further reading)
- diffhist Module:Pagetype 12:25 −146 MSGJ talk contribs (add detection of non-existent pages, some code simplication)
- diffhist m Module:Pagetype/config 12:23 +100 MSGJ talk contribs (+cfg for non-existent pages)
- diffhist Transposition (logic) 00:46 +5 Thiagovscoelho talk contribs
- diffhist Transposition (logic) 00:45 +89 Thiagovscoelho talk contribs
15 May 2024
- diffhist Predicate (mathematical logic) 18:30 +27 D.Lazard talk contribs (Undid revision 1224002660 by Addemf (talk) Yes the use of "constant" is improper, but the proposed correction is wrong)