Jump to content

Talk:Satisfiability modulo theories: 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 06:1306:13, 8 May 2025 Sustik talk contribs 7,252 bytes +229 →Terminology and examples: new section undo Tag: New topic

curprev 02:0702:07, 17 June 2024 Cewbot talk contribs 7,023 bytes −125 Reminder of an inactive anchor: Remove 1 notification undo

curprev 21:3721:37, 24 January 2024 Qwerfjkl (bot) talk contribs 7,148 bytes +31 Implementing WP:PIQA (Task 26) undo Tag: Talk banner shell conversion

curprev 23:3923:39, 3 February 2023 Cewbot talk contribs 7,117 bytes +124 Reminder of an inactive anchor: interval constraint propagation undo

curprev 05:0405:04, 11 December 2021 Caleb Stanford talk contribs 6,993 bytes +361 →CVC4 redirect: r undo Tag: 2017 wikitext editor

curprev 19:2219:22, 9 December 2021 Jochen Burghardt talk contribs 6,632 bytes +271 →CVC4 redirect undo
curprev 16:5316:53, 9 December 2021 Caleb Stanford talk contribs 6,361 bytes +292 →CVC4 redirect: r undo Tag: 2017 wikitext editor
curprev 16:4216:42, 9 December 2021 Caleb Stanford talk contribs 6,069 bytes +544 →CVC4 redirect: new section undo Tag: New topic

curprev 23:4423:44, 18 April 2021 PrimeBOT talk contribs m 5,525 bytes −65 →top: Task 24 - replacing a template following a TFD (plus genfixes/cleanup) undo Tag: AWB

curprev 09:4909:49, 20 October 2020 Planetwrench talk contribs 5,590 bytes +823 →relation to constraint programming? undo

curprev 05:0705:07, 28 November 2016 Jarble talk contribs 4,767 bytes +10 No edit summary undo

curprev 00:5800:58, 10 October 2016 Jarble talk contribs 4,757 bytes +81 linking to sources for this article undo

curprev 15:1115:11, 26 February 2015 Ruud Koot talk contribs m 4,676 bytes 0 Ruud Koot moved page Talk:Satisfiability Modulo Theories to Talk:Satisfiability modulo theories: captitalization undo

curprev 23:0623:06, 1 January 2013 SineBot talk contribs m 4,676 bytes +298 Signing comment by 67.198.70.33 - "" undo
curprev 23:0523:05, 1 January 2013 67.198.70.33 talk 4,378 bytes +317 No edit summary undo

curprev 21:0021:00, 15 June 2011 Linas talk contribs 4,061 bytes +617 No edit summary undo

curprev 21:1121:11, 11 June 2011 Clconway talk contribs 3,444 bytes +665 →Relation to answer set programming ?: resp undo

curprev 19:3519:35, 9 June 2011 Linas talk contribs 2,779 bytes +614 →Relation to answer set programming ?: new section undo

curprev 08:4808:48, 22 February 2011 SineBot talk contribs m 2,165 bytes +298 Signing comment by 87.5.110.199 - "" undo
curprev 08:4708:47, 22 February 2011 87.5.110.199 talk 1,867 bytes +161 No edit summary undo

curprev 01:3301:33, 15 March 2010 Eclecticos talk contribs 1,706 bytes +242 →relation to constraint programming?: new section undo

curprev 03:2403:24, 11 October 2008 Clconway talk contribs 1,464 bytes +249 →Basic terminology: resp undo

curprev 13:1613:16, 9 October 2008 194.39.218.10 talk 1,215 bytes +303 →Basic terminology undo

curprev 16:5316:53, 8 October 2008 Clconway talk contribs 912 bytes +315 →Basic terminology: response in re decidability undo

curprev 16:2816:28, 7 October 2008 Borishollas talk contribs 597 bytes +348 SMT and decidability undo

curprev 14:1514:15, 6 June 2008 Clconway talk contribs 249 bytes +249 CVC merge

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