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