Jump to content

Talk:Davis–Putnam algorithm: 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 14:0114:01, 31 January 2024 Cewbot talk contribs m 3,851 bytes −12 Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Computing}}, {{Maths rating}}. Remove 2 deprecated parameters: field, historical. undo Tag: Talk banner shell conversion

curprev 01:1601:16, 22 June 2016 BU RoBOT talk contribs m 3,863 bytes +17 →top: Auto-assessment of article class. Editors are encouraged to manually assess articles. See User:BU_RoBOT/autoassess for more info. undo

curprev 21:3421:34, 21 May 2015 Jochen Burghardt talk contribs 3,846 bytes −12 →Sloppy algorithm description undo
curprev 21:3321:33, 21 May 2015 Jochen Burghardt talk contribs 3,858 bytes +81 →Sloppy algorithm description undo
curprev 21:3021:30, 21 May 2015 Jochen Burghardt talk contribs 3,777 bytes +72 →Sloppy algorithm description undo
curprev 21:2821:28, 21 May 2015 Jochen Burghardt talk contribs 3,705 bytes +1,677 →Technical undo

curprev 12:1312:13, 25 October 2008 C S talk contribs 2,028 bytes −13 No edit summary undo
curprev 12:1212:12, 25 October 2008 C S talk contribs 2,041 bytes +363 No edit summary undo

curprev 19:0319:03, 8 October 2008 Blaisorblade talk contribs 1,678 bytes +397 Add {{technical}} undo

curprev 00:5300:53, 30 August 2008 Linas talk contribs 1,281 bytes +142 →Move? undo

curprev 10:2010:20, 25 June 2008 TinucherianBot talk contribs 1,139 bytes +45 WP:COMP Tagging ! (False Postive ?? ) :(Plugin++) Added {{WikiProject Computing}}. undo

curprev 12:3212:32, 26 May 2008 Algebraist talk contribs 1,094 bytes +157 →Move?: again undo
curprev 12:3112:31, 26 May 2008 Algebraist talk contribs m 937 bytes 0 moved Talk:Davis-Putnam algorithm to Talk:Davis–Putnam algorithm: en dash not hyphen, per WP:MOSDASH undo

curprev 19:5519:55, 15 October 2007 Treinen talk contribs m 937 bytes +1 →Move? undo

curprev 15:3215:32, 18 August 2007 SatyrBot talk contribs m 936 bytes −24 SatyrBot removing WP:Logic banner per project decision. undo

curprev 05:2605:26, 31 July 2007 SatyrBot talk contribs m 960 bytes +24 SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project undo

curprev 21:0721:07, 1 June 2007 Geometry guy talk contribs 936 bytes +89 Add maths rating/Comments using AWB undo

curprev 16:2516:25, 19 March 2007 Tizio talk contribs m 847 bytes −61 updated sig undo

curprev 20:4920:49, 19 October 2006 Stephan Schulz talk contribs m 908 bytes 0 moved Talk:Davis–Putnam algorithm to Talk:Davis-Putnam algorithm: Moved back to typable and expected name. See talk. undo

curprev 11:0911:09, 15 September 2006 Tizio talk contribs 908 bytes +299 ok undo

curprev 06:4806:48, 7 September 2006 Stephan Schulz talk contribs 609 bytes +609 Move?

Retrieved from "https://en.wikipedia.org/wiki/Talk:Davis–Putnam_algorithm"