Jump to content

Sahlqvist formula: 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 13:2113:21, 18 March 2024‎ 157.193.240.146 talk‎ 5,270 bytes +54‎ No edit summary undo

curprev 08:0508:05, 12 October 2016‎ 129.125.138.54 talk‎ 5,216 bytes +21‎ Link to article about Henrik Sahlqvist. undo

curprev 16:0416:04, 21 April 2015‎ Michael Hardy talk contribs‎ 5,195 bytes +4‎ Punctuation corrections required by WP:MOS. undo

curprev 02:5902:59, 17 January 2015‎ Ben Standeven talk contribs‎ 5,191 bytes −11‎ →‎Examples of non-Sahlqvist formulas: oops... undo
curprev 02:5602:56, 17 January 2015‎ Ben Standeven talk contribs‎ m 5,202 bytes −4‎ →‎Examples of non-Sahlqvist formulas: that looks ugly undo
curprev 02:5502:55, 17 January 2015‎ Ben Standeven talk contribs‎ m 5,206 bytes +5‎ →‎Examples of non-Sahlqvist formulas: consistency undo
curprev 02:5302:53, 17 January 2015‎ Ben Standeven talk contribs‎ 5,201 bytes +210‎ →‎Examples of non-Sahlqvist formulas: explain the first-order form of the axiom here. undo

curprev 15:5715:57, 27 June 2014‎ Eusebius talk contribs‎ m 4,991 bytes +1‎ Undid revision 614634157 by 80.99.220.9 (talk) http://en.wiktionary.org/wiki/formula#Noun undo
curprev 13:3713:37, 27 June 2014‎ 80.99.220.9 talk‎ 4,990 bytes −1‎ →‎Definition undo

curprev 12:2912:29, 13 March 2013‎ Addbot talk contribs‎ m 4,991 bytes −29‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q3077634 undo

curprev 15:1615:16, 14 September 2012‎ 189.140.204.125 talk‎ 5,020 bytes +21‎ →‎Examples of Sahlqvist formulas: right unbounded is also called serial undo

curprev 16:5416:54, 2 May 2012‎ 85.130.107.83 talk‎ 4,999 bytes +3‎ →‎Definition undo
curprev 16:5016:50, 2 May 2012‎ 85.130.107.83 talk‎ 4,996 bytes +1‎ →‎Definition undo

curprev 20:2920:29, 30 April 2012‎ 81.108.148.74 talk‎ 4,995 bytes +94‎ →‎Examples of Sahlqvist formulas: Added equivalent \Box frame conditions for transitive & dense frames undo

curprev 15:2415:24, 28 April 2012‎ ChrisGualtieri talk contribs‎ m 4,901 bytes −15‎ TypoScan Project / General Fixes, typos fixed: et. al. → ''et al.'' (2) using AWB undo

curprev 04:4704:47, 27 March 2012‎ Philonick talk contribs‎ 4,916 bytes −35‎ →‎Examples of non-Sahlqvist formulas undo

curprev 11:4811:48, 6 June 2010‎ 146.50.45.96 talk‎ 4,951 bytes +80‎ →‎Definition undo

curprev 09:1909:19, 5 June 2010‎ 146.50.45.96 talk‎ 4,871 bytes +2‎ →‎Kracht's theorem undo
curprev 09:1909:19, 5 June 2010‎ 146.50.45.96 talk‎ 4,869 bytes −2‎ →‎Examples of non-Sahlqvist formulas undo
curprev 09:1809:18, 5 June 2010‎ 146.50.45.96 talk‎ 4,871 bytes +747‎ Added info on Kracht's theorem undo

curprev 09:5609:56, 1 May 2009‎ EmilJ talk contribs‎ m 2,416 bytes 0‎ →‎Examples of non-Sahlqvist formulae: fix undo

curprev 20:0520:05, 30 April 2009‎ 145.116.8.59 talk‎ 2,416 bytes 0‎ →‎Examples of non-Sahlqvist formulae undo

curprev 21:5721:57, 28 August 2007‎ Eusebius talk contribs‎ m 2,416 bytes +30‎ interwiki link undo

curprev 17:4117:41, 12 February 2006‎ EmilJ talk contribs‎ m 2,386 bytes −1‎ apostrophes, -as/ae undo
curprev 17:2917:29, 12 February 2006‎ EmilJ talk contribs‎ m 2,387 bytes −4‎ rv undo
curprev 08:3708:37, 12 February 2006‎ 85.187.160.203 talk‎ 2,391 bytes +4‎ →‎Examples of non-Sahlqvist formulae undo

curprev 15:0415:04, 7 November 2005‎ Chalst talk contribs‎ 2,387 bytes +16‎ →‎Examples of non-Sahlqvist formulae: cite undo
curprev 15:0215:02, 7 November 2005‎ Chalst talk contribs‎ 2,371 bytes +921‎ standardise refs, add examples undo

curprev 12:0312:03, 13 October 2004‎ Chalst talk contribs‎ 1,450 bytes +490‎ +thm +refs undo

curprev 10:4310:43, 1 October 2004‎ EmilJ talk contribs‎ m 960 bytes 0‎ No edit summary undo

curprev 19:3419:34, 30 September 2004‎ Chalst talk contribs‎ m 960 bytes −14‎ svereal minor changes undo
curprev 19:3119:31, 30 September 2004‎ Chalst talk contribs‎ 974 bytes +6‎ <>cat undo

curprev 10:0610:06, 22 August 2004‎ EmilJ talk contribs‎ m 968 bytes +25‎ No edit summary undo

curprev 15:2115:21, 21 August 2004‎ Charles Matthews talk contribs‎ m 943 bytes +1‎ wording undo
curprev 15:0815:08, 21 August 2004‎ EmilJ talk contribs‎ 942 bytes +942‎ new page

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