Jump to content

Proof compression: Revision history

View logs for this page (view filter log)

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 23:2223:22, 12 February 2024 BD2412 talk contribs m 6,250 bytes −4 clean up spacing around commas and other punctuation fixes, replaced: ,b → , b (8), ,c → , c (3), ,p → , p (5), ; → ; (4) undo Tag: AWB

curprev 18:4718:47, 16 October 2023 2a02:1812:110c:dc00:b986:5d5e:97f8:8b78 talk 6,254 bytes +10 No edit summary undo

curprev 06:2406:24, 18 March 2022 Citation bot talk contribs 6,244 bytes +22 Add: website. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 253/299 undo

curprev 15:3215:32, 26 January 2022 BrownHairedGirl talk contribs 6,222 bytes +117 Cleanup cite template: extracted original URL from 1 ref archived at archive.today undo Tag: AWB

curprev 02:0802:08, 14 January 2022 Citation bot talk contribs 6,105 bytes +91 Add: title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 94/2196 undo

curprev 06:1706:17, 2 January 2021 Calisthenis talk contribs m 6,014 bytes 0 No edit summary undo

curprev 17:5117:51, 17 August 2020 GreenC bot talk contribs 6,014 bytes −34 Rescued 1 archive link; reformat 2 links. Wayback Medic 2.5 undo

curprev 15:3915:39, 6 August 2019 Jarble talk contribs 6,048 bytes +183 adding links to references using Google Scholar undo

curprev 07:3807:38, 2 April 2018 InternetArchiveBot talk contribs 5,865 bytes +73 Rescuing 0 sources and tagging 1 as dead. #IABot (v1.6.5) undo

curprev 03:1703:17, 30 June 2016 Tom.Reding talk contribs m 5,792 bytes −21 →Notes: Rem stub tag(s) (class = non-stub & non-list) using AWB undo

curprev 12:1912:19, 1 October 2015 188.220.130.231 talk 5,813 bytes +1 →Problem Representation undo

curprev 06:3706:37, 6 October 2014 BG19bot talk contribs m 5,812 bytes −3 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (10469) undo

curprev 19:0919:09, 5 October 2014 Mark viking talk contribs 5,815 bytes −6 →Problem Representation: fix equation formatting undo
curprev 19:0419:04, 5 October 2014 Mark viking talk contribs 5,821 bytes +6 Create separate algorithms section replace lists by sentences undo

curprev 18:3718:37, 2 July 2014 LilHelpa talk contribs m 5,815 bytes −7 →Problem Representation: Typos and general fixes, typo(s) fixed: , → , using AWB undo

curprev 17:4317:43, 5 March 2014 Ezequiel234 talk contribs m 5,822 bytes +3 →Problem Representation undo
curprev 17:3117:31, 5 March 2014 Ezequiel234 talk contribs m 5,819 bytes +199 minor changes undo
curprev 03:4703:47, 5 March 2014 Ezequiel234 talk contribs 5,620 bytes +3,425 Adding examples and definitions for the problem representation undo

curprev 17:0017:00, 26 October 2013 ChrisGualtieri talk contribs m 2,195 bytes −17 General Fixes using AWB undo

curprev 12:1512:15, 24 February 2013 Ceilican talk contribs 2,212 bytes +20 Fix link to disambiguation page undo

curprev 16:5916:59, 23 February 2013 Ceilican talk contribs 2,192 bytes 0 Fix links undo
curprev 16:5716:57, 23 February 2013 Ceilican talk contribs 2,192 bytes +25 Change link texts for two algorithms undo
curprev 16:4916:49, 23 February 2013 Ceilican talk contribs 2,167 bytes +594 Add a few more algorithms undo

curprev 17:4617:46, 4 April 2012 Michael Hardy talk contribs 1,573 bytes +39 No edit summary undo

curprev 19:3519:35, 16 March 2012 Michael Hardy talk contribs 1,534 bytes +2 punctuation correction undo
curprev 19:3519:35, 16 March 2012 Michael Hardy talk contribs 1,532 bytes 0 No edit summary undo
curprev 18:2218:22, 16 March 2012 Ceilican talk contribs 1,532 bytes +19 Disambiguated: resolution → resolution (logic) undo

Retrieved from "https://en.wikipedia.org/wiki/Proof_compression"