Transaction logic: Revision history

9 March 2024

• curprev 10:0610:06, 9 March 2024‎ WikiCleanerBot talk contribs‎ m 7,102 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

29 February 2024

• curprev 02:2502:25, 29 February 2024‎ Atomvinter talk contribs‎ 7,102 bytes +106‎ replace refmarkers used as proper nouns with their titles undo

6 July 2023

• curprev 08:3708:37, 6 July 2023‎ LicenceToCrenellate talk contribs‎ 6,996 bytes −2‎ Linting fix undo

13 May 2021

• curprev 03:2003:20, 13 May 2021‎ Sbb talk contribs‎ 6,998 bytes +15‎ fix "lang" typo from previous commit; changed heading-like markup using definition list to H3 headings undo Tag: 2017 wikitext editor

12 May 2021

• curprev 04:1204:12, 12 May 2021‎ Cedar101 talk contribs‎ m 6,983 bytes +48‎ →‎Examples: fix syntax highlight errors undo

10 May 2021

• curprev 06:0406:04, 10 May 2021‎ Sbb talk contribs‎ 6,935 bytes +611‎ clearer semantic markup for Examples; replaced "here" links with references in Implementations list; removed {{cleanup HTML}} maintenance tag undo Tag: 2017 wikitext editor

5 April 2021

• curprev 11:4211:42, 5 April 2021‎ 95.223.89.150 talk‎ 6,324 bytes +181‎ + references to 2013 "Test of Time Award" undo

3 September 2020

• curprev 01:4301:43, 3 September 2020‎ Anthrópinos81638 talk contribs‎ m 6,143 bytes 0‎ Replaces obsolete tag. undo

24 February 2019

• curprev 20:0420:04, 24 February 2019‎ AnomieBOT talk contribs‎ m 6,143 bytes +19‎ Dating maintenance tags: {{Cleanup HTML}} undo
• curprev 19:4419:44, 24 February 2019‎ Beland talk contribs‎ 6,124 bytes +17‎ {{cleanup HTML}} undo

7 August 2018

• curprev 13:0613:06, 7 August 2018‎ Beland talk contribs‎ m 6,107 bytes −3‎ fix broken HTML entity undo

1 November 2017

• curprev 12:2312:23, 1 November 2017‎ Jarble talk contribs‎ m 6,110 bytes +6‎ disambiguating a link undo

17 September 2017

• curprev 04:3004:30, 17 September 2017‎ KolbertBot talk contribs‎ m 6,104 bytes +1‎ Bot: HTTP→HTTPS undo

5 November 2016

• curprev 16:5516:55, 5 November 2016‎ Narky Blert talk contribs‎ 6,103 bytes +25‎ DN tag undo

25 June 2015

• curprev 00:2700:27, 25 June 2015‎ 141.216.167.251 talk‎ 6,078 bytes −5‎ No edit summary undo
• curprev 00:2700:27, 25 June 2015‎ 141.216.167.251 talk‎ 6,083 bytes +5‎ No edit summary undo

5 May 2014

• curprev 12:3212:32, 5 May 2014‎ Yobot talk contribs‎ m 6,078 bytes −98‎ WP:CHECKWIKI error fixes using AWB (10093) undo

5 February 2014

• curprev 22:5622:56, 5 February 2014‎ AnomieBOT talk contribs‎ m 6,176 bytes +19‎ Dating maintenance tags: {{Cn}} undo
• curprev 22:3522:35, 5 February 2014‎ Someone not using his real name talk contribs‎ 6,157 bytes +6‎ would be nice to have a ref for the actual award (as opposed to the original paper) for this claim undo

13 September 2013

• curprev 18:2618:26, 13 September 2013‎ BG19bot talk contribs‎ 6,151 bytes −16‎ →‎Examples: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9479) undo

11 September 2013

• curprev 00:5400:54, 11 September 2013‎ Michaelkifer talk contribs‎ 6,167 bytes −14‎ →‎Examples undo
• curprev 00:5300:53, 11 September 2013‎ Michaelkifer talk contribs‎ m 6,181 bytes 0‎ →‎Examples undo
• curprev 00:5300:53, 11 September 2013‎ Michaelkifer talk contribs‎ m 6,181 bytes +1‎ →‎Examples undo
• curprev 00:5200:52, 11 September 2013‎ Michaelkifer talk contribs‎ 6,180 bytes +734‎ More examples, typo fixes. undo

10 September 2013

• curprev 22:5422:54, 10 September 2013‎ Michaelkifer talk contribs‎ 5,446 bytes +808‎ No edit summary undo
• curprev 22:3822:38, 10 September 2013‎ Michaelkifer talk contribs‎ 4,638 bytes −14‎ No edit summary undo
• curprev 22:3622:36, 10 September 2013‎ Michaelkifer talk contribs‎ 4,652 bytes +99‎ No edit summary undo

2 September 2013

• curprev 05:3105:31, 2 September 2013‎ Michaelkifer talk contribs‎ 4,553 bytes +1‎ No edit summary undo
• curprev 05:2805:28, 2 September 2013‎ Michaelkifer talk contribs‎ 4,552 bytes +300‎ No edit summary undo

17 August 2013

• curprev 22:0122:01, 17 August 2013‎ BG19bot talk contribs‎ m 4,252 bytes −7‎ WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9421) undo
• curprev 04:4004:40, 17 August 2013‎ Michaelkifer talk contribs‎ 4,259 bytes +22‎ No edit summary undo
• curprev 04:3504:35, 17 August 2013‎ Michaelkifer talk contribs‎ m 4,237 bytes +29‎ No edit summary undo
• curprev 04:0304:03, 17 August 2013‎ Michaelkifer talk contribs‎ m 4,208 bytes −27‎ No edit summary undo
• curprev 03:1703:17, 17 August 2013‎ Michaelkifer talk contribs‎ m 4,235 bytes −25‎ No edit summary undo
• curprev 00:4000:40, 17 August 2013‎ Michaelkifer talk contribs‎ m 4,260 bytes −5‎ No edit summary undo
• curprev 00:3400:34, 17 August 2013‎ Michaelkifer talk contribs‎ 4,265 bytes +112‎ No edit summary undo
• curprev 00:3000:30, 17 August 2013‎ Michaelkifer talk contribs‎ m 4,153 bytes +8‎ No edit summary undo

16 August 2013

• curprev 03:3603:36, 16 August 2013‎ Michaelkifer talk contribs‎ m 4,145 bytes +30‎ fixed a reference undo
• curprev 03:3403:34, 16 August 2013‎ Michaelkifer talk contribs‎ 4,115 bytes +2,608‎ No edit summary undo

7 October 2012

• curprev 12:1312:13, 7 October 2012‎ 83.99.28.132 talk‎ 1,507 bytes +309‎ Fixed reference, Added reference, Added link to CiteSeer (from which the PDFs can be had) undo

18 April 2010

• curprev 16:4716:47, 18 April 2010‎ CBM talk contribs‎ 1,198 bytes +6‎ Stub sorting - {{comp-sci-theory-stub}} undo

18 August 2007

• curprev 00:0100:01, 18 August 2007‎ Hotfeba talk contribs‎ m 1,192 bytes −4‎ dropped link to hypothetical updating; may tackle later undo

17 August 2007

• curprev 23:5123:51, 17 August 2007‎ Hotfeba talk contribs‎ 1,196 bytes +1,196‎ ←Created page with ''''Transaction logic''' is an extension of predicate logic with both declarative and procedural semantics that describe state changes in [[logic programming...'