Jump to content

Talk:Conjunctive normal form: 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 22:5922:59, 30 January 2024 Cewbot talk contribs m 6,738 bytes +23 Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 18:0718:07, 19 January 2024 94.103.211.82 talk 6,715 bytes +400 →converting into CNF: new section undo Tags: Mobile edit Mobile app edit Android app edit

curprev 16:0516:05, 9 March 2019 Wxhtxdy talk contribs 6,315 bytes +177 →Method remains unclear: new section undo Tags: Mobile edit Mobile web edit

curprev 13:4713:47, 16 May 2017 LilHelpa talk contribs 6,138 bytes +143 →Typo?: Redices? undo

curprev 12:2012:20, 5 December 2013 ChrisGualtieri talk contribs m 5,995 bytes +1 Article Class assessment using AWB undo

curprev 19:5619:56, 28 December 2012 82.24.239.152 talk 5,994 bytes +325 No edit summary undo

curprev 17:0117:01, 6 December 2011 AshutoshJuve talk contribs 5,669 bytes +179 →Merge undo

curprev 16:4816:48, 29 September 2011 Olleicua talk contribs 5,490 bytes +141 No edit summary undo

curprev 20:2320:23, 29 January 2011 Blaisorblade talk contribs 5,349 bytes +312 →incomplete definition?: The two definitions both exist, please fix the page! undo

curprev 07:3207:32, 10 November 2010 SineBot talk contribs m 5,037 bytes +298 Signing comment by Loki411 - "→Converting from first-order logic - missing 2nd step: new section" undo
curprev 07:3107:31, 10 November 2010 Loki411 talk contribs 4,739 bytes +160 →Converting from first-order logic - missing 2nd step: new section undo

curprev 10:2410:24, 24 January 2010 Bayle Shanks talk contribs m 4,579 bytes +26 →Distribute ANDs over ORs? undo
curprev 10:2310:23, 24 January 2010 Bayle Shanks talk contribs 4,553 bytes +303 →Distribute ANDs over ORs?: new section undo

curprev 12:5812:58, 14 February 2008 Tizio talk contribs 4,250 bytes +397 →Single clauses.: some other changes undo

curprev 12:5312:53, 13 February 2008 CBM talk contribs 3,853 bytes +603 →Single clauses.: c undo
curprev 11:3611:36, 13 February 2008 Poromenos talk contribs m 3,250 bytes +417 →Single clauses.: new section undo

curprev 03:0103:01, 3 January 2008 CBM talk contribs 2,833 bytes +3 fix incomplete math rating template undo

curprev 04:5204:52, 2 January 2008 Gregbard talk contribs m 2,830 bytes +10 logic undo

curprev 09:2509:25, 8 October 2007 Gregbard talk contribs m 2,820 bytes +24 logic --> philosophy using AWB undo

curprev 05:3805:38, 31 July 2007 SatyrBot talk contribs m 2,796 bytes +25 SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project undo

curprev 21:2121:21, 6 February 2006 Tizio talk contribs 2,771 bytes +420 →incomplete definition?: source? undo
curprev 21:0521:05, 6 February 2006 Fresheneesz talk contribs 2,351 bytes 0 →incomplete definition? undo
curprev 20:4920:49, 6 February 2006 68.6.112.70 talk 2,351 bytes +474 No edit summary undo

curprev 13:5013:50, 2 January 2006 Tizio talk contribs m 1,877 bytes +101 →Inquiry: answer (signature) undo
curprev 13:5013:50, 2 January 2006 Tizio talk contribs m 1,776 bytes −18 →Inquiry: answer undo
curprev 13:4913:49, 2 January 2006 Tizio talk contribs 1,794 bytes +558 →Inquiry: answer undo
curprev 06:4806:48, 2 January 2006 Stux talk contribs 1,236 bytes +523 Inquiry undo

curprev 15:2515:25, 16 December 2005 Tizio talk contribs 713 bytes +390 4-sat undo

curprev 20:4620:46, 28 May 2005 Gubbubu talk contribs m 323 bytes +48 No edit summary undo
curprev 20:4420:44, 28 May 2005 Gubbubu talk contribs 275 bytes 0 No edit summary undo
curprev 20:4320:43, 28 May 2005 Gubbubu talk contribs 275 bytes +275 No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Talk:Conjunctive_normal_form"