Jump to content

Deep inference: 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 08:4008:40, 4 March 2024 C7XWiki talk contribs 1,939 bytes 0 Capitalization undo

curprev 14:5814:58, 3 January 2024 82.25.27.218 talk 1,939 bytes +27 No edit summary undo

curprev 06:1806:18, 27 August 2022 Carchasm talk contribs 1,912 bytes +31 Added {{Technical}} tag: not possible to understand if you dont already know what it is undo Tag: Twinkle

curprev 23:4623:46, 23 July 2022 BD2412 talk contribs m 1,881 bytes −2 Clean up spacing errors around commas and other punctuation., replaced: ) , → ), undo Tag: AWB

curprev 19:2319:23, 6 January 2021 Ancheta Wis talk contribs 1,883 bytes +1 →Further reading: point to Brünnler pdf undo

curprev 08:3708:37, 6 June 2017 Magic links bot talk contribs m 1,882 bytes +4 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 06:2406:24, 4 January 2017 Arley82 talk contribs 1,878 bytes +143 No edit summary undo

curprev 02:1802:18, 11 December 2012 Yobot talk contribs m 1,735 bytes +1 clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (8792) undo

curprev 13:3113:31, 30 June 2012 79.112.27.75 talk 1,734 bytes +2 No edit summary undo
curprev 13:1413:14, 30 June 2012 79.112.27.75 talk 1,732 bytes +23 No edit summary undo
curprev 13:1213:12, 30 June 2012 79.112.27.75 talk 1,709 bytes +62 No edit summary undo

curprev 05:0005:00, 31 October 2010 Gregbard talk contribs m 1,647 bytes +23 Adding category Category:Inference (using HotCat) undo

curprev 23:4423:44, 13 November 2008 Michael Hardy talk contribs 1,624 bytes +23 link undo

curprev 07:3107:31, 10 July 2008 207.241.238.217 talk 1,601 bytes +398 add some extlinks (they are good) undo

curprev 06:2606:26, 7 May 2008 66.31.254.88 talk 1,203 bytes +1 No edit summary undo

curprev 04:1704:17, 12 February 2008 Gregbard talk contribs m 1,202 bytes +4 formal system using AWB undo

curprev 14:2914:29, 21 July 2007 CBM talk contribs 1,198 bytes −4 switch stub type undo

curprev 13:3013:30, 18 September 2005 Silverfish talk contribs m 1,202 bytes +5 Stub-sorting. You can help! undo

curprev 00:0900:09, 15 May 2005 Oleg Alexandrov talk contribs 1,197 bytes +26 Category:Proof theory undo

curprev 17:1317:13, 14 May 2005 Steinsky talk contribs m 1,171 bytes +6 Stub-sorting. You can help!. undo

curprev 01:5201:52, 7 December 2004 Chalst talk contribs m 1,165 bytes +11 typos undo

curprev 23:1723:17, 6 December 2004 Chalst talk contribs 1,154 bytes +1,154 new!

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