Satisfiability: Revision history

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 18:4518:45, 26 November 2022‎ CharredShorthand talk contribs‎ 12,317 bytes +52‎ Adding local short description: "Concept in mathematical logic", overriding Wikidata description "elementary concept of semantics" undo Tag: Shortdesc helper

curprev 21:4821:48, 9 October 2022‎ Elestrophe talk contribs‎ 12,265 bytes +20‎ →‎Finite satisfiability: Fix incorrect example of theory undo
curprev 15:0815:08, 9 October 2022‎ Elestrophe talk contribs‎ 12,245 bytes +191‎ Fix definition of satisfiability in a first order theory. Update reference to more recent edition since that's the edition I have access to. undo Tag: references removed

curprev 00:5300:53, 26 August 2022‎ Mgkrupa talk contribs‎ 12,054 bytes +23‎ Added {{Mathematical logic}} undo

curprev 16:3116:31, 16 July 2022‎ InternetArchiveBot talk contribs‎ 12,031 bytes +127‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.8) (Ost316 - 10389 undo

curprev 07:2107:21, 14 April 2022‎ Adig-pt talk contribs‎ m 11,904 bytes +4‎ link Ofer Strichman using Find link (uncontroversial COI edit) undo

curprev 00:3300:33, 2 November 2021‎ Caleb Stanford talk contribs‎ 11,900 bytes −17‎ →‎See also: remove irrelevant link undo Tag: 2017 wikitext editor

curprev 15:4115:41, 1 November 2021‎ Caleb Stanford talk contribs‎ 11,917 bytes +1‎ theory != set of formulas undo Tag: 2017 wikitext editor
curprev 14:5414:54, 1 November 2021‎ Caleb Stanford talk contribs‎ 11,916 bytes +345‎ tweak + add example satisfiable theory undo Tag: 2017 wikitext editor

curprev 23:2623:26, 31 October 2021‎ Caleb Stanford talk contribs‎ 11,571 bytes −3‎ tweaks undo Tag: 2017 wikitext editor
curprev 23:2523:25, 31 October 2021‎ Caleb Stanford talk contribs‎ 11,574 bytes +943‎ Rewrite lead to be nontechnical undo Tag: 2017 wikitext editor

curprev 15:5415:54, 21 August 2021‎ Jochen Burghardt talk contribs‎ 10,631 bytes −191‎ Undid revision 1039863042 by 14.201.252.149 (talk): misleading at best undo Tag: Undo
curprev 06:5106:51, 21 August 2021‎ 14.201.252.149 talk‎ 10,822 bytes +191‎ elaborating on a point on the relationship between unsatisfiability and invalid undo Tag: Reverted

curprev 17:0717:07, 18 August 2021‎ 82.196.111.14 talk‎ 10,631 bytes −3‎ →‎Reduction of validity to satisfiability: not true -> false undo Tags: Mobile edit Mobile web edit

curprev 00:4500:45, 20 July 2021‎ WikiCleanerBot talk contribs‎ m 10,634 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 10:4510:45, 8 July 2021‎ AnomieBOT talk contribs‎ m 10,634 bytes +15‎ Dating maintenance tags: {{Clarify span}} undo
curprev 10:2410:24, 8 July 2021‎ Jochen Burghardt talk contribs‎ 10,619 bytes +161‎ →‎Numerical constraints undo

curprev 20:1920:19, 7 July 2021‎ Vkuncak talk contribs‎ m 10,458 bytes +53‎ →‎Numerical constraints: Citation to polynomials over reals undo
curprev 20:1520:15, 7 July 2021‎ Vkuncak talk contribs‎ 10,405 bytes +344‎ Added citations and links for recursively RE and co-RE undo
curprev 19:3319:33, 7 July 2021‎ Vkuncak talk contribs‎ m 10,061 bytes +143‎ Additional links and minor clarifications. undo

curprev 13:5913:59, 17 April 2021‎ 46.142.14.131 talk‎ 9,918 bytes −1‎ Fixed definition of unsatisfiable and invalid theories in the preamble (wrong since 06/2009) undo

curprev 06:5806:58, 24 March 2021‎ Jochen Burghardt talk contribs‎ 9,919 bytes +13‎ Undid revision 1013883327 by 185.150.234.15 (talk) undo Tag: Undo

curprev 23:5923:59, 23 March 2021‎ 185.150.234.15 talk‎ 9,906 bytes −13‎ No edit summary undo Tag: Reverted

curprev 16:5516:55, 18 December 2020‎ Tom.Reding talk contribs‎ m 9,919 bytes +67‎ Enum 3 author/editor WLs; WP:GenFixes on undo Tag: AWB

curprev 17:5617:56, 23 November 2020‎ 66.31.42.113 talk‎ 9,852 bytes +2‎ link fix undo

curprev 23:4023:40, 2 November 2020‎ Citation bot talk contribs‎ 9,850 bytes −68‎ Alter: url, id. URLs might have been internationalized/anonymized. Add: isbn. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 895/2860 undo

curprev 23:4023:40, 4 October 2020‎ David Eppstein talk contribs‎ 9,918 bytes +27‎ Christel Baier undo

curprev 22:1222:12, 26 January 2020‎ 193.61.207.158 talk‎ 9,891 bytes +5‎ →‎Satisfiability in model theory: Changed "If φ has no variables" to "If φ has no free variables" because atomic sentences are allowed to have variables, but no free variables. undo

curprev 17:1417:14, 27 November 2019‎ Jochen Burghardt talk contribs‎ 9,886 bytes −4‎ →‎Satisfiability in first-order logic: rm redundant link undo
curprev 13:0613:06, 27 November 2019‎ Corovo talk contribs‎ 9,890 bytes +16‎ →‎Satisfiability in first-order logic: Fixing reference to the *theorems* that proved the undecidability of the Entscheidungsproblem undo

curprev 19:0319:03, 17 January 2019‎ 47.16.146.149 talk‎ 9,874 bytes +29‎ →‎Satisfiability in first-order logic: link David Hilbert, Church Turing thesis undo

curprev 23:3623:36, 1 January 2019‎ Jarble talk contribs‎ 9,845 bytes +125‎ adding links to references using Google Scholar undo

curprev 12:2812:28, 30 August 2018‎ RussBot talk contribs‎ m 9,720 bytes +34‎ Robot: fix links to disambiguation page Validity undo

curprev 16:2316:23, 28 June 2017‎ Edwardx talk contribs‎ 9,686 bytes +4‎ wikilink(s) added undo

curprev 11:4811:48, 20 June 2017‎ CBM talk contribs‎ m 9,682 bytes +8‎ Manually reviewed edit to replace magic words per local rfc undo

curprev 06:0706:07, 9 July 2016‎ Omni Flames talk contribs‎ m 9,674 bytes −101‎ Reverted edits by 2003:6D:6E5B:1000:E149:257C:6D1A:9C28 (talk): Violation of external links policy (HG) (3.1.20) undo
curprev 06:0506:05, 9 July 2016‎ 2003:6d:6e5b:1000:e149:257c:6d1a:9c28 talk‎ 9,775 bytes +101‎ →‎See also undo

curprev 01:5801:58, 10 June 2016‎ Dcirovic talk contribs‎ m 9,674 bytes +43‎ refs using AWB undo

curprev 19:3119:31, 1 May 2016‎ 194.96.185.133 talk‎ 9,631 bytes +4‎ →‎Satisfiability in model theory: fix theory symbol T undo

curprev 13:3413:34, 31 March 2016‎ AnomieBOT talk contribs‎ m 9,627 bytes +16‎ Dating maintenance tags: {{Technical}} undo
curprev 13:1413:14, 31 March 2016‎ Pacerier talk contribs‎ 9,611 bytes +13‎ No edit summary undo

curprev 08:4308:43, 18 December 2015‎ Yobot talk contribs‎ m 9,598 bytes 0‎ →‎Numerical constraints: WP:CHECKWIKI error fixes using AWB (11757) undo

curprev 16:5916:59, 26 May 2015‎ BD2412 talk contribs‎ m 9,598 bytes +32‎ →‎Finite satisfiability: minor fixes, mostly disambig links using AWB undo

curprev 10:1310:13, 3 May 2015‎ Matěj Grabovský talk contribs‎ m 9,566 bytes −239‎ →‎Numerical constraints: use {{rp}} undo

26 November 2022

9 October 2022

26 August 2022

16 July 2022

14 April 2022

2 November 2021

1 November 2021

31 October 2021

21 August 2021

18 August 2021

20 July 2021

8 July 2021

7 July 2021

17 April 2021

24 March 2021

23 March 2021

18 December 2020

23 November 2020

2 November 2020

4 October 2020

26 January 2020

27 November 2019

17 January 2019

1 January 2019

30 August 2018

28 June 2017

20 June 2017

9 July 2016

10 June 2016

1 May 2016

31 March 2016

18 December 2015

26 May 2015

3 May 2015

7 February 2015