Talk:Finite model theory: Revision history

1 February 2024

• curprev 21:0821:08, 1 February 2024 Cewbot talk contribs m 12,659 bytes +23 Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

21 March 2023

• curprev 18:3018:30, 21 March 2023 2603:3024:184b:c100:b4cd:b680:d0d:5dd6 talk 12,636 bytes +394 →infinite number of structures: Reply undo Tag: Reply

11 February 2019

• curprev 08:1208:12, 11 February 2019 GreenC bot talk contribs 12,242 bytes +36 Add 2 {{reflist-talk}} to #Materials and #Intro old (via reftalk bot) undo

21 April 2013

• curprev 21:4821:48, 21 April 2013 RileyBot talk contribs m 12,206 bytes +228 Bot: Substituting Template:Unsigned) (Task 14 - disable undo

8 November 2012

• curprev 08:4308:43, 8 November 2012 Tijfo098 talk contribs m 11,978 bytes −2 →P vs. NP undo
• curprev 08:4308:43, 8 November 2012 Tijfo098 talk contribs 11,980 bytes +183 No edit summary undo
• curprev 08:2908:29, 8 November 2012 Tijfo098 talk contribs 11,797 bytes +341 →Database old example undo

5 June 2012

• curprev 15:3915:39, 5 June 2012 Modelpractice talk contribs 11,456 bytes +2,911 No edit summary undo

30 May 2012

• curprev 17:2717:27, 30 May 2012 SineBot talk contribs m 8,545 bytes +318 Signing comment by Modelpractice - "→Database old example: new section" undo
• curprev 17:2617:26, 30 May 2012 Modelpractice talk contribs 8,227 bytes +1,491 →Database old example: new section undo

10 July 2011

• curprev 22:2322:23, 10 July 2011 81.131.5.211 talk 6,736 bytes +1 →FO undo
• curprev 22:2222:22, 10 July 2011 81.131.5.211 talk 6,735 bytes +1 →FO undo
• curprev 22:2122:21, 10 July 2011 81.131.5.211 talk 6,734 bytes +119 →FO undo

22 April 2011

• curprev 21:3421:34, 22 April 2011 Linguistatlunch talk contribs 6,615 bytes +27 →FO undo
• curprev 21:3421:34, 22 April 2011 Linguistatlunch talk contribs 6,588 bytes +146 No edit summary undo

16 February 2011

• curprev 22:5322:53, 16 February 2011 SineBot talk contribs m 6,442 bytes +303 Signing comment by Sterling - "→Materials: " undo
• curprev 22:5122:51, 16 February 2011 Sterling talk contribs 6,139 bytes +117 →Materials undo
• curprev 22:5022:50, 16 February 2011 SineBot talk contribs m 6,022 bytes +303 Signing comment by Sterling - "→Core: " undo
• curprev 22:4922:49, 16 February 2011 Sterling talk contribs 5,719 bytes +302 →Core undo
• curprev 22:0022:00, 16 February 2011 Sterling talk contribs m 5,417 bytes −215 →Core undo
• curprev 21:5821:58, 16 February 2011 Sterling talk contribs m 5,632 bytes +1 →Core undo
• curprev 21:2021:20, 16 February 2011 SineBot talk contribs m 5,631 bytes +303 Signing comment by Sterling - "→finite number of structures: " undo
• curprev 21:1921:19, 16 February 2011 Sterling talk contribs 5,328 bytes +378 →finite number of structures undo
• curprev 20:5420:54, 16 February 2011 Sterling talk contribs 4,950 bytes +1 →infinite number of structures undo
• curprev 20:5320:53, 16 February 2011 Sterling talk contribs 4,949 bytes +16 →infinite number of structures undo
• curprev 20:5320:53, 16 February 2011 Sterling talk contribs 4,933 bytes +731 →Core undo
• curprev 20:0520:05, 16 February 2011 Sterling talk contribs 4,202 bytes +585 →finite variable number of structures undo
• curprev 18:4318:43, 16 February 2011 Sterling talk contribs 3,617 bytes +439 →Core undo
• curprev 13:1613:16, 16 February 2011 Sterling talk contribs 3,178 bytes +158 →Core undo
• curprev 12:4112:41, 16 February 2011 Sterling talk contribs 3,020 bytes +61 →Outline undo

23 January 2011

• curprev 17:0917:09, 23 January 2011 Sterling talk contribs 2,959 bytes −870 →Outline undo

16 January 2011

• curprev 21:3921:39, 16 January 2011 Sterling talk contribs 3,829 bytes +849 →Materials undo
• curprev 21:3421:34, 16 January 2011 Sterling talk contribs 2,980 bytes +123 →Outline undo
• curprev 12:1512:15, 16 January 2011 Sterling talk contribs 2,857 bytes +716 No edit summary undo
• curprev 11:1011:10, 16 January 2011 SineBot talk contribs m 2,141 bytes +302 Signing comment by Sterling - "" undo
• curprev 11:0811:08, 16 January 2011 Sterling talk contribs 1,839 bytes +104 No edit summary undo
• curprev 00:4800:48, 16 January 2011 Sterling talk contribs 1,735 bytes −306 →Outline undo
• curprev 00:4500:45, 16 January 2011 109.164.209.120 talk 2,041 bytes −15 →Outline undo
• curprev 00:4000:40, 16 January 2011 109.164.209.120 talk 2,056 bytes +121 →Outline undo
• curprev 00:1200:12, 16 January 2011 109.164.209.120 talk 1,935 bytes +64 →Outline undo

15 January 2011

• curprev 23:5823:58, 15 January 2011 SineBot talk contribs m 1,871 bytes +306 Signing comment by 109.164.209.120 - "→Outline: " undo
• curprev 23:5623:56, 15 January 2011 109.164.209.120 talk 1,565 bytes +178 →Outline undo
• curprev 23:2123:21, 15 January 2011 109.164.209.120 talk 1,387 bytes +192 →Outline undo
• curprev 20:4620:46, 15 January 2011 Sterling talk contribs 1,195 bytes +286 No edit summary undo
• curprev 17:3917:39, 15 January 2011 Sterling talk contribs 909 bytes +112 →Outline undo
• curprev 09:2009:20, 15 January 2011 Sterling talk contribs m 797 bytes 0 →Outline undo

2 January 2011

• curprev 21:4221:42, 2 January 2011 109.164.209.120 talk 797 bytes +24 →Outline undo

31 December 2010

• curprev 11:3411:34, 31 December 2010 Sterling talk contribs 773 bytes +104 →Outline undo
• curprev 10:2010:20, 31 December 2010 Sterling talk contribs 669 bytes +320 →Outline: new section undo

13 November 2007

• curprev 21:0521:05, 13 November 2007 Hans Adler talk contribs 349 bytes +18 Replaced philosophy banner by maths banner undo