Cylindric algebra: Revision history

22 July 2024

• curprev 00:3900:39, 22 July 2024‎ 2001:569:7c89:7600:2cbc:6d0b:298b:a5c4 talk‎ 7,286 bytes +6‎ No edit summary undo

29 January 2024

• curprev 21:5221:52, 29 January 2024‎ 213.216.210.15 talk‎ 7,280 bytes +1‎ No edit summary undo

30 September 2022

• curprev 16:0816:08, 30 September 2022‎ ArnoldReinhold talk contribs‎ 7,279 bytes +66‎ Adding short description: "Algebraizes first-order logic with equality" undo Tag: Shortdesc helper
• curprev 14:5014:50, 30 September 2022‎ 2a02:1812:110c:dc00:b94f:638f:26ca:90d5 talk‎ 7,213 bytes +28‎ →‎Further reading undo

4 January 2022

• curprev 16:4116:41, 4 January 2022‎ Willondon talk contribs‎ m 7,185 bytes −17‎ copyedit, remove a bit of verbiage undo
• curprev 16:1916:19, 4 January 2022‎ 81.110.184.237 talk‎ 7,202 bytes +61‎ No edit summary undo

12 December 2021

• curprev 23:2523:25, 12 December 2021‎ Joel Brennan talk contribs‎ m 7,141 bytes +8‎ No edit summary undo

6 July 2021

• curprev 05:1405:14, 6 July 2021‎ OAbot talk contribs‎ m 7,133 bytes +20‎ Open access bot: doi added to citation with #oabot. undo

8 June 2021

• curprev 17:2417:24, 8 June 2021‎ 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk‎ 7,113 bytes +70‎ No edit summary undo

10 May 2021

• curprev 17:3517:35, 10 May 2021‎ AugPi talk contribs‎ 7,043 bytes +41‎ →‎See also: + undo

6 December 2020

• curprev 13:4313:43, 6 December 2020‎ Monkbot talk contribs‎ m 7,002 bytes −56‎ Task 18 (cosmetic): eval 3 templates: del empty params (6×); hyphenate params (2×); undo Tag: AWB

25 November 2020

• curprev 13:0013:00, 25 November 2020‎ John of Reading talk contribs‎ m 7,058 bytes −7‎ →‎Cylindric set algebras: Typo fixing, replaced: axioms axioms → axioms undo Tag: AWB

11 October 2020

• curprev 20:3520:35, 11 October 2020‎ Citation bot talk contribs‎ 7,065 bytes −138‎ Alter: url. URLs might have been internationalized/anonymized. Removed parameters. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox4 | via #UCB_webform_linked undo

13 December 2019

• curprev 09:0509:05, 13 December 2019‎ AnomieBOT talk contribs‎ m 7,203 bytes +38‎ Dating maintenance tags: {{Cn}} {{Example needed}} undo
• curprev 08:4408:44, 13 December 2019‎ Jochen Burghardt talk contribs‎ 7,165 bytes +90‎ →‎Cylindric set algebras: require justification for change of claim into its negation undo

12 December 2019

• curprev 23:0723:07, 12 December 2019‎ 2001:861:3ac0:4fa0:446c:d705:1851:3105 talk‎ 7,075 bytes +394‎ No edit summary undo

11 October 2019

• curprev 13:1413:14, 11 October 2019‎ Joel Brennan talk contribs‎ m 6,681 bytes −41‎ →‎Definition of a cylindric algebra: formatting undo

20 March 2018

• curprev 04:5004:50, 20 March 2018‎ AugPi talk contribs‎ 6,722 bytes +56‎ →‎Cylindric set algebras undo
• curprev 04:4204:42, 20 March 2018‎ AugPi talk contribs‎ 6,666 bytes +891‎ Cylindric set algebras undo

5 March 2018

• curprev 10:5210:52, 5 March 2018‎ AugPi talk contribs‎ 5,775 bytes +989‎ Relation to monadic Boolean algebra undo

6 February 2018

• curprev 02:0802:08, 6 February 2018‎ AugPi talk contribs‎ 4,786 bytes +56‎ →‎Definition of a cylindric algebra undo

5 January 2018

• curprev 04:3604:36, 5 January 2018‎ AugPi talk contribs‎ 4,730 bytes +135‎ External link undo

4 January 2018

• curprev 08:0508:05, 4 January 2018‎ AugPi talk contribs‎ 4,595 bytes +29‎ →‎See also: + undo

14 September 2017

• curprev 20:3020:30, 14 September 2017‎ 86.139.80.94 talk‎ 4,566 bytes +1‎ →‎See also undo
• curprev 20:2420:24, 14 September 2017‎ 86.139.80.94 talk‎ 4,565 bytes +34‎ →‎References undo

22 June 2017

• curprev 21:1821:18, 22 June 2017‎ CBM talk contribs‎ m 4,531 bytes +2‎ Copyediting in citations - nonbreaking spaces and en dashes (manually reviewed) undo

3 June 2017

• curprev 20:0920:09, 3 June 2017‎ Magic links bot talk contribs‎ m 4,529 bytes +4‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

1 February 2017

• curprev 07:5207:52, 1 February 2017‎ Monitor333 talk contribs‎ m 4,525 bytes +4‎ No edit summary undo
• curprev 07:5007:50, 1 February 2017‎ Monitor333 talk contribs‎ 4,521 bytes +33‎ No edit summary undo

5 April 2016

• curprev 08:4608:46, 5 April 2016‎ Jochen Burghardt talk contribs‎ 4,488 bytes +108‎ Partly undid revision 713649675 by Chalst (talk): changing "url=" to "contributionurl=" is sufficient undo
• curprev 07:1507:15, 5 April 2016‎ Chalst talk contribs‎ 4,380 bytes −96‎ →‎References: Fix Caleiro and Gonçalves 2006 ref so that it is clear that the PDF is of the article, not the LNCS volume undo
• curprev 07:0807:08, 5 April 2016‎ Chalst talk contribs‎ 4,476 bytes −8‎ →‎Generalizations: resolve citation needed undo
• curprev 07:0007:00, 5 April 2016‎ Chalst talk contribs‎ 4,484 bytes +19‎ →‎Generalizations: citation needed undo
• curprev 06:3706:37, 5 April 2016‎ Chalst talk contribs‎ 4,465 bytes −49‎ Simplify ref to FOL with equality in lede undo

29 August 2015

• curprev 04:1004:10, 29 August 2015‎ Dexbot talk contribs‎ m 4,514 bytes +258‎ Bot: Deprecating Template:Cite doi and some minor fixes undo

12 August 2014

• curprev 18:0818:08, 12 August 2014‎ Jochen Burghardt talk contribs‎ 4,256 bytes −2‎ →‎top: fixed wrong dab undo
• curprev 17:2717:27, 12 August 2014‎ BD2412 talk contribs‎ m 4,258 bytes +25‎ minor fixes, mostly disambig links using AWB undo

15 March 2014

• curprev 11:3611:36, 15 March 2014‎ Alexey Muranov talk contribs‎ 4,233 bytes −220‎ →‎Definition of a cylindric algebra: remove {{Clarify}} tag: no clarification in half a year, fixing according to my understanding, fix again if something is wrong. undo

19 October 2013

• curprev 17:1517:15, 19 October 2013‎ Jochen Burghardt talk contribs‎ 4,453 bytes −7‎ reverted edit made in good faith by 173.212.92.106; rephrased affected sentence for more clarity undo
• curprev 14:4914:49, 19 October 2013‎ 173.212.92.106 talk‎ 4,460 bytes 0‎ →‎Definition of a cylindric algebra undo

17 August 2013

• curprev 20:4820:48, 17 August 2013‎ AnomieBOT talk contribs‎ m 4,460 bytes +34‎ Dating maintenance tags: {{Clarify}} undo
• curprev 18:4718:47, 17 August 2013‎ Jochen Burghardt talk contribs‎ 4,426 bytes +431‎ →‎Definition of a cylindric algebra: suggested more usual standard logic refomulation of C1-C7 undo
• curprev 18:2118:21, 17 August 2013‎ Jochen Burghardt talk contribs‎ 3,995 bytes −277‎ →‎References undo
• curprev 18:2118:21, 17 August 2013‎ Jochen Burghardt talk contribs‎ 4,272 bytes +401‎ →‎References: added url undo

16 March 2013

• curprev 08:2808:28, 16 March 2013‎ Addbot talk contribs‎ m 3,871 bytes −22‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5199278 undo

9 November 2012

• curprev 16:3616:36, 9 November 2012‎ Tijfo098 talk contribs‎ 3,893 bytes +67‎ →‎References: some sort of embedding, but it has some non-trivial details. Should probably be given as an application undo
• curprev 16:0916:09, 9 November 2012‎ Tijfo098 talk contribs‎ 3,826 bytes −4‎ →‎Definition of a cylindric algebra: confusing link. The "function symbols" can be explained in the page "without" undo

6 June 2012

• curprev 05:0905:09, 6 June 2012‎ 98.206.140.155 talk‎ 3,830 bytes −114‎ No edit summary undo

28 May 2012

• curprev 10:2710:27, 28 May 2012‎ StAnselm talk contribs‎ 3,944 bytes −4‎ Unlinked: RA undo

16 March 2012

• curprev 17:1017:10, 16 March 2012‎ Giftlite talk contribs‎ 3,948 bytes −23‎ →‎See also: −wlink already included in the main article undo