Ground expression: Revision history

23 March 2024

• curprev 15:1115:11, 23 March 2024‎ Thiagovscoelho talk contribs‎ 4,545 bytes +21‎ No edit summary undo

12 July 2023

• curprev 22:3522:35, 12 July 2023‎ C7XWiki talk contribs‎ 4,524 bytes −7‎ a and b may be confused for variables undo

20 October 2022

• curprev 09:1809:18, 20 October 2022‎ Horcrux talk contribs‎ 4,531 bytes +117‎ →‎Ground atom: +reference undo

19 October 2022

• curprev 16:2116:21, 19 October 2022‎ Horcrux talk contribs‎ m 4,414 bytes −116‎ undoing unwanted rollback undo
• curprev 16:1916:19, 19 October 2022‎ Horcrux talk contribs‎ m 4,530 bytes 0‎ →‎Formal definition: plural undo
• curprev 16:1816:18, 19 October 2022‎ Horcrux talk contribs‎ m 4,530 bytes +66‎ →‎Formal definition: we don't need this undo
• curprev 16:1616:16, 19 October 2022‎ Horcrux talk contribs‎ 4,464 bytes +30‎ →‎Examples: fix undo
• curprev 15:2115:21, 19 October 2022‎ Horcrux talk contribs‎ 4,434 bytes +93‎ →‎Ground formula: +info undo
• curprev 15:2015:20, 19 October 2022‎ Horcrux talk contribs‎ 4,341 bytes −239‎ →‎Ground formula: in accordance with Special:Diff/944726402/968757410 and Talk:Ground expression#Conflicting definitions of "ground expression" undo
• curprev 14:4614:46, 19 October 2022‎ Horcrux talk contribs‎ m 4,580 bytes 0‎ →‎Examples: fixing punctuation undo

10 September 2022

• curprev 13:5813:58, 10 September 2022‎ Jason Quinn talk contribs‎ 4,580 bytes +74‎ →‎Examples: there was no example of a ground term that used both the unary and binary operator undo

27 April 2022

• curprev 19:1219:12, 27 April 2022‎ Odanoburu talk contribs‎ m 4,506 bytes +8‎ Agreement undo

16 March 2022

• curprev 14:2914:29, 16 March 2022‎ Mgkrupa talk contribs‎ 4,498 bytes +134‎ Added == See also == section undo
• curprev 14:1814:18, 16 March 2022‎ Mgkrupa talk contribs‎ 4,364 bytes +250‎ Copy editing. undo

8 February 2022

• curprev 01:3601:36, 8 February 2022‎ SpiralSource talk contribs‎ 4,114 bytes +63‎ Adding short description: "Term that does not contain any variables" (Shortdesc helper) undo

29 December 2021

• curprev 21:3521:35, 29 December 2021‎ Mgkrupa talk contribs‎ m 4,051 bytes +24‎ Added {{Mathematical logic}} undo

11 February 2021

• curprev 19:0719:07, 11 February 2021‎ Dewritech talk contribs‎ m 4,027 bytes −9‎ →‎Ground formula: clean up undo Tag: AWB

7 February 2021

• curprev 17:4417:44, 7 February 2021‎ Hellacioussatyr talk contribs‎ 4,036 bytes −6‎ Italics undo Tag: 2017 wikitext editor

30 July 2020

• curprev 10:5010:50, 30 July 2020‎ Narky Blert talk contribs‎ 4,042 bytes +23‎ Link to DAB page repaired undo

21 July 2020

• curprev 09:3609:36, 21 July 2020‎ 94.252.86.253 talk‎ 4,019 bytes −131‎ No edit summary undo
• curprev 09:2909:29, 21 July 2020‎ 94.252.86.253 talk‎ 4,150 bytes 0‎ No edit summary undo
• curprev 09:2809:28, 21 July 2020‎ 94.252.86.253 talk‎ 4,150 bytes +24‎ No edit summary undo

9 March 2020

• curprev 15:3215:32, 9 March 2020‎ Jarble talk contribs‎ m 4,126 bytes +4‎ linking undo

12 January 2020

• curprev 23:3723:37, 12 January 2020‎ Joel Brennan talk contribs‎ m 4,122 bytes +130‎ formatting undo

15 May 2016

• curprev 22:0222:02, 15 May 2016‎ 72.53.138.229 talk‎ 3,992 bytes −10‎ →‎Ground atom: Remove vandalism? undo Tags: Mobile edit Mobile web edit

17 April 2016

• curprev 16:5716:57, 17 April 2016‎ 129.128.29.63 talk‎ 4,002 bytes +10‎ →‎Ground atom undo

16 January 2015

• curprev 21:4121:41, 16 January 2015‎ FrescoBot talk contribs‎ m 3,992 bytes −27‎ Bot: link syntax undo

14 December 2014

• curprev 22:0322:03, 14 December 2014‎ Luot talk contribs‎ m 4,019 bytes +69‎ No edit summary undo

27 October 2014

• curprev 01:2301:23, 27 October 2014‎ The Anome talk contribs‎ 3,950 bytes +4‎ first-order logic with identity undo

19 October 2013

• curprev 15:4615:46, 19 October 2013‎ Dewritech talk contribs‎ 3,946 bytes +1‎ →‎Ground formula: clean up, typo(s) fixed: a unground → an unground using AWB undo

24 May 2013

• curprev 23:0923:09, 24 May 2013‎ 129.170.194.148 talk‎ 3,945 bytes +4‎ No edit summary undo

30 April 2013

• curprev 09:1709:17, 30 April 2013‎ 59.162.23.79 talk‎ 3,941 bytes +2‎ →‎Ground formula: all the terms in a ground atom are ground terms, which contains no variables. An atom which is not ground can have free variables. undo

14 March 2013

• curprev 07:5007:50, 14 March 2013‎ Addbot talk contribs‎ m 3,939 bytes −45‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q431411 undo

28 November 2012

• curprev 19:3419:34, 28 November 2012‎ 80.219.67.154 talk‎ 3,984 bytes −4‎ →‎Formal definition undo

17 September 2012

• curprev 13:1913:19, 17 September 2012‎ Greatfermat talk contribs‎ 3,988 bytes −8‎ →‎Examples: I think the previous expression wasn't ground ompared to the definition. I've changed to a simpler ground one. undo

2 May 2012

• curprev 11:3811:38, 2 May 2012‎ Carbo1200 talk contribs‎ 3,996 bytes +24‎ →‎Ground atom: + ground literal undo

24 April 2012

• curprev 16:4616:46, 24 April 2012‎ 75.0.180.35 talk‎ 3,972 bytes −10‎ Minor- undo

3 April 2012

• curprev 13:1513:15, 3 April 2012‎ 212.201.44.245 talk‎ 3,982 bytes −1‎ →‎Ground formula undo
• curprev 13:1513:15, 3 April 2012‎ 212.201.44.245 talk‎ 3,983 bytes −25‎ →‎Ground formula undo
• curprev 13:1313:13, 3 April 2012‎ 212.201.44.245 talk‎ 4,008 bytes −1,009‎ Fixed confusion about ground and closed terms; also fixed recursive definition of ground formulas undo

2 March 2012

• curprev 09:3409:34, 2 March 2012‎ Gregbard talk contribs‎ 5,017 bytes +33‎ added Category:Logical expressions using HotCat undo

1 February 2012

• curprev 10:1210:12, 1 February 2012‎ Aentity talk contribs‎ 4,984 bytes 0‎ I changed this: "In first-order logic all closed terms are ground terms" to "In first-order logic all ground terms are closed terms", a large difference, and I believe supported by the example "forall" statement made a few sentences later undo

27 December 2011

• curprev 18:5018:50, 27 December 2011‎ Rich Farmbrough talk contribs‎ m 4,984 bytes −12‎ Minor fixes, typos fixed: , → , (6) using AWB undo

13 June 2011

• curprev 15:3315:33, 13 June 2011‎ Linas talk contribs‎ 4,996 bytes −6‎ fix poor links undo

20 January 2010

• curprev 08:2508:25, 20 January 2010‎ 193.50.111.36 talk‎ 5,002 bytes 0‎ Correcting down link undo

3 December 2009

• curprev 02:3302:33, 3 December 2009‎ Gregbard talk contribs‎ 5,002 bytes +4‎ →‎Formal definition: truth value, Replaced: truth value → truth value, using Project:AWB undo

21 August 2009

• curprev 03:5103:51, 21 August 2009‎ 67.208.233.242 talk‎ 4,998 bytes −23‎ No edit summary undo

20 April 2009

• curprev 08:2108:21, 20 April 2009‎ Hans Adler talk contribs‎ 5,021 bytes −488‎ rm another confused paragraph that doesn't help undo
• curprev 08:1908:19, 20 April 2009‎ Hans Adler talk contribs‎ 5,509 bytes +46‎ →‎Examples: style undo
• curprev 08:1308:13, 20 April 2009‎ Hans Adler talk contribs‎ 5,463 bytes −878‎ rm confused "don't confuse" paragraph undo