Jump to content

Robinson's joint consistency theorem: 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 17:5017:50, 25 July 2024‎ Tc14Hd talk contribs‎ 2,292 bytes +52‎ Added short description undo Tags: Mobile edit Mobile app edit Android app edit App description add

curprev 00:5600:56, 31 October 2023‎ Jlwoodwa talk contribs‎ m 2,240 bytes +1‎ WP:STUBSPACING undo

curprev 00:4400:44, 26 August 2022‎ Mgkrupa talk contribs‎ 2,239 bytes +13‎ No edit summary undo
curprev 00:4200:42, 26 August 2022‎ Mgkrupa talk contribs‎ 2,226 bytes +259‎ No edit summary undo

curprev 22:3422:34, 6 August 2022‎ Mgkrupa talk contribs‎ 1,967 bytes +36‎ No edit summary undo

curprev 10:1010:10, 6 June 2021‎ 213.119.8.88 talk‎ 1,931 bytes +112‎ No edit summary undo

curprev 13:1213:12, 17 October 2020‎ 109.158.6.142 talk‎ 1,819 bytes +19‎ →‎References undo
curprev 13:1113:11, 17 October 2020‎ 109.158.6.142 talk‎ 1,800 bytes +1‎ →‎References undo
curprev 13:1113:11, 17 October 2020‎ 109.158.6.142 talk‎ 1,799 bytes +146‎ →‎References undo

curprev 03:0703:07, 29 October 2016‎ Bender the Bot talk contribs‎ m 1,653 bytes +1‎ →‎References: http→https for Google Books and Google News using AWB undo

curprev 12:4212:42, 15 March 2016‎ 193.226.50.230 talk‎ 1,652 bytes +4‎ No edit summary undo

curprev 10:0410:04, 17 July 2015‎ Trappist the monk talk contribs‎ m 1,648 bytes +5‎ →‎References: replace/remove deprecated cs1|2 parameters; using AWB undo

curprev 10:4710:47, 17 March 2013‎ Addbot talk contribs‎ m 1,643 bytes −28‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7352955 undo

curprev 14:3814:38, 8 May 2012‎ Helpful Pixie Bot talk contribs‎ m 1,671 bytes +3‎ ISBNs (Build KE) undo

curprev 16:4016:40, 19 October 2011‎ Amirobot talk contribs‎ m 1,668 bytes +28‎ r2.7.1) (robot Adding: ko:로빈슨의 정리 undo

curprev 23:1823:18, 18 October 2011‎ RDBury talk contribs‎ 1,640 bytes +21‎ More specific cat. undo

curprev 21:5121:51, 21 February 2010‎ CBM talk contribs‎ 1,619 bytes +19‎ Tagging with {{mathlogic-stub}} using user scripts undo

curprev 17:4917:49, 15 November 2009‎ Waltpohl talk contribs‎ m 1,600 bytes −18‎ Add link to Beth definability. undo

curprev 17:4017:40, 3 April 2009‎ Giftlite talk contribs‎ 1,618 bytes +35‎ +Category:Mathematical theorems undo

curprev 15:2515:25, 16 November 2008‎ Stefan.vatev talk contribs‎ m 1,583 bytes +22‎ No edit summary undo

curprev 23:4123:41, 17 April 2008‎ Gregbard talk contribs‎ m 1,561 bytes +4‎ consistent using AWB undo

curprev 15:0715:07, 15 August 2007‎ DavidCBryant talk contribs‎ 1,557 bytes +278‎ Capitalization, and added a reference ("Computability and Logic"). undo
curprev 14:4414:44, 15 August 2007‎ DavidCBryant talk contribs‎ m 1,279 bytes 0‎ moved Robinson's Joint Consistency theorem to Robinson's joint consistency theorem: WP:NAME undo
curprev 14:3514:35, 15 August 2007‎ Tillmo talk contribs‎ 1,279 bytes +18‎ link to Evert Willem Beth undo

curprev 07:5607:56, 14 August 2007‎ Tillmo talk contribs‎ 1,261 bytes +1‎ typo undo
curprev 07:5507:55, 14 August 2007‎ Tillmo talk contribs‎ 1,260 bytes −1‎ typo undo
curprev 07:5407:54, 14 August 2007‎ Tillmo talk contribs‎ 1,261 bytes −1‎ typo undo
curprev 07:0307:03, 14 August 2007‎ Tillmo talk contribs‎ 1,262 bytes +1,262‎ some intro and two formulations

Retrieved from "https://en.wikipedia.org/wiki/Robinson%27s_joint_consistency_theorem"