Herbrand's theorem: Revision history

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:4413:44, 16 October 2023 2a02:1812:110c:dc00:b986:5d5e:97f8:8b78 talk 5,523 bytes +218 No edit summary undo

curprev 21:3421:34, 11 October 2023 2a02:1812:110c:dc00:8ddc:ceda:1411:2437 talk 5,305 bytes +33 No edit summary undo

curprev 23:3423:34, 27 July 2023 JongminYoon talk contribs m 5,272 bytes 0 Undid revision 1167470666 by JongminYoon (talk) undo Tag: Undo
curprev 23:3223:32, 27 July 2023 JongminYoon talk contribs m 5,272 bytes 0 →Statement undo Tag: Reverted

curprev 07:1307:13, 17 July 2023 2601:646:9d81:2c30:c1ba:9b11:122e:e809 talk 5,272 bytes 0 Fix inaccuracy in disjunction indexing: 1 <= i <= k --> 1 <= i <= r undo

curprev 07:0607:06, 1 April 2023 Susy 11 talk contribs 5,272 bytes 0 →Statement: Typo (n -> k) undo

curprev 22:5822:58, 24 May 2021 213.119.8.88 talk 5,272 bytes +4 No edit summary undo

curprev 13:1713:17, 13 January 2021 Monkbot talk contribs m 5,268 bytes +1 Task 18 (cosmetic): eval 1 template: hyphenate params (1×); undo Tag: AWB

curprev 05:4705:47, 28 May 2020 Crisperdue talk contribs m 5,267 bytes −25 →Statement undo
curprev 05:3605:36, 28 May 2020 Crisperdue talk contribs 5,292 bytes +80 Clarification. undo
curprev 02:0202:02, 28 May 2020 Crisperdue talk contribs 5,212 bytes +15 New section for the detailed theorem statement with comments. No content changes. undo

curprev 08:2308:23, 6 March 2020 MarkH21 talk contribs 5,197 bytes −20 fix target undo

curprev 20:3120:31, 18 December 2019 InternetArchiveBot talk contribs 5,217 bytes +133 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 16:0516:05, 23 February 2019 192.80.65.177 talk 5,084 bytes +47 No edit summary undo

curprev 05:2005:20, 6 October 2018 Cydebot talk contribs m 5,037 bytes −43 Robot - Removing category Eponymous scientific concepts per CFD at Wikipedia:Categories for discussion/Log/2018 September 22. undo

curprev 19:2919:29, 29 July 2018 Josvebot talk contribs m 5,080 bytes −3 v1.43b - WP:WCW project (Unicode control characters) undo Tag: WPCleaner

curprev 23:3523:35, 28 July 2018 BD2412 talk contribs m 5,083 bytes +46 →References: Category:Eponymous scientific concepts‎ using AWB undo

curprev 21:5621:56, 22 April 2018 136.25.170.167 talk 5,037 bytes 0 move adverb to reduce syntactical ambiguity undo

curprev 15:2515:25, 2 March 2018 Andrepduarte talk contribs 5,037 bytes −126 No edit summary undo

curprev 08:2708:27, 5 May 2017 Stefan.hetzl talk contribs 5,163 bytes −11 The paper by Miller treats a fixed logical system. It is therefore more accurate to speak about "higher-order logic" instead of "arbitrary higher-order logics". undo
curprev 08:2508:25, 5 May 2017 Stefan.hetzl talk contribs m 5,174 bytes +2 Minor spelling and grammar corrections undo

curprev 10:3910:39, 17 January 2017 Omnipaedista talk contribs 5,172 bytes +13 No edit summary undo
curprev 10:3810:38, 17 January 2017 Omnipaedista talk contribs 5,159 bytes 0 per MOS:CAPS undo

curprev 22:3822:38, 8 May 2016 Dymaio talk contribs m 5,159 bytes +1 comma undo

curprev 01:5501:55, 18 March 2016 BG19bot talk contribs m 5,158 bytes −8 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 18:0218:02, 20 October 2015 2607:f140:400:b008:2d62:cd58:2d2c:d4a4 talk 5,166 bytes +41 This is false as written; Ex(x=x) in pure FOL is a counterexample. The Buss article cited also doesn't support this statement, but I don't know enough to say whether what's given is reasonable in spite of this. undo

curprev 18:1918:19, 6 March 2013 R.e.b. talk contribs m 5,125 bytes −50 Spelling/grammar correction Clean up undo

curprev 10:5210:52, 27 February 2013 Addbot talk contribs m 5,175 bytes −170 Bot: Migrating 6 interwiki links, now provided by Wikidata on d:q1930577 (Report Errors) undo

curprev 18:1518:15, 12 February 2013 Giftlite talk contribs m 5,345 bytes 0 mv . undo

curprev 22:3022:30, 10 January 2013 BG19bot talk contribs m 5,345 bytes 0 →Generalizations of Herbrand's Theorem: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (8853) undo

curprev 16:4716:47, 20 December 2012 193.55.177.134 talk 5,345 bytes +65 No edit summary undo

curprev 10:1710:17, 11 December 2012 Yobot talk contribs m 5,280 bytes −1 clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (8792) undo

curprev 04:0804:08, 19 May 2012 140.180.128.156 talk 5,281 bytes 0 No edit summary undo
curprev 04:0704:07, 19 May 2012 140.180.128.156 talk 5,281 bytes +104 No edit summary undo

curprev 09:2309:23, 16 February 2012 129.31.215.195 talk 5,177 bytes −2 →See also undo

curprev 15:4015:40, 27 October 2011 132.205.221.212 talk 5,179 bytes −209 Calling Davis-Putnam an "application of Hebrand theorem" seems largely exagerated; I think this should be either expanded or removed, for now, I remove undo
curprev 15:3215:32, 27 October 2011 132.205.221.212 talk 5,388 bytes −295 Removed a very specific and thus not very relevant application (if this application is cited then so many others should also be; I suspect the author of the edit is the same as the cited Master thesis...) undo

curprev 23:0923:09, 18 October 2011 RDBury talk contribs 5,683 bytes +21 More specific cat. undo

curprev 11:5211:52, 28 September 2011 213.122.19.111 talk 5,662 bytes 0 No edit summary undo

curprev 13:0913:09, 20 August 2011 91.148.144.100 talk 5,662 bytes +36 citation required for higher-order logic generalisation undo

curprev 08:2808:28, 14 February 2011 Giraffedata talk contribs 5,626 bytes −2 "comprising of" undo

curprev 14:5614:56, 13 February 2011 82.204.105.103 talk 5,628 bytes +2 →See also undo
curprev 14:5514:55, 13 February 2011 82.204.105.103 talk 5,626 bytes +3 No edit summary undo
curprev 14:5414:54, 13 February 2011 82.204.105.103 talk 5,623 bytes +2 No edit summary undo
curprev 14:5314:53, 13 February 2011 82.204.105.103 talk 5,621 bytes +20 No edit summary undo

curprev 05:2105:21, 8 March 2010 Luckas-bot talk contribs m 5,601 bytes +32 robot Adding: ja:エルブランの定理 undo

curprev 01:4601:46, 1 March 2010 Playmobilonhishorse talk contribs m 5,569 bytes +4 No edit summary undo

curprev 20:5420:54, 15 February 2010 1ForTheMoney talk contribs m 5,565 bytes +37 Replacing {{expert}} with {{expert-subject}} undo
curprev 18:5718:57, 15 February 2010 Thiscmd talk contribs 5,528 bytes +11 No edit summary undo

curprev 09:0309:03, 30 January 2010 Gandalf61 talk contribs 5,517 bytes −321 Undid revision 340771118 by IsleLaMotte (talk) rv book spam undo

Herbrand's theorem: Revision history

16 October 2023

11 October 2023

27 July 2023

17 July 2023

1 April 2023

24 May 2021

13 January 2021

28 May 2020

6 March 2020

18 December 2019

23 February 2019

6 October 2018

29 July 2018

28 July 2018

22 April 2018

2 March 2018

5 May 2017

17 January 2017

8 May 2016

18 March 2016

20 October 2015

6 March 2013

27 February 2013

12 February 2013

10 January 2013

20 December 2012

11 December 2012

19 May 2012

16 February 2012

27 October 2011

18 October 2011

28 September 2011

20 August 2011

14 February 2011

13 February 2011

8 March 2010

1 March 2010

15 February 2010

30 January 2010