Dialectica space: Revision history

6 March 2024

• curprev 00:1400:14, 6 March 2024‎ Jlwoodwa talk contribs‎ m 1,672 bytes +24‎ →‎References: {{refbegin}} undo

30 August 2022

• curprev 10:0010:00, 30 August 2022‎ 151.47.240.69 talk‎ 1,648 bytes +22‎ No edit summary undo

24 December 2021

• curprev 17:2617:26, 24 December 2021‎ 1234qwer1234qwer4 talk contribs‎ m 1,626 bytes +15‎ +{{Logic-stub}} using StubSorter undo

11 June 2021

• curprev 15:5715:57, 11 June 2021‎ TJohnH talk contribs‎ m 1,611 bytes 0‎ No edit summary undo Tag: 2017 wikitext editor

25 March 2016

• curprev 09:3409:34, 25 March 2016‎ BG19bot talk contribs‎ m 1,611 bytes +2‎ Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

25 July 2015

• curprev 00:5400:54, 25 July 2015‎ David Eppstein talk contribs‎ 1,609 bytes +4‎ link Valeria de Paiva undo

10 November 2012

• curprev 22:2822:28, 10 November 2012‎ Gregbard talk contribs‎ m 1,605 bytes +24‎ Logical consequence using AWB undo

30 September 2011

• curprev 01:5001:50, 30 September 2011‎ 63.81.0.20 talk‎ 1,581 bytes +218‎ →‎References: added correct reference undo
• curprev 01:4701:47, 30 September 2011‎ 63.81.0.20 talk‎ 1,363 bytes +87‎ No edit summary undo

16 May 2009

• curprev 10:0010:00, 16 May 2009‎ Rich Farmbrough talk contribs‎ m 1,276 bytes +1‎ →‎References: clean up- spelling of "et al." using AWB undo

16 December 2008

• curprev 11:2411:24, 16 December 2008‎ 28421u2232nfenfcenc talk contribs‎ m 1,275 bytes +1,267‎ Reverted edits by Helper911 (talk) to last version by Charles Matthews undo
• curprev 11:2311:23, 16 December 2008‎ Helper911 talk contribs‎ m 8 bytes −1,267‎ ←Replaced content with 'we think' undo

29 September 2007

• curprev 18:5218:52, 29 September 2007‎ Charles Matthews talk contribs‎ m 1,275 bytes +8‎ No edit summary undo

31 August 2007

• curprev 13:5513:55, 31 August 2007‎ Linas talk contribs‎ m 1,267 bytes +59‎ add wikilinks undo

21 July 2007

• curprev 14:1214:12, 21 July 2007‎ 24.4.253.105 talk‎ 1,208 bytes 0‎ No edit summary undo

20 July 2007

• curprev 16:3916:39, 20 July 2007‎ Cronholm144 talk contribs‎ m 1,208 bytes +1‎ umlaut undo
• curprev 16:0916:09, 20 July 2007‎ Valeria.depaiva talk contribs‎ 1,207 bytes −1‎ No edit summary undo
• curprev 15:5715:57, 20 July 2007‎ Valeria.depaiva talk contribs‎ 1,208 bytes −1‎ No edit summary undo
• curprev 15:4215:42, 20 July 2007‎ Valeria.depaiva talk contribs‎ 1,209 bytes +1‎ No edit summary undo
• curprev 15:3415:34, 20 July 2007‎ Valeria.depaiva talk contribs‎ 1,208 bytes +221‎ No edit summary undo

18 July 2007

• curprev 03:2603:26, 18 July 2007‎ Michael Hardy talk contribs‎ 987 bytes +232‎ reference undo
• curprev 03:2503:25, 18 July 2007‎ Michael Hardy talk contribs‎ m 755 bytes 0‎ moved Dialectica spaces to Dialectica space undo
• curprev 03:2303:23, 18 July 2007‎ Michael Hardy talk contribs‎ 755 bytes −368‎ I don't think speedy deletion is warranted in this case. undo
• curprev 03:1903:19, 18 July 2007‎ Michael Hardy talk contribs‎ m 1,123 bytes +27‎ No edit summary undo
• curprev 02:4502:45, 18 July 2007‎ Cronholm144 talk contribs‎ 1,096 bytes +368‎ Proposing article for deletion per WP:PROD. using TW undo

17 July 2007

• curprev 14:1714:17, 17 July 2007‎ 13.0.211.9 talk‎ 728 bytes 0‎ No edit summary undo
• curprev 14:1414:14, 17 July 2007‎ 13.0.211.9 talk‎ 728 bytes +4‎ No edit summary undo
• curprev 14:1114:11, 17 July 2007‎ 13.0.211.9 talk‎ 724 bytes −1‎ No edit summary undo
• curprev 14:0814:08, 17 July 2007‎ 13.0.211.9 talk‎ 725 bytes −63‎ No edit summary undo
• curprev 13:5913:59, 17 July 2007‎ 13.0.211.9 talk‎ 788 bytes +47‎ No edit summary undo
• curprev 13:5013:50, 17 July 2007‎ 13.0.211.9 talk‎ 741 bytes −10‎ No edit summary undo
• curprev 05:3705:37, 17 July 2007‎ Valeria.depaiva talk contribs‎ 751 bytes +4‎ No edit summary undo
• curprev 05:3605:36, 17 July 2007‎ Valeria.depaiva talk contribs‎ 747 bytes −2‎ No edit summary undo
• curprev 05:3605:36, 17 July 2007‎ Valeria.depaiva talk contribs‎ 749 bytes +2‎ No edit summary undo
• curprev 05:3205:32, 17 July 2007‎ Valeria.depaiva talk contribs‎ 747 bytes −59‎ No edit summary undo
• curprev 05:2305:23, 17 July 2007‎ Valeria.depaiva talk contribs‎ 806 bytes +806‎ ←Created page with ''''Dialectica spaces''' are a categorical way of constructing models of Linear Logic. They were introduced by de Paiva, M. Hyland's student, in her docto...'