Absorption (logic): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 04:5604:56, 20 July 2022 Raycheng200 talk contribs m 3,283 bytes −5‎ No edit summary undo

curprev 17:1517:15, 13 June 2022 SamanthaNguyen talk contribs 3,288 bytes +304‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 18:2418:24, 8 June 2022 SamanthaNguyen talk contribs 2,984 bytes −448‎ change to use default table styling for accessibility (WP:DTABTUT) undo Tag: 2017 wikitext editor

curprev 19:2119:21, 20 January 2022 65.166.89.2 talk 3,432 bytes +6‎ →Formal notation: fix link to Whitehead undo

curprev 03:0403:04, 18 December 2021 Citation bot talk contribs 3,426 bytes +44‎ Add: title, authors 1-1. Changed bare reference to CS1/2. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 1408/2196 undo

curprev 14:1114:11, 21 December 2020 Monkbot talk contribs m 3,382 bytes −16‎ Task 18 (cosmetic): eval 1 template: del empty params (1×); del |ref=harv (1×); undo Tag: AWB

curprev 18:4918:49, 8 December 2019 Jochen Burghardt talk contribs 3,398 bytes −1‎ Undid revision 926197108 by 182.181.243.109 (talk) undo Tag: Undo

curprev 20:4220:42, 14 November 2019 182.181.243.109 talk 3,399 bytes +1‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 08:4508:45, 6 April 2019 Atoll talk contribs 3,398 bytes +22‎ →Formal notation: the link now goes to the right anchor undo
curprev 08:4408:44, 6 April 2019 Atoll talk contribs m 3,376 bytes −1‎ →Formal notation: fix typo (singular) undo

curprev 10:0110:01, 24 February 2019 Raycheng200 talk contribs 3,377 bytes +2‎ →Proof by truth table undo

curprev 17:5317:53, 14 January 2019 Guy Macon talk contribs 3,375 bytes −19‎ Spamming a template into the external links section of dozens of articles. Undid revision 878078265 by MisterCake (talk) undo Tag: Undo

curprev 21:3821:38, 12 January 2019 MisterCake talk contribs 3,394 bytes +19‎ →References undo

curprev 20:4820:48, 14 November 2018 Texvc2LaTeXBot talk contribs m 3,375 bytes +14‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 18:2918:29, 29 August 2018 BD2412 talk contribs m 3,361 bytes +8‎ →top: Improving links and other minor cleanup tasks undo Tag: AWB

curprev 20:4420:44, 31 January 2018 129.174.182.13 talk 3,353 bytes 0‎ →Examples undo
curprev 20:4120:41, 31 January 2018 129.174.182.13 talk 3,353 bytes 0‎ →Examples undo

curprev 21:1721:17, 30 January 2018 Klbrain talk contribs 3,353 bytes +34‎ Linking to Absorption law undo

curprev 05:4705:47, 15 July 2017 Deacon Vorbis talk contribs m 3,319 bytes −8‎ →Proof by truth table: LaTeX spacing clean up, replaced: \,\!</math> → </math> (2) using AWB undo

curprev 14:1814:18, 14 February 2015 Ianushii talk contribs 3,327 bytes −4‎ →Formal notation: I think that this should b an implication, not a biconditional. undo

curprev 19:1019:10, 13 December 2014 Alejandrocaro35 talk contribs 3,331 bytes −19‎ No edit summary undo
curprev 18:0318:03, 13 December 2014 Alejandrocaro35 talk contribs 3,350 bytes +4‎ →Formal notation undo

curprev 18:4718:47, 14 October 2013 Dcirovic talk contribs m 3,346 bytes −425‎ Reverted edits by BukLauBrah (talk) to last version by 180.110.202.63 undo
curprev 17:5817:58, 14 October 2013 BukLauBrah talk contribs 3,771 bytes +425‎ No edit summary undo

curprev 06:0806:08, 10 September 2013 180.110.202.63 talk 3,346 bytes −8‎ →Formal notation undo
curprev 06:0606:06, 10 September 2013 180.110.202.63 talk 3,354 bytes −4‎ →Formal notation undo

curprev 03:3103:31, 17 March 2013 112.198.64.81 talk 3,358 bytes +1‎ →Examples undo
curprev 03:3103:31, 17 March 2013 112.198.64.81 talk 3,357 bytes +8‎ →Examples undo

curprev 09:4209:42, 11 March 2012 Gregbard talk contribs 3,349 bytes +421‎ theorem in PM undo

curprev 19:5119:51, 10 March 2012 Gregbard talk contribs m 2,928 bytes −24‎ clean up using AWB undo

curprev 07:3207:32, 5 March 2012 Gregbard talk contribs 2,952 bytes −16‎ redund undo

curprev 00:5400:54, 27 February 2012 Michael Hardy talk contribs 1,827 bytes 0‎ lower case required by WP:MOS undo

curprev 04:0804:08, 22 February 2012 Dooooot talk contribs 1,827 bytes +726‎ No edit summary undo

curprev 09:0809:08, 18 February 2012 Gregbard talk contribs 1,101 bytes +19‎ Template:Transformation rules using AWB undo

curprev 21:3621:36, 13 February 2012 130.157.101.120 talk 1,082 bytes 0‎ →Definition undo

curprev 04:4104:41, 9 February 2012 Michael Hardy talk contribs 606 bytes −18‎ →Definition undo

20 July 2022

13 June 2022

8 June 2022

20 January 2022

18 December 2021

21 December 2020

8 December 2019

14 November 2019

6 April 2019

24 February 2019

14 January 2019

12 January 2019

14 November 2018

29 August 2018

31 January 2018

30 January 2018

15 July 2017

14 February 2015

13 December 2014

14 October 2013

10 September 2013

17 March 2013

11 March 2012

10 March 2012

5 March 2012

4 March 2012

27 February 2012

22 February 2012

18 February 2012

13 February 2012

11 February 2012

9 February 2012