Jump to content

Talk:Satisfiability: 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 03:2203:22, 9 February 2024 Cewbot talk contribs m 37,290 bytes +1 Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Mathematics}}, {{WikiProject Philosophy}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 22:1422:14, 30 May 2023 Carchasm talk contribs 37,289 bytes +23 Assessment (Start): Mathematics, Philosophy (Rater) undo

curprev 17:3517:35, 24 February 2022 MalnadachBot talk contribs m 37,266 bytes +2 Fixed Lint errors. (Task 12) undo Tag: AWB

curprev 23:3723:37, 31 October 2021 Caleb Stanford talk contribs 37,264 bytes +7 →Lead rewrite -- October 2021: clarify undo Tag: 2017 wikitext editor
curprev 23:3623:36, 31 October 2021 Caleb Stanford talk contribs 37,257 bytes 0 →Lead rewrite -- October 2021: tweaks undo Tag: 2017 wikitext editor
curprev 23:3223:32, 31 October 2021 Caleb Stanford talk contribs 37,257 bytes +1,116 →Lead rewrite -- October 2021: new section undo Tag: New topic

curprev 20:2220:22, 27 January 2016 Mlhetland talk contribs m 36,141 bytes +782 Clarification. undo
curprev 20:1620:16, 27 January 2016 Jochen Burghardt talk contribs 35,359 bytes +359 →co-NP-complete without negation? undo
curprev 20:0920:09, 27 January 2016 Jochen Burghardt talk contribs 35,000 bytes +711 →co-NP-complete without negation? undo
curprev 19:5219:52, 27 January 2016 Mlhetland talk contribs 34,289 bytes +1,009 →co-NP-complete without negation?: new section undo

curprev 17:3417:34, 22 July 2014 2001:4898:80e0:ee43::3 talk 33,280 bytes +412 →satisfiability *is not* a semi-decidable problem for FOL undo

curprev 07:2307:23, 10 October 2012 Juan Manuel Dato talk contribs 32,868 bytes −25 →satisfiablity, theories, etc. undo
curprev 07:2207:22, 10 October 2012 Juan Manuel Dato talk contribs 32,893 bytes −50 →satisfiablity, theories, etc. undo
curprev 07:2207:22, 10 October 2012 Juan Manuel Dato talk contribs 32,943 bytes +1,269 →satisfiablity, theories, etc. undo

curprev 12:0012:00, 21 July 2012 CBM talk contribs 31,674 bytes +179 →satisfiability *is not* a semi-decidable problem for FOL: right undo
curprev 10:4510:45, 21 July 2012 91.57.52.115 talk 31,495 bytes +369 →satisfiability *is not* a semi-decidable problem for FOL: Add a link for verification. undo

curprev 13:3213:32, 30 May 2012 FactorialG talk contribs 31,126 bytes +416 →satisfiability *is not* a semi-decidable problem for FOL undo

curprev 11:4411:44, 23 June 2011 CBM talk contribs 30,710 bytes +1,233 →Satisfiability: r undo
curprev 03:4303:43, 23 June 2011 Linas talk contribs 29,477 bytes +1,273 →Satisfiability undo
curprev 03:0103:01, 23 June 2011 Linas talk contribs 28,204 bytes +889 →Satisfiability undo

curprev 03:5303:53, 22 June 2011 CBM talk contribs 27,315 bytes +1,588 →Satisfiability: c undo
curprev 03:4303:43, 22 June 2011 Linas talk contribs 25,727 bytes +88 →Satisfiability: and completeness too .. undo
curprev 03:3303:33, 22 June 2011 Linas talk contribs 25,639 bytes +1,828 →Satisfiability undo

curprev 01:0301:03, 19 June 2011 Hans Adler talk contribs 18,794 bytes +670 →Satisfiability: ps undo
curprev 00:4200:42, 19 June 2011 Hans Adler talk contribs 18,124 bytes +1,633 →Satisfiability: comment undo

curprev 22:0322:03, 13 June 2011 Linas talk contribs 5,175 bytes +84 →satisfiablity, theories, etc. undo
curprev 21:5921:59, 13 June 2011 Linas talk contribs 5,091 bytes +490 →satisfiablity, theories, etc.: new section undo

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