Jump to content

FO (complexity): 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 21:2621:26, 15 February 2022 Felix QW talk contribs 61 bytes −15,293 Merged content to Descriptive complexity theory. See the discussion at Talk:Descriptive complexity theory. undo Tags: New redirect 2017 wikitext editor

curprev 11:4311:43, 14 February 2022 Felix QW talk contribs 15,354 bytes −1 Changed merge tag undo Tag: 2017 wikitext editor

curprev 19:2419:24, 6 February 2022 AnomieBOT talk contribs m 15,355 bytes −4 Dating maintenance tags: {{Merge to}} undo
curprev 19:0419:04, 6 February 2022 Felix QW talk contribs 15,359 bytes +66 Added merge tag undo Tag: 2017 wikitext editor

curprev 09:4309:43, 31 January 2022 Felix QW talk contribs 15,293 bytes −33 removed Category:Finite model theory using HotCat Is already in subcategory undo

curprev 05:0505:05, 23 May 2020 David Eppstein talk contribs 15,326 bytes +36 Descriptive Complexity undo

curprev 08:3608:36, 18 April 2020 OAbot talk contribs m 15,290 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 15:4015:40, 31 October 2019 Bellowhead678 talk contribs 15,274 bytes +4 →Transitive closure is NL: link undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 15:3915:39, 31 October 2019 Bellowhead678 talk contribs m 15,270 bytes +1 cosure->closure - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 18:1318:13, 28 September 2019 2001:67c:10ec:5784:8000::32b talk 15,269 bytes +6 Make clause more readable undo
curprev 18:0918:09, 28 September 2019 2001:67c:10ec:5784:8000::32b talk 15,263 bytes +24 Define bit(x,k) more precisely undo

curprev 16:5116:51, 22 August 2019 134.59.11.233 talk 15,239 bytes +27 →Formally undo
curprev 16:4216:42, 22 August 2019 134.59.11.233 talk 15,212 bytes +8 →The idea undo

curprev 10:4610:46, 15 August 2019 InternetArchiveBot talk contribs 15,204 bytes +43 Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta15) undo

curprev 09:3509:35, 2 August 2019 Nemo bis talk contribs 15,161 bytes −66 Removed URL that duplicated unique identifier. | You can use this tool yourself. Report bugs here. undo

curprev 15:0815:08, 10 February 2019 Citation bot talk contribs m 15,227 bytes −2 Alter: isbn, issue, template type. Add: citeseerx, year. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 23:0923:09, 21 December 2017 2001:569:7615:3800:782e:471e:72d6:cfe7 talk 15,229 bytes 0 →Operators: Changed FO() to FO[] when referring to iteration undo

curprev 17:4117:41, 24 November 2017 Dan Gluck talk contribs 15,229 bytes +3 →Warning: boolean values => boolean variables undo

curprev 17:5317:53, 28 October 2017 JCW-CleanerBot talk contribs m 15,226 bytes −7 task, replaced: Journal of the ACM (JACM) → Journal of the ACM using AWB undo

curprev 10:3810:38, 27 May 2017 A3nm talk contribs 15,233 bytes +751 →Least Fixed Point is P: give reference to theorem undo Tag: 2017 wikitext editor

curprev 17:3717:37, 16 December 2016 2a02:c7f:c005:9f00:74e8:66b3:877c:c3b7 talk 14,482 bytes +31 →Normal form undo
curprev 17:2617:26, 16 December 2016 2a02:c7f:c005:9f00:74e8:66b3:877c:c3b7 talk 14,451 bytes +1 →Formally undo
curprev 17:1717:17, 16 December 2016 2a02:c7f:c005:9f00:74e8:66b3:877c:c3b7 talk 14,450 bytes +15 No edit summary undo
curprev 17:1417:14, 16 December 2016 2a02:c7f:c005:9f00:74e8:66b3:877c:c3b7 talk 14,435 bytes −2 →FO without any operators undo

curprev 03:0303:03, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 14,437 bytes 0 No edit summary undo

curprev 02:5502:55, 30 September 2016 Cedar101 talk contribs 14,437 bytes +34 it has become popular in recent years to write the names of complexity classes in a sans serif (non-italic) font undo

curprev 16:1316:13, 11 June 2016 Imperialfists talk contribs 14,403 bytes +3 →Normal form: Missing "by" undo Tags: Mobile edit Mobile web edit

curprev 10:2310:23, 28 April 2016 CBM talk contribs 14,400 bytes −17 Undo mathematics formatting changes undo
curprev 07:2007:20, 28 April 2016 Cedar101 talk contribs m 14,417 bytes +150 \mathrm undo
curprev 06:4806:48, 28 April 2016 Cedar101 talk contribs m 14,267 bytes +13 →Logic without arithmetical relations: : {{math}} undo
curprev 06:4406:44, 28 April 2016 Cedar101 talk contribs m 14,254 bytes −146 {{math}}, {{mvar}} undo

curprev 22:4522:45, 11 March 2016 J. Finkelstein talk contribs m 14,400 bytes 0 →FO without any operators: fixes typos: alternative -> alternating, decapitalizes undo

curprev 04:5304:53, 14 January 2016 GünniX talk contribs m 14,400 bytes +4 →Logics without successor: ISSN using AWB undo

curprev 00:0900:09, 13 January 2016 24.212.193.99 talk 14,396 bytes +2 →Iterating undo

curprev 22:5122:51, 27 May 2015 Fmarkqiao talk contribs 14,394 bytes −6 →Logic without arithmetical relations undo
curprev 22:5022:50, 27 May 2015 Fmarkqiao talk contribs 14,400 bytes +6 →Logics without successor undo

curprev 15:2215:22, 18 May 2015 BD2412 talk contribs m 14,394 bytes +32 minor fixes, mostly disambig links using AWB undo

curprev 11:1111:11, 1 January 2015 Ott2 talk contribs 14,362 bytes +7 →External links: fix URL undo

curprev 11:0311:03, 30 July 2014 Juancarlosgolos talk contribs m 14,355 bytes −1 →Deterministic transitive closure is L undo
curprev 11:0211:02, 30 July 2014 Juancarlosgolos talk contribs 14,356 bytes 0 →Deterministic transitive closure is L undo
curprev 11:0111:01, 30 July 2014 Juancarlosgolos talk contribs 14,356 bytes +3 →Iterating undo

curprev 07:3907:39, 14 July 2014 Ott2 talk contribs 14,353 bytes −61 copy-edit undo
curprev 07:1307:13, 14 July 2014 Ott2 talk contribs 14,414 bytes −5 correct undo

curprev 23:5523:55, 4 April 2014 David Eppstein talk contribs 14,419 bytes −74 rm expert tag undo
curprev 23:5523:55, 4 April 2014 David Eppstein talk contribs 14,493 bytes +69 →The idea: clarify per talk undo

curprev 22:0122:01, 14 February 2014 Deltahedron talk contribs m 14,424 bytes −2 better undo

curprev 00:3300:33, 13 February 2014 Mild Bill Hiccup talk contribs m 14,426 bytes 0 →Formally: spelling; person undo

curprev 13:4713:47, 13 November 2013 2001:6a0:5001:3:ec6c:d14b:9790:21bf talk 14,426 bytes 0 →Partial fixed point is PSPACE: correction undo

curprev 09:5509:55, 7 November 2013 Magioladitis talk contribs m 14,426 bytes 0 clean up using AWB (9585) undo

curprev 08:1908:19, 5 November 2013 Bgwhite talk contribs m 14,426 bytes −1 Do general fixes and cleanup. -, typo(s) fixed: beeing → being using AWB (9587) undo

Retrieved from "https://en.wikipedia.org/wiki/FO_(complexity)"