De Morgan algebra: 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 02:2902:29, 4 May 2024‎ Chrisdmiddleton talk contribs‎ 10,270 bytes +8‎ removed Category:Algebra; added Category:Boolean algebra using HotCat undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 12:4712:47, 2 October 2023‎ Habst talk contribs‎ m 10,262 bytes −3‎ grammar: "should not to be confused with" -> "should not be confused with" (via WP:JWB) undo

curprev 12:3212:32, 15 March 2023‎ Paradoctor talk contribs‎ m 10,265 bytes +1‎ →‎top: tzpo undo

curprev 08:4608:46, 11 March 2023‎ Paradoctor talk contribs‎ 10,264 bytes +5‎ →‎top: fix and more undo
curprev 08:4408:44, 11 March 2023‎ Paradoctor talk contribs‎ 10,259 bytes +30‎ →‎top: clarify Dunn example, copyedit undo

curprev 23:4823:48, 8 December 2022‎ Paradoctor talk contribs‎ 10,229 bytes −74‎ →‎Kleene algebra: potato, potatoe undo

curprev 07:4007:40, 11 February 2022‎ Qwerfjkl (bot) talk contribs‎ m 10,303 bytes 0‎ Capitalising short description "system of logic lacking the excluded middle law" per WP:SDFORMAT (via Bandersnatch) undo

curprev 15:2015:20, 6 October 2021‎ F Aagaard talk contribs‎ m 10,303 bytes +40‎ 'bounded' now links to 'Lattice (order)#Bounded lattice' instead of 'Bounded set'. undo

curprev 14:3714:37, 1 October 2021‎ ArnoldReinhold talk contribs‎ m 10,263 bytes +70‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 14:0814:08, 2 August 2021‎ Saolof talk contribs‎ 10,193 bytes −41‎ →‎Kleene algebra undo
curprev 09:5209:52, 2 August 2021‎ Saolof talk contribs‎ 10,234 bytes +74‎ →‎Kleene algebra undo
curprev 09:4709:47, 2 August 2021‎ Saolof talk contribs‎ 10,160 bytes +41‎ →‎Kleene algebra: Also included Heyting algebras in examples, since x and not x is equivalent to bottom in a Heyting algebra undo

curprev 09:4609:46, 6 May 2021‎ OAbot talk contribs‎ m 10,119 bytes +33‎ Open access bot: doi added to citation with #oabot. undo

curprev 18:3418:34, 28 April 2021‎ Bender the Bot talk contribs‎ m 10,086 bytes +2‎ HTTP → HTTPS for the American Mathematical Society, replaced: =http://www.ams.org/ → =https://www.ams.org/ (2) undo Tag: AWB

curprev 19:3319:33, 9 April 2021‎ Citation bot talk contribs‎ 10,084 bytes +380‎ Alter: pages, title. Add: isbn, pages, chapter, issue, volume, journal, year, authors 1-2. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Jonesey95 | via #UCB_webform 838/1520 undo

curprev 00:0100:01, 14 March 2021‎ 2001:861:3ac0:4fa0:4993:8f90:ad74:25e2 talk‎ 9,704 bytes +77‎ No edit summary undo

curprev 22:4522:45, 7 September 2020‎ David Eppstein talk contribs‎ 9,627 bytes +40‎ Maria Luisa Dalla Chiara undo

curprev 07:0107:01, 14 June 2020‎ InternetArchiveBot talk contribs‎ 9,587 bytes +145‎ Bluelink 1 book for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

curprev 08:0808:08, 15 April 2020‎ OAbot talk contribs‎ m 9,442 bytes +32‎ Open access bot: doi added to citation with #oabot. undo

curprev 13:0713:07, 11 October 2019‎ Joel Brennan talk contribs‎ m 9,410 bytes −14‎ →‎Related notions undo
curprev 13:0513:05, 11 October 2019‎ Joel Brennan talk contribs‎ m 9,424 bytes +47‎ formatting undo

curprev 07:1307:13, 18 September 2019‎ David Eppstein talk contribs‎ 9,377 bytes +24‎ Mai Gehrke undo

curprev 16:0716:07, 25 August 2019‎ 201.141.212.94 talk‎ 9,353 bytes +2‎ No edit summary undo
curprev 16:0416:04, 25 August 2019‎ 201.141.212.94 talk‎ 9,351 bytes +218‎ No edit summary undo

curprev 09:4209:42, 22 March 2018‎ John of Reading talk contribs‎ m 9,133 bytes +1‎ Typo/general fixes, replaced: an 1 → a 1 using AWB undo

curprev 18:2518:25, 5 June 2017‎ Nitpicking polish talk contribs‎ m 9,132 bytes +973‎ Clean up and expand references. undo

curprev 01:4701:47, 13 February 2017‎ Headbomb talk contribs‎ m 8,159 bytes +14‎ clean up, url redundant with jstor, and/or remove accessdate if no url using AWB undo

curprev 08:1908:19, 9 December 2016‎ 157.193.72.108 talk‎ 8,145 bytes +2‎ No edit summary undo

curprev 11:4611:46, 27 October 2016‎ Bender the Bot talk contribs‎ m 8,143 bytes +1‎ →‎Kleene algebra: http→https for Google Books and Google News using AWB undo

curprev 19:5219:52, 30 November 2015‎ 24.140.148.190 talk‎ 8,142 bytes +31‎ →‎Related notions: Can't have one without the other undo
curprev 19:4319:43, 30 November 2015‎ 24.140.148.190 talk‎ 8,111 bytes +87‎ Equivalence of the boolean algebra laws undo
curprev 19:3919:39, 30 November 2015‎ 24.140.148.190 talk‎ 8,024 bytes +549‎ alternative characterization in terms of order undo

curprev 13:4013:40, 30 August 2014‎ JMP EAX talk contribs‎ 7,475 bytes −6‎ No edit summary undo
curprev 13:3913:39, 30 August 2014‎ JMP EAX talk contribs‎ 7,481 bytes +23‎ →‎Kleene algebra: see http://www.massey.ac.nz/~wwifs/mathnews/centrefolds/61/Aug1994.shtml undo

curprev 02:3302:33, 22 August 2014‎ JMP EAX talk contribs‎ 7,458 bytes +48‎ No edit summary undo
curprev 02:0102:01, 22 August 2014‎ JMP EAX talk contribs‎ 7,410 bytes +20‎ No edit summary undo
curprev 01:4901:49, 22 August 2014‎ JMP EAX talk contribs‎ 7,390 bytes +257‎ No edit summary undo

4 May 2024

2 October 2023

15 March 2023

11 March 2023

8 December 2022

11 February 2022

6 October 2021

1 October 2021

2 August 2021

6 May 2021

28 April 2021

9 April 2021

14 March 2021

7 September 2020

14 June 2020

15 April 2020

11 October 2019

18 September 2019

25 August 2019

22 March 2018

5 June 2017

13 February 2017

9 December 2016

27 October 2016

30 November 2015

30 August 2014

22 August 2014

21 August 2014