Computability logic: Revision history

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 18:0818:08, 3 January 2025 Ai777 talk contribs m 19,293 bytes +94 Added short description undo Tags: Mobile edit Mobile app edit iOS app edit App description add

curprev 23:4923:49, 16 May 2024 David Eppstein talk contribs 19,199 bytes −20 →As a problem specification tool: dab undo

curprev 22:3222:32, 20 February 2024 ShelfSkewed talk contribs 19,219 bytes +44 →As a problem specification tool: disambiguation needed on predicate undo

curprev 22:0522:05, 18 January 2024 Citation bot talk contribs 19,175 bytes 0 Misc citation tidying. | Use this bot. Report bugs. | Suggested by Abductive | Category:Computability theory | #UCB_Category 94/100 undo

curprev 01:3301:33, 17 January 2024 ShelfSkewed talk contribs 19,175 bytes +17 (disambiguation) redirect for intentional link to dab page, per WP:INTDABLINK undo Tag: Disambiguation links added

curprev 14:2514:25, 10 January 2024 157.193.240.238 talk 19,158 bytes +528 No edit summary undo Tag: Disambiguation links added

curprev 15:0215:02, 9 April 2023 96.44.72.58 talk 18,630 bytes +4 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 17:4417:44, 19 April 2021 RealFakeKim talk contribs 18,626 bytes −43 Unicodifying undo Tag: AWB

curprev 14:1814:18, 7 December 2020 TheoLaLeo talk contribs m 18,669 bytes +60 →reword to avoid odd word "resp" undo Tag: Visual edit

curprev 17:5817:58, 29 October 2020 Eyebeller talk contribs m 18,609 bytes −11 Reverted edits by 162.217.48.118 (talk): disruptive edits (HG) (3.4.10) undo Tag: Rollback
curprev 17:5817:58, 29 October 2020 162.217.48.118 talk 18,620 bytes +11 →Semantics undo Tag: Reverted

curprev 19:3819:38, 29 May 2020 Bender235 talk contribs m 18,609 bytes 0 →External links: Replaced arXiv PDF link with more mobile-friendly abstract link, replaced: https://arxiv.org/pdf/ → https://arxiv.org/abs/ undo Tag: AWB
curprev 15:4715:47, 29 May 2020 Bender235 talk contribs 18,609 bytes −9,586 Wikipedia is not the right place for an indiscriminate bibliography undo
curprev 15:3015:30, 29 May 2020 Bender235 talk contribs 28,195 bytes −194 URLs fixed, article tagged undo

curprev 18:0318:03, 25 May 2020 Beland talk contribs m 28,389 bytes −108 convert special characters (via WP:JWB) undo

curprev 07:5207:52, 23 May 2020 Beland talk contribs m 28,497 bytes −6 convert special characters (via WP:JWB) undo

curprev 16:3116:31, 16 February 2020 2001:861:3ac0:4fa0:91ba:5d1d:88f9:25e4 talk 28,503 bytes +4 No edit summary undo

curprev 09:4209:42, 13 February 2020 InternetArchiveBot talk contribs 28,499 bytes +86 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0) (GreenC - 5273 undo
curprev 04:3604:36, 13 February 2020 GreenC bot talk contribs 28,413 bytes +82 Rescued 2 archive links; reformat 2 links; Move 2 urls. Wayback Medic 2.5 undo

curprev 21:3121:31, 13 December 2019 Asvarga talk contribs m 28,331 bytes +1 Fixed a typo undo Tag: Visual edit

curprev 04:2604:26, 19 November 2019 Octavo talk contribs 28,330 bytes −43 adjust prev. edit undo Tags: Visual edit Mobile edit Mobile web edit
curprev 04:2504:25, 19 November 2019 Octavo talk contribs 28,373 bytes +164 Add arXiv link to computability PDF, since Japaridze's site's subpages are down for me undo Tags: Visual edit Mobile edit Mobile web edit

curprev 06:4406:44, 20 July 2019 Beland talk contribs m 28,209 bytes −183 convert special characters (via WP:JWB) undo

curprev 21:0121:01, 14 April 2019 75.172.10.219 talk 28,392 bytes 0 No edit summary undo

curprev 17:5217:52, 20 January 2019 Edom7 talk contribs m 28,392 bytes −503 Simplify language undo Tag: Visual edit: Switched

curprev 04:3504:35, 6 August 2018 InternetArchiveBot talk contribs 28,895 bytes +135 Rescuing 3 sources and tagging 0 as dead. #IABot (v2.0beta5) undo

curprev 04:5004:50, 3 March 2018 Dawnseeker2000 talk contribs 28,760 bytes −748 Typo fixing, MOS:DASH, WP:ORDER, link maintenance, typo(s) fixed: so called → so-called using AWB undo

curprev 04:0204:02, 5 September 2017 InternetArchiveBot talk contribs 29,508 bytes +34 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.5) undo

curprev 11:2311:23, 28 August 2017 KolbertBot talk contribs m 29,474 bytes +4 Bot: HTTP→HTTPS undo

curprev 20:1820:18, 11 August 2017 InternetArchiveBot talk contribs 29,470 bytes +74 Rescuing 0 sources and tagging 1 as dead. #IABot (v1.5beta) undo

curprev 18:5418:54, 4 May 2017 72.182.60.18 talk 29,396 bytes −8 simplify section headings undo

curprev 05:2805:28, 17 December 2016 Anaszt5 talk contribs 29,404 bytes +13,447 added sections "Language", "Semantics", "CoL as a problem specification tool" and "CoL as a problem solving tool" undo

curprev 22:4322:43, 17 October 2016 Rathfelder talk contribs 15,957 bytes −19 not a stub undo

curprev 02:4202:42, 8 October 2016 Anaszt5 talk contribs 15,976 bytes +788 No edit summary undo
curprev 02:0802:08, 8 October 2016 CBM talk contribs 15,188 bytes −32 →References: If it's in the category for computability, it should generally not be in the parent cat for mathematical logic, or the parent cat gets too cluttered undo
curprev 01:5801:58, 8 October 2016 Anaszt5 talk contribs 15,220 bytes +2,657 Updated content; tagged with "mathlogic-stub". undo

curprev 03:5303:53, 7 October 2016 Anaszt5 talk contribs 12,563 bytes +1 P.S. in previous edit, expanded the references list. It did not contain anything published since 2010. Used Japaridze's homepage as source. undo
curprev 03:3403:34, 7 October 2016 Anaszt5 talk contribs 12,562 bytes +5,447 →References undo

curprev 07:2007:20, 1 June 2016 2001:da8:8001:5802::80 talk 7,115 bytes −58 Removed formatting error undo

curprev 05:4705:47, 16 March 2016 2601:602:c701:ae00:88d3:5856:5a7c:87b5 talk 7,173 bytes +21 No edit summary undo

curprev 09:1309:13, 10 March 2016 BG19bot talk contribs m 7,152 bytes −16 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

curprev 23:0223:02, 7 December 2015 183.239.194.55 talk 7,168 bytes 0 No edit summary undo

curprev 02:1602:16, 16 April 2015 86.127.138.67 talk 7,168 bytes +36 No edit summary undo

curprev 15:5215:52, 8 October 2014 STyx talk contribs m 7,132 bytes −2 fr->en undo

curprev 02:2602:26, 27 April 2013 Strike Eagle talk contribs m 7,134 bytes −218 Reverted edit(s) by Luiz Vasconcelos Filho identified as test/vandalism using STiki undo

curprev 21:5621:56, 26 April 2013 Luiz Vasconcelos Filho talk contribs 7,352 bytes +218 No edit summary undo

curprev 06:4406:44, 13 March 2013 Addbot talk contribs m 7,134 bytes −27 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5157263 undo

curprev 15:0015:00, 12 January 2013 92.226.23.111 talk 7,161 bytes 0 No edit summary undo

curprev 17:2217:22, 9 November 2012 213.122.22.90 talk 7,161 bytes +7 →References undo

curprev 18:2618:26, 8 November 2012 128.114.60.41 talk 7,154 bytes −196 →References: broken url undo

3 January 2025

16 May 2024

20 February 2024

18 January 2024

17 January 2024

10 January 2024

9 April 2023

19 April 2021

7 December 2020

29 October 2020

29 May 2020

25 May 2020

23 May 2020

16 February 2020

13 February 2020

13 December 2019

19 November 2019

20 July 2019

14 April 2019

20 January 2019

6 August 2018

3 March 2018

5 September 2017

28 August 2017

11 August 2017

4 May 2017

17 December 2016

17 October 2016

8 October 2016

7 October 2016

1 June 2016

16 March 2016

10 March 2016

7 December 2015

16 April 2015

8 October 2014

27 April 2013

26 April 2013

13 March 2013

12 January 2013

9 November 2012

8 November 2012