Fagin's theorem: 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 05:4105:41, 1 April 2024 David Eppstein talk contribs 5,319 bytes +614 supply requested citation undo

curprev 15:1515:15, 30 November 2023 Andy02124 talk contribs m 4,705 bytes −1 sfn fix (spelling) undo
curprev 10:3010:30, 30 November 2023 AnomieBOT talk contribs m 4,706 bytes +19 Dating maintenance tags: {{Citation needed}} undo
curprev 10:0910:09, 30 November 2023 Felix QW talk contribs m 4,687 bytes +4 Typo undo Tag: 2017 wikitext editor
curprev 10:0910:09, 30 November 2023 Felix QW talk contribs 4,683 bytes +93 Light-touch conversion of Harvard inline referencing to shortened footnotes. undo Tag: 2017 wikitext editor

curprev 00:5500:55, 4 July 2023 David Eppstein talk contribs 4,590 bytes +4 +wl undo
curprev 00:4300:43, 4 July 2023 Citation bot talk contribs 4,586 bytes +17 Alter: journal. Add: s2cid. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 13:0813:08, 2 May 2023 ActivelyDisinterested talk contribs 4,569 bytes −10 Resolving Category:Harv and Sfn no-target errors. Harvtxt variables need to match |last= and |date= (or |year= if used) undo
curprev 03:0503:05, 2 May 2023 Renamed user g5s6n3yi8z7g08cs talk contribs m 4,579 bytes −16 →References: twk undo

curprev 20:4420:44, 1 May 2023 Roberto Cuerva talk contribs 4,595 bytes +325 Add reference to Lynch's theorem undo

curprev 06:1406:14, 17 January 2023 David Eppstein talk contribs 4,270 bytes +113 →Proof: ce undo

curprev 07:1107:11, 2 February 2022 David Eppstein talk contribs 4,157 bytes +485 listgap; templatize ref to match the others undo
curprev 05:4005:40, 2 February 2022 Thatsme314 talk contribs m 3,672 bytes −5 →References: removed extraneous "Vol." undo

curprev 20:0820:08, 8 June 2020 ArnoldReinhold talk contribs 3,677 bytes +102 Adding short description: "Set of all properties in existential 2nd order logic is the complexity class NP" (Shortdesc helper) undo

curprev 05:0605:06, 23 May 2020 David Eppstein talk contribs 3,575 bytes +35 →References: Descriptive Complexity undo

curprev 06:4506:45, 19 March 2019 David Eppstein talk contribs 3,506 bytes +77 I think that stating this as the start of descriptive complexity in the lead is a good idea, but the description of descriptive complexity (by what it is not) is not a good one. undo

curprev 22:4622:46, 18 March 2019 Chalst talk contribs 3,429 bytes +14 →top: Reword lead paragraph to say it is oldest descriptive complexity result undo

curprev 14:2614:26, 8 April 2017 67.247.255.142 talk 3,415 bytes −1 →Proof: Removed spurious comma. undo

curprev 20:0420:04, 29 June 2016 Tom.Reding talk contribs m 3,416 bytes −26 →Further reading: Rem stub tag(s) (class = non-stub & non-list) using AWB undo

curprev 08:1108:11, 9 July 2015 Edward talk contribs m 3,442 bytes +5 link non-deterministic Turing machine undo

curprev 08:1208:12, 20 March 2015 195.37.61.178 talk 3,437 bytes −20 No edit summary undo

curprev 15:1715:17, 1 January 2015 Ott2 talk contribs m 3,457 bytes +29 →Further reading: add link undo

curprev 07:2407:24, 14 September 2014 David Eppstein talk contribs m 3,428 bytes 0 →Further reading: fix Maarten Marx's name undo
curprev 06:5806:58, 14 September 2014 David Eppstein talk contribs 3,428 bytes +658 →Proof: rewrite to avoid first person, clarify what is being proved undo

curprev 21:1821:18, 8 September 2014 Deltahedron talk contribs 2,770 bytes +43 →See also: Spectrum of a sentence undo

curprev 09:4609:46, 2 September 2014 Deltahedron talk contribs 2,727 bytes +565 →Further reading: Grädel et al (2007) undo

curprev 21:0021:00, 14 March 2013 Addbot talk contribs m 2,162 bytes −50 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q2226670 undo

curprev 04:3004:30, 28 August 2012 David Eppstein talk contribs 2,212 bytes +11 Category:Theorems in computational complexity theory undo

curprev 02:3702:37, 28 October 2011 EmausBot talk contribs m 2,201 bytes +22 r2.6.4) (Robot: Adding de:Satz von Fagin undo

curprev 19:0919:09, 15 October 2011 RDBury talk contribs 2,179 bytes +46 Add cat undo

curprev 04:3304:33, 26 July 2011 A3nm talk contribs m 2,133 bytes +23 +link undo

curprev 22:3522:35, 16 March 2011 Michael Hardy talk contribs 2,110 bytes +4 link undo

curprev 03:1503:15, 28 May 2010 Ptbotgourou talk contribs m 2,106 bytes +28 robot Adding: fr:Théorème de Fagin undo

curprev 03:1703:17, 9 January 2010 Michael Hardy talk contribs 2,078 bytes +6 →References: endash undo
curprev 03:1703:17, 9 January 2010 Michael Hardy talk contribs 2,072 bytes +33 →Proof: math notation improvements; see WP:MOSMATH undo
curprev 03:1603:16, 9 January 2010 Michael Hardy talk contribs m 2,039 bytes −2 No edit summary undo

curprev 14:4714:47, 25 December 2009 Simeon talk contribs 2,041 bytes +43 No edit summary undo

curprev 01:5801:58, 26 August 2009 RobinK talk contribs m 1,998 bytes +7 No edit summary undo

curprev 16:3516:35, 12 August 2009 165.95.17.163 talk 1,991 bytes +313 →Proof undo

curprev 06:4406:44, 22 July 2009 75.61.110.220 talk 1,678 bytes −2 If a theorem is significant enough to be bold, it's significant enough to deserve link (not in bold) undo

curprev 21:5621:56, 7 June 2009 84.48.62.159 talk 1,680 bytes +26 →Proof undo

curprev 17:2017:20, 14 December 2008 Citation bot talk contribs m 1,654 bytes −1 Updating page numbers after recent improvement to Template:Cite book. Formatted: pages. undo

curprev 02:5702:57, 13 November 2008 Altenmann talk contribs 1,655 bytes −8 Category:Descriptive complexity undo

curprev 22:5422:54, 7 November 2008 Lightbot talk contribs 1,663 bytes −4 Date audit per mosnum/overlink/Other undo

curprev 13:4513:45, 31 March 2008 Kingturtle talk contribs 1,667 bytes −29 -{{Orphan|date=August 2006}} undo

1 April 2024

30 November 2023

4 July 2023

2 May 2023

1 May 2023

17 January 2023

2 February 2022

8 June 2020

23 May 2020

14 July 2019

19 March 2019

18 March 2019

8 April 2017

29 June 2016

9 July 2015

20 March 2015

1 January 2015

14 September 2014

8 September 2014

2 September 2014

14 March 2013

28 August 2012

28 October 2011

15 October 2011

26 July 2011

16 March 2011

28 May 2010

9 January 2010

25 December 2009

26 August 2009

12 August 2009

22 July 2009

7 June 2009

14 December 2008

13 November 2008

7 November 2008

31 March 2008