Action 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 16:2716:27, 13 February 2023‎ Vaughan Pratt talk contribs‎ m 8,692 bytes +492‎ Moved provenance to lede, made the properties a separate section undo
curprev 16:0116:01, 13 February 2023‎ Vaughan Pratt talk contribs‎ m 8,200 bytes −339‎ Moved Conway and Redko references in-line undo
curprev 16:0016:00, 13 February 2023‎ Vaughan Pratt talk contribs‎ 8,539 bytes +357‎ →‎Definition undo
curprev 15:4815:48, 13 February 2023‎ Vaughan Pratt talk contribs‎ 8,182 bytes +160‎ Defines reflexive and transitive for action algebras by abstraction from relation algebras undo

curprev 16:5816:58, 29 October 2022‎ LicenceToCrenellate talk contribs‎ 8,022 bytes −2‎ Linting fix undo

curprev 19:2619:26, 24 August 2022‎ CRGreathouse talk contribs‎ 8,024 bytes +2‎ →‎Definition: Finite axiomatization undo

curprev 19:0619:06, 7 October 2019‎ 128.84.124.22 talk‎ 8,022 bytes +10‎ Action algbras are a variety in the Universal Algebra sense, not the Algebraic Geometry sense. undo

curprev 10:5010:50, 25 September 2019‎ 5.133.242.4 talk‎ 8,012 bytes +10‎ Fix link to "On Kleene algebras and closed semirings" paper. undo

curprev 22:0722:07, 11 February 2019‎ 90.116.101.72 talk‎ 8,002 bytes +10‎ No edit summary undo
curprev 21:4821:48, 11 February 2019‎ 90.116.101.72 talk‎ 7,992 bytes +3‎ →‎Definition undo

curprev 02:4702:47, 11 June 2016‎ 70.247.163.191 talk‎ 7,989 bytes +4‎ link undo

curprev 17:0517:05, 24 March 2015‎ BG19bot talk contribs‎ m 7,985 bytes +2‎ →‎Definition: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (10839) undo

curprev 05:5705:57, 22 March 2015‎ Vaughan Pratt talk contribs‎ 7,983 bytes +44‎ "action lattice" undo
curprev 05:5105:51, 22 March 2015‎ Vaughan Pratt talk contribs‎ 7,939 bytes +401‎ Corrected source for purely equational axiomatization of action algebras undo

curprev 08:2108:21, 8 March 2015‎ BG19bot talk contribs‎ m 7,538 bytes +16‎ WP:CHECKWIKI error fix for #03. Missing Reflist. Do general fixes if a problem exists. - using AWB (10839) undo

curprev 23:5323:53, 7 March 2015‎ David Eppstein talk contribs‎ 7,522 bytes +302‎ →‎Definition: supply requested citation undo

curprev 21:3021:30, 18 July 2014‎ Deltahedron talk contribs‎ m 7,220 bytes +129‎ →‎References: expand bibliodata undo

curprev 16:4916:49, 8 July 2014‎ Vaughan Pratt talk contribs‎ m 7,091 bytes +13‎ corrected "star-free" to "implication-free" undo

curprev 06:5806:58, 4 June 2014‎ AnomieBOT talk contribs‎ m 7,078 bytes +30‎ Dating maintenance tags: {{Clarify}} {{Cn}} undo
curprev 06:3806:38, 4 June 2014‎ Jochen Burghardt talk contribs‎ 7,048 bytes +119‎ →‎Definition: cn, clarify undo

curprev 07:5507:55, 17 March 2013‎ Addbot talk contribs‎ m 6,929 bytes −21‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q4677173 undo

curprev 19:5319:53, 25 February 2011‎ Cuaxdon talk contribs‎ m 6,950 bytes 0‎ al undo

curprev 15:5515:55, 29 October 2010‎ R'n'B talk contribs‎ m 6,950 bytes +24‎ Fix links to disambiguation page Boolean algebra undo

curprev 05:1105:11, 27 May 2009‎ Charvest talk contribs‎ 6,926 bytes +2‎ Category:Algebraic structures undo

curprev 19:1219:12, 11 August 2008‎ Ndenison talk contribs‎ m 6,924 bytes −9‎ Reverted edits by 70.119.254.7 to last version by Ndenison (HG) undo
curprev 19:1219:12, 11 August 2008‎ 70.119.254.7 talk‎ 6,933 bytes +9‎ →‎Definition undo
curprev 19:1119:11, 11 August 2008‎ Ndenison talk contribs‎ m 6,924 bytes −33‎ Reverted edits by 70.119.254.7 to last version by Vaughan Pratt (HG) undo
curprev 19:1019:10, 11 August 2008‎ 70.119.254.7 talk‎ 6,957 bytes +33‎ No edit summary undo

curprev 20:1020:10, 25 April 2008‎ Vaughan Pratt talk contribs‎ 6,924 bytes +119‎ →‎Examples: - RAT undo
curprev 20:0820:08, 25 April 2008‎ Vaughan Pratt talk contribs‎ 6,805 bytes +355‎ →‎Examples: - Boolean action algebras undo
curprev 20:0120:01, 25 April 2008‎ Vaughan Pratt talk contribs‎ m 6,450 bytes −1‎ →‎Definition: - deleted space before period undo

curprev 13:4013:40, 5 January 2008‎ Mhss talk contribs‎ m 6,451 bytes +21‎ →‎See also undo
curprev 13:3513:35, 5 January 2008‎ Mhss talk contribs‎ m 6,430 bytes +29‎ →‎See also undo

curprev 05:1405:14, 21 December 2007‎ JackSchmidt talk contribs‎ m 6,401 bytes −139‎ unicodify, duple links using AWB undo

curprev 02:0802:08, 31 October 2007‎ Vaughan Pratt talk contribs‎ 6,540 bytes +132‎ →‎References: -added see-also section undo

curprev 03:2203:22, 17 October 2007‎ Vaughan Pratt talk contribs‎ m 6,408 bytes +14‎ Fixed link again undo
curprev 03:2103:21, 17 October 2007‎ Vaughan Pratt talk contribs‎ m 6,394 bytes +14‎ fixed link undo

curprev 23:5423:54, 16 August 2007‎ Vaughan Pratt talk contribs‎ m 6,380 bytes +20‎ Linked "intuitionistic logic" to Heyting algebra undo

curprev 23:1923:19, 1 August 2007‎ Barticus88 talk contribs‎ m 6,360 bytes +18‎ Variety→Algebraic variety in the holy name of WikiProject Disambiguation using Popups undo

curprev 17:5817:58, 25 July 2007‎ Michael Hardy talk contribs‎ 6,342 bytes +6‎ proper bolding of the title phrase at first appearance, per Wikipedia:Manual of Style undo
curprev 04:4504:45, 25 July 2007‎ Vaughan Pratt talk contribs‎ m 6,336 bytes +25‎ clarify last sentence of lead undo
curprev 02:4002:40, 25 July 2007‎ Oleg Alexandrov talk contribs‎ m 6,311 bytes −2‎ rm ugly space undo

13 February 2023

29 October 2022

24 August 2022

7 October 2019

25 September 2019

11 February 2019

11 June 2016

24 March 2015

22 March 2015

8 March 2015

7 March 2015

18 July 2014

8 July 2014

4 June 2014

17 March 2013

25 February 2011

29 October 2010

27 May 2009

11 August 2008

25 April 2008

5 January 2008

21 December 2007

31 October 2007

17 October 2007

16 August 2007

1 August 2007

25 July 2007

24 July 2007