Jump to content

Craig interpolation: 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 20:4820:48, 24 July 2024 GeneralPoxter talk contribs 8,391 bytes −4 →Proof of Craig's interpolation theorem: Use proof template undo

curprev 17:2717:27, 29 January 2023 OAbot talk contribs m 8,395 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 14:3114:31, 11 December 2021 Citation bot talk contribs 8,379 bytes +83 Alter: pages, isbn, publisher. Add: s2cid, pages, doi, year. Formatted dashes. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 157/207 undo

curprev 11:5711:57, 6 June 2021 213.119.8.88 talk 8,296 bytes +47 No edit summary undo

curprev 14:3014:30, 7 November 2019 87.100.188.42 talk 8,249 bytes −47 →Proof of Craig's interpolation theorem: The base case of the proof made simpler and more readable, a bit. undo

curprev 17:3217:32, 31 May 2019 31.49.9.254 talk 8,296 bytes −3 No edit summary undo
curprev 17:3117:31, 31 May 2019 31.49.9.254 talk 8,299 bytes +65 No edit summary undo
curprev 17:2817:28, 31 May 2019 31.49.9.254 talk 8,234 bytes +105 No edit summary undo
curprev 16:2616:26, 31 May 2019 31.49.9.254 talk 8,129 bytes +344 No edit summary undo

curprev 08:2608:26, 4 April 2019 79.107.104.246 talk 7,785 bytes +14 No edit summary undo

curprev 13:5313:53, 14 February 2019 31.18.99.44 talk 7,771 bytes +265 →Example: use good looking math symbols undo

curprev 18:5918:59, 20 January 2019 179.159.56.32 talk 7,506 bytes 0 →Proof of Craig's interpolation theorem: Confusing notation: used both 'rho' and 'p'. Substituted 'q' for 'p' undo
curprev 18:5118:51, 20 January 2019 179.159.56.32 talk 7,506 bytes −6 'rho' (p) need not be a third formula, distinct from 'phi' and 'psi' undo

curprev 01:5501:55, 12 December 2018 150.203.214.7 talk 7,512 bytes 0 →Example: On a first reading I got 'T' mixed up with 'True'. Used 'S' instead. undo

curprev 02:2602:26, 8 November 2018 David Eppstein talk contribs 7,512 bytes +39 Larisa Maksimova undo

curprev 04:2304:23, 29 October 2015 Yobot talk contribs m 7,473 bytes 0 WP:CHECKWIKI error fixes using AWB (11719) undo

curprev 17:4617:46, 28 October 2015 128.131.111.57 talk 7,473 bytes +316 →Applications undo

curprev 20:1820:18, 3 July 2015 12.32.240.58 talk 7,157 bytes +65 added a qualifying clause... undo Tags: Mobile edit Mobile web edit

curprev 12:1812:18, 1 May 2015 Greatfermat talk contribs m 7,092 bytes +28 →Proof of Craig's interpolation theorem undo

curprev 17:2117:21, 17 February 2015 Stamptrader talk contribs m 7,064 bytes +23 corrected CS1 error, added Further Reading section undo

curprev 01:2301:23, 16 February 2015 I dream of horses talk contribs m 7,041 bytes −2 WPCleaner v1.34 - WP:WCW project (Square brackets with no correct end - ISBN with incorrect syntax) undo

curprev 15:1815:18, 15 February 2015 7&6=thirteen talk contribs m 7,043 bytes +34 →References: ref form undo

curprev 17:5317:53, 30 November 2014 Ben Standeven talk contribs 7,009 bytes +18 →Lyndon's interpolation theorem: Fixing "intersection of the two theories" undo

curprev 10:0710:07, 4 July 2014 128.130.173.29 talk 6,991 bytes −8 undo wholesale replacement of (correct) dashes in text by (incorrect) minus signs undo

curprev 09:3909:39, 5 May 2014 Yobot talk contribs m 6,999 bytes −95 WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 07:3407:34, 7 September 2013 L0mars01 talk contribs m 7,094 bytes +25 →Proof of Craig's interpolation theorem: minus fix undo
curprev 07:3007:30, 7 September 2013 L0mars01 talk contribs m 7,069 bytes −2 →Proof of Craig's interpolation theorem: markup undo

curprev 09:4509:45, 28 February 2013 Addbot talk contribs m 7,071 bytes −126 Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q1052021 (Report Errors) undo

curprev 08:2508:25, 18 September 2012 John of Reading talk contribs m 7,197 bytes −28 Typo/general fixing, replaced: a interpolating → an interpolating using AWB undo

curprev 06:0706:07, 6 May 2012 Helpful Pixie Bot talk contribs m 7,225 bytes +6 ISBNs (Build KC) undo

curprev 08:2108:21, 5 April 2012 195.169.141.54 talk 7,219 bytes −5 →Proof of Craig's interpolation theorem: deleted double word undo

curprev 03:0503:05, 20 October 2011 Luckas-bot talk contribs m 7,224 bytes +37 r2.7.1) (Robot: Adding ko:크레이그의 보간 정리 undo

curprev 19:4919:49, 22 July 2011 William Avery talk contribs 7,187 bytes −15 Plain link for constructive proof undo

curprev 17:3017:30, 14 July 2011 72.254.62.48 talk 7,202 bytes 0 →Proof of Craig's interpolation theorem: Nit undo

curprev 03:4103:41, 19 March 2011 Michael Hardy talk contribs 7,202 bytes 0 →Proof of Craig's Interpolation Theorem undo

curprev 23:2923:29, 17 March 2011 David Eppstein talk contribs 7,202 bytes +4 link lyndon undo

curprev 13:2813:28, 20 October 2010 Jaywalker talk contribs m 7,198 bytes −144 →References: Repetition of the book name undo

curprev 18:5918:59, 19 October 2010 FrescoBot talk contribs m 7,342 bytes −19 Bot: links syntax undo

curprev 14:3714:37, 7 May 2010 193.170.138.152 talk 7,361 bytes 0 →Proof of Craig's Interpolation Theorem undo

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