Minimal axioms for Boolean algebra: Revision history

6 April 2025

• curprev 07:4907:49, 6 April 2025 Neiltonks talk contribs 6,777 bytes +47 Adding short description: "Mathematical assumptions" undo Tag: Shortdesc helper

24 January 2025

• curprev 02:5002:50, 24 January 2025 Citation bot talk contribs 6,730 bytes +4 Altered template type. | Use this bot. Report bugs. | Suggested by Dominic3203 | #UCB_toolbar undo

9 January 2025

• curprev 09:1409:14, 9 January 2025 Citation bot talk contribs 6,726 bytes +22 Added date. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Logic gates | #UCB_Category 15/47 undo

18 October 2023

• curprev 00:0200:02, 18 October 2023 Eyeonezero talk contribs 6,704 bytes −50 Removed reference to “taking commutativity for granted”, which is mentioned in the source but in another context. The equation shown implies the commutative law. undo Tags: Mobile edit Mobile app edit iOS app edit

26 February 2023

• curprev 12:1312:13, 26 February 2023 Citation bot talk contribs 6,754 bytes +72 Add: issue, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3667/3850 undo

21 February 2023

• curprev 04:0004:00, 21 February 2023 Partofthemachine talk contribs 6,682 bytes +31 Added links undo
• curprev 03:5803:58, 21 February 2023 Partofthemachine talk contribs 6,651 bytes −1 ce undo

4 October 2022

• curprev 13:0813:08, 4 October 2022 EmilJ talk contribs 6,652 bytes −7 correction undo

3 August 2021

• curprev 00:2000:20, 3 August 2021 WikiCleanerBot talk contribs m 6,659 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

30 July 2021

• curprev 19:4419:44, 30 July 2021 Jadnohra talk contribs 6,659 bytes +303 Clarified a sentence that might otherwise be misleading undo

10 May 2021

• curprev 08:1208:12, 10 May 2021 93.148.95.159 talk 6,356 bytes −30 No edit summary undo

5 November 2020

• curprev 02:2502:25, 5 November 2020 Tom.Reding talk contribs m 6,386 bytes +19 →top: Category:CS1 maint: multiple names: authors list/ref cleanup; WP:GenFixes on undo Tag: AWB

23 October 2020

• curprev 04:5504:55, 23 October 2020 David Eppstein talk contribs 6,367 bytes +5 clarify Wolfram vs McCune et al per email from Dana Scott undo

15 April 2020

• curprev 19:1319:13, 15 April 2020 OAbot talk contribs m 6,362 bytes +51 Open access bot: doi added to citation with #oabot. undo

18 December 2019

• curprev 05:4805:48, 18 December 2019 InternetArchiveBot talk contribs 6,311 bytes +85 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

14 November 2018

• curprev 18:3918:39, 14 November 2018 David Eppstein talk contribs m 6,226 bytes +42 mw auth undo
• curprev 18:3318:33, 14 November 2018 David Eppstein talk contribs 6,184 bytes −19 overlinked undo
• curprev 18:3318:33, 14 November 2018 David Eppstein talk contribs 6,203 bytes +58 If we're going to call out Wolfram by full name we should extend the same courtesy to the other researchers with linked articles undo
• curprev 18:3118:31, 14 November 2018 David Eppstein talk contribs 6,145 bytes 0 reorder less confusing undo
• curprev 18:2918:29, 14 November 2018 David Eppstein talk contribs 6,145 bytes +66 Let's not pretend that McCune merely verified what Wolfram had done. That does not match the publication record. undo
• curprev 17:4517:45, 14 November 2018 XOR'easter talk contribs 6,079 bytes −41 Undid revision 868806871 by Floridada (talk): name is attested nowhere outside of .wolfram.com undo Tag: Undo
• curprev 15:3215:32, 14 November 2018 Floridada talk contribs 6,120 bytes +41 Wolfram axiom...it should at least be noted by name. undo

13 November 2018

• curprev 17:1217:12, 13 November 2018 XOR'easter talk contribs 6,079 bytes +345 ... and NYT errata undo
• curprev 17:0717:07, 13 November 2018 XOR'easter talk contribs 5,734 bytes +249 +NYT story undo
• curprev 16:4816:48, 13 November 2018 XOR'easter talk contribs m 5,485 bytes 0 glitch fix in ref undo
• curprev 16:4716:47, 13 November 2018 XOR'easter talk contribs 5,485 bytes +859 more references undo

11 November 2018

• curprev 18:2718:27, 11 November 2018 Michael Hardy talk contribs 4,626 bytes +36 No edit summary undo

10 November 2018

• curprev 15:4215:42, 10 November 2018 XOR'easter talk contribs 4,590 bytes +38 wikilinks undo
• curprev 14:5814:58, 10 November 2018 XOR'easter talk contribs m 4,552 bytes 0 XOR'easter moved page Wolfram axiom to Minimal axioms for Boolean algebra: article has been expanded beyond its roots undo
• curprev 14:5814:58, 10 November 2018 XOR'easter talk contribs 4,552 bytes +948 expand to include more of the history of the subject undo

6 November 2018

• curprev 20:0220:02, 6 November 2018 David Eppstein talk contribs 3,604 bytes −6 Restore non-propagandized-by-Wolfram-sockfans version undo
• curprev 19:5619:56, 6 November 2018 Badtoothfairy talk contribs 3,610 bytes +662 No edit summary undo
• curprev 19:5419:54, 6 November 2018 Duplo surrogate talk contribs 2,948 bytes −656 Undid revision 867601914 by Longhair (talk) undo Tag: Undo
• curprev 19:5319:53, 6 November 2018 Longhair talk contribs 3,604 bytes +656 Reverted 1 edit by Factsmatterandstuff (talk). (TW) undo Tag: Undo
• curprev 19:5219:52, 6 November 2018 Factsmatterandstuff talk contribs 2,948 bytes −656 Undid revision 867598637 by David Eppstein (talk) the title of the wiki is literally Wolfram Axiom. How is Wolfram not relevant? I still think my edit should stand. undo Tag: Undo
• curprev 19:2919:29, 6 November 2018 David Eppstein talk contribs 3,604 bytes +656 Undid revision 867592443 by Factsmatterandstuff (talk) relevant but its relevance could be explained better and using a more reliable source. Also let's not keep going on and on about Wolfram did this and Wolfram did that, when multiple people did it and Wolfram is not the subject of the article. undo Tag: Undo
• curprev 18:4218:42, 6 November 2018 Factsmatterandstuff talk contribs m 2,948 bytes −678 →Wolfram Axiom: removed irrelevant undo

16 June 2018

• curprev 15:0415:04, 16 June 2018 ThePolynomialPrescription talk contribs 3,626 bytes +157 Add more precise citations for the proof. undo
• curprev 14:4214:42, 16 June 2018 ThePolynomialPrescription talk contribs 3,469 bytes +142 Add proper reference for Wolfram 2002 undo
• curprev 14:3014:30, 16 June 2018 ThePolynomialPrescription talk contribs 3,327 bytes +337 Add citation to Padmanabhan and Quackenbush, separate Notes and References sections undo
• curprev 14:0014:00, 16 June 2018 ThePolynomialPrescription talk contribs 2,990 bytes −312 We do not need to provide information that is found on the Sheffer Stroke page undo
• curprev 13:5513:55, 16 June 2018 ThePolynomialPrescription talk contribs 3,302 bytes +10 The convention in Wikipedia is to write "NAND" instead of "Nand" undo

16 May 2017

• curprev 00:4400:44, 16 May 2017 66.201.57.10 talk 3,292 bytes 0 →External links undo

15 April 2017

• curprev 01:5701:57, 15 April 2017 62.216.207.146 talk 3,292 bytes +9 No edit summary undo

10 March 2017

• curprev 16:2916:29, 10 March 2017 Pleasantville talk contribs 3,283 bytes +5 →top: rm apostrophe + minor undo

19 August 2015

• curprev 15:4415:44, 19 August 2015 85.178.209.198 talk 3,278 bytes +31 formula formatting undo

30 July 2014

• curprev 10:1310:13, 30 July 2014 Magioladitis talk contribs m 3,247 bytes −5 Replace unicode entity nbsp for character [NBSP] (or space) per WP:NBSP + other fixes, replaced: → (5) using AWB (10331) undo

10 June 2013

• curprev 18:5218:52, 10 June 2013 74.59.198.10 talk 3,252 bytes +2 No edit summary undo

21 March 2013

• curprev 20:1520:15, 21 March 2013 Addbot talk contribs m 3,250 bytes −42 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q4059939 undo

11 January 2013

• curprev 07:3007:30, 11 January 2013 BG19bot talk contribs m 3,292 bytes 0 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (8853) undo