Jump to content

Quantified Boolean formula problem: 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 05:1605:16, 19 February 2008 Radagast83 talk contribs 45 bytes −3,839 completed merger undo

curprev 16:4016:40, 4 October 2007 DerHexer talk contribs m 3,884 bytes +3,661 Reverted edits by 86.141.35.139 (talk) to last version by Michael Hardy undo
curprev 16:4016:40, 4 October 2007 86.141.35.139 talk 223 bytes −3,661 ←Replaced page with 'there i was siting in a dusbin<nowiki>Insert non-formatted text here</nowiki> [[Media:Media:Example.ogg[[Media:Media:Example.ogg[[Media:[[Media:Example.ogg...' undo

curprev 21:2121:21, 26 July 2007 Michael Hardy talk contribs 3,884 bytes 0 No edit summary undo
curprev 21:2121:21, 26 July 2007 Michael Hardy talk contribs m 3,884 bytes 0 No edit summary undo

curprev 22:1922:19, 8 May 2007 Gdr talk contribs 3,884 bytes 0 Boolean has a capital B undo
curprev 22:1822:18, 8 May 2007 Gdr talk contribs m 3,884 bytes 0 moved Quantified boolean formula problem to Quantified Boolean formula problem: Boolean has a capital B (eponym) undo
curprev 11:5711:57, 8 May 2007 Gdr talk contribs 3,884 bytes −3 oops undo
curprev 11:5611:56, 8 May 2007 Gdr talk contribs 3,887 bytes +110 reference format; category; debold complexity classes undo

curprev 13:3513:35, 7 April 2007 Bot-Schafter talk contribs m 3,777 bytes +69 robot Adding: de:Erfüllbarkeitsproblem für quantifizierte boolesche Formeln undo

curprev 20:3920:39, 31 March 2007 SmackBot talk contribs m 3,708 bytes +16 Date/fix maintenance tags undo
curprev 19:1719:17, 31 March 2007 Michael Fourman talk contribs 3,692 bytes +44 merge? undo
curprev 19:0619:06, 31 March 2007 Michael Fourman talk contribs m 3,648 bytes −1 were >> was (gramattical agreement) undo

curprev 03:0203:02, 5 March 2007 150.203.215.191 talk 3,649 bytes −75 removed Benedetti's link to his own web page undo

curprev 23:4423:44, 29 August 2006 SmackBot talk contribs m 3,724 bytes −71 ISBN formatting &/or general fixes using AWB undo

curprev 20:1520:15, 27 May 2006 83.27.236.106 talk 3,795 bytes +6 No edit summary undo
curprev 17:4117:41, 27 May 2006 83.27.236.106 talk 3,789 bytes −3 No edit summary undo

curprev 17:0817:08, 6 March 2006 130.251.7.122 talk 3,792 bytes +75 →External links undo

curprev 22:1922:19, 3 March 2006 Nakon talk contribs m 3,717 bytes +3,471 Reverted edits by 24.233.187.37 (talk) to last version by 217.172.65.223 undo
curprev 22:1922:19, 3 March 2006 24.233.187.37 talk 246 bytes −3,471 No edit summary undo

curprev 15:2215:22, 30 January 2006 217.172.65.223 talk 3,717 bytes −23 →External links undo

curprev 16:3616:36, 8 December 2005 Zeno Gantner talk contribs m 3,740 bytes +1 No edit summary undo

curprev 19:2419:24, 15 November 2005 Pretzelpaws talk contribs 3,739 bytes +33 use def of PSPACE from its article since the original def given here was wrong undo

curprev 02:2602:26, 13 October 2005 Karmastan talk contribs m 3,706 bytes +64 Change reference format undo

curprev 22:0822:08, 10 October 2005 ForgeGod talk contribs 3,642 bytes +25 No edit summary undo

curprev 14:1014:10, 17 September 2005 151.100.59.2 talk 3,617 bytes +173 →External links undo

curprev 07:5507:55, 1 June 2005 71.112.22.41 talk 3,444 bytes +259 A link undo

Retrieved from "https://en.wikipedia.org/wiki/Quantified_Boolean_formula_problem"