Jump to content

Predicate abstraction: 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:1814:18, 29 September 2023 92.40.217.2 talk 1,523 bytes +65 No edit summary undo

curprev 08:3308:33, 28 February 2023 Paradoctor talk contribs m 1,458 bytes +2 MOS:BOLDREDIR undo
curprev 08:3108:31, 28 February 2023 Paradoctor talk contribs m 1,456 bytes 0 fix undo
curprev 08:3108:31, 28 February 2023 Paradoctor talk contribs m 1,456 bytes +12 +anchor undo

curprev 16:5416:54, 17 February 2021 Botterweg talk contribs 1,444 bytes +19 stub sorting undo

curprev 11:0211:02, 8 September 2013 Yobot talk contribs m 1,425 bytes −1 Categories more at one line and/or other fixes using AWB (9466) undo

curprev 02:5602:56, 26 April 2013 Ohconfucius talk contribs 1,426 bytes −4 Script-assisted style fixes: mainly linking undo

curprev 16:3916:39, 19 November 2012 BD2412 talk contribs 1,430 bytes +23 Disambiguated: sentence → sentence (linguistics) undo

curprev 14:1314:13, 8 October 2012 Nortexoid talk contribs 1,407 bytes +50 Q needn't be an open sentence with x free. undo

curprev 18:0218:02, 25 January 2012 42.3.204.104 talk 1,357 bytes 0 small typo (switching places of x, t) undo

curprev 06:5406:54, 20 August 2011 Gamewizard71 talk contribs 1,357 bytes −19 removed Category:Logic using HotCat undo

curprev 09:2009:20, 22 March 2010 193.40.12.10 talk 1,376 bytes 0 BUG? undo

curprev 05:4705:47, 14 January 2007 Sdorrance talk contribs m 1,376 bytes +18 Disambiguation, link to Predicate undo

curprev 19:2019:20, 28 December 2006 Nortexoid talk contribs 1,358 bytes +52 →References undo
curprev 00:5400:54, 28 December 2006 Canley talk contribs 1,306 bytes −6 added category undo

curprev 19:4219:42, 2 October 2006 Bluebot talk contribs 1,312 bytes −2 tagged, added uncategorised tag undo

curprev 02:5902:59, 26 September 2006 Velho talk contribs 1,314 bytes +4 No edit summary undo
curprev 02:5902:59, 26 September 2006 Velho talk contribs 1,310 bytes +36 No edit summary undo

curprev 15:4615:46, 10 June 2006 Ancheta Wis talk contribs 1,274 bytes +60 links. Supplied a missing ( undo

curprev 04:0304:03, 28 November 2005 Nortexoid talk contribs 1,214 bytes −198 No edit summary undo

curprev 19:4719:47, 27 November 2005 Nortexoid talk contribs m 1,412 bytes +3 No edit summary undo
curprev 19:4719:47, 27 November 2005 Nortexoid talk contribs m 1,409 bytes +38 intro undo

curprev 05:4105:41, 22 November 2005 Nortexoid talk contribs m 1,371 bytes 0 swapped de re/dicto def'n undo

curprev 20:1220:12, 20 November 2005 Nortexoid talk contribs 1,371 bytes 0 variable relettering! undo
curprev 20:1220:12, 20 November 2005 Nortexoid talk contribs m 1,371 bytes +1 variable relettering undo
curprev 20:0720:07, 20 November 2005 Nortexoid talk contribs 1,370 bytes +1,370 start

Retrieved from "https://en.wikipedia.org/wiki/Predicate_abstraction"