Generalized quantifier: 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 15:0315:03, 28 May 2025 OAbot talk contribs m 10,381 bytes +25 Open access bot: url-access updated in citation with #oabot. undo

curprev 04:4804:48, 22 April 2024 OlliverWithDoubleL talk contribs m 10,356 bytes +76 Added short description #article-add-desc undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 13:5413:54, 19 April 2024 Citation bot talk contribs 10,280 bytes +24 Added isbn. | Use this bot. Report bugs. | Suggested by Superegz | Category:Quantifier (logic)‎ | #UCB_Category 4/19 undo

curprev 23:5223:52, 29 September 2023 Autisticeditor 20 talk contribs 10,256 bytes +3 tweaked undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 11:0611:06, 16 February 2023 Citation bot talk contribs 10,253 bytes +14 Alter: pages, issue. Add: volume. Formatted dashes. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 900/3500 undo

curprev 20:3220:32, 10 January 2023 78.180.74.145 talk 10,239 bytes +191 →Type theory undo

curprev 14:2114:21, 16 August 2022 Sdiabhon Sdiamhon talk contribs m 10,048 bytes +1 →Conservativity undo

curprev 05:1005:10, 5 April 2022 Hellacioussatyr talk contribs 10,047 bytes +41 →Properties undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 05:0805:08, 5 April 2022 Hellacioussatyr talk contribs 10,006 bytes +70 →Typed lambda calculus undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 05:0605:06, 5 April 2022 Hellacioussatyr talk contribs 9,936 bytes +14 →Type theory undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 05:0505:05, 5 April 2022 Hellacioussatyr talk contribs 9,922 bytes +10 :: too many undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 20:4120:41, 19 March 2022 Agentydragon talk contribs m 9,912 bytes +9 →Typed lambda calculus: use roman font for math predicate undo Tag: 2017 wikitext editor

curprev 09:3509:35, 8 February 2022 Felix QW talk contribs 9,903 bytes −6 removed Category:Quantification (science); added Category:Quantifier (logic) using HotCat undo

curprev 17:2217:22, 17 August 2021 Botterweg talk contribs 9,909 bytes +27 →Conservativity: linking Conservativity undo

curprev 09:3309:33, 13 August 2021 Jasy jatere talk contribs 9,882 bytes +283 →Further reading: add Wagiel ref undo

curprev 05:2305:23, 9 July 2021 Uni3993 talk contribs m 9,599 bytes +49 adding category undo

curprev 08:5008:50, 21 June 2021 Uni3993 talk contribs m 9,550 bytes +23 adding link undo

curprev 08:2508:25, 4 June 2021 Lembit Staan talk contribs 9,527 bytes +4 No edit summary undo

curprev 15:4115:41, 22 May 2021 213.119.8.88 talk 9,523 bytes +3 No edit summary undo

curprev 17:3317:33, 3 March 2021 Botterweg talk contribs 9,520 bytes +16 formal semantics undo
curprev 15:2715:27, 3 March 2021 Botterweg talk contribs 9,504 bytes −29 removing self-link undo

curprev 20:2420:24, 26 February 2021 Botterweg talk contribs 9,533 bytes +21 adding {{Formal semantics}} undo

curprev 16:5516:55, 8 January 2021 Botterweg talk contribs 9,512 bytes +30 →See also: adding scope to see also undo

curprev 04:0504:05, 5 January 2021 FrogFlint talk contribs m 9,482 bytes +455 formatted refs undo
curprev 03:1303:13, 5 January 2021 FrogFlint talk contribs m 9,027 bytes −7 Cleaned up some sentence structure; changed "any" to "every" for clearer definitions undo

curprev 04:1404:14, 27 November 2020 Jordan Mitchell Barrett talk contribs m 9,034 bytes 0 Clarify "every boy" undo

curprev 10:4710:47, 26 June 2020 JJMC89 bot III talk contribs m 9,034 bytes +10 Moving Category:Quantification to Category:Quantification (science) per Wikipedia:Categories for discussion/Speedy undo

curprev 21:2721:27, 3 April 2018 RJGray talk contribs m 9,024 bytes −16 →top: Removed 1 link I added--it's a duplicate undo
curprev 21:2221:22, 3 April 2018 RJGray talk contribs m 9,040 bytes +37 →top: Added 2 links undo
curprev 08:5308:53, 3 April 2018 Omnipaedista talk contribs 9,003 bytes +11 per MOS:BOLDSYN undo

curprev 13:5813:58, 16 January 2018 5.2.200.163 talk 8,992 bytes +4 ss undo

curprev 02:3602:36, 8 September 2017 RJGray talk contribs 8,988 bytes +16 →Conservativity: link undo

curprev 20:3520:35, 14 May 2016 2a02:1811:3404:4100:2ceb:a4a:6ac1:9d47 talk 8,972 bytes −320 No edit summary undo

curprev 22:3822:38, 20 August 2014 BD2412 talk contribs m 9,292 bytes +14 minor fixes, mostly disambig links using AWB undo

curprev 02:3402:34, 15 May 2013 2a01:e35:2e37:2060:9dc3:f8cd:32cf:1dbf talk 9,278 bytes +17 No edit summary undo

curprev 03:0703:07, 30 October 2012 Tijfo098 talk contribs 9,261 bytes +175 →Further reading: + SEP entry undo

curprev 04:3604:36, 5 September 2012 Curb Chain talk contribs 9,086 bytes −27 →Properties of generalized quantifiers: WP:HEAD undo
curprev 04:3504:35, 5 September 2012 Curb Chain talk contribs 9,113 bytes −4 →The typed lambda calculus: WP:HEAD undo

curprev 07:5007:50, 13 July 2012 AK456 talk contribs m 9,117 bytes +19 WP:DPL undo

curprev 21:3721:37, 24 June 2012 69.250.65.58 talk 9,098 bytes +3 No edit summary undo

curprev 00:0700:07, 8 May 2012 Helpful Pixie Bot talk contribs m 9,095 bytes +8 ISBNs (Build KE) undo

curprev 12:5212:52, 10 August 2011 Kyoakoa talk contribs 9,087 bytes −25 removed Category:Linguistics using HotCat undo

curprev 19:2319:23, 9 August 2011 62.131.123.233 talk 9,112 bytes +1 added missing apostrophe in lambda expression undo

curprev 13:3713:37, 5 April 2011 Tijfo098 talk contribs 9,111 bytes +361 scope of this page is a bit unclear to me, but I'll add these anyway. The first book discusses both nat. lang, and formal ones undo
curprev 13:2113:21, 5 April 2011 Tijfo098 talk contribs 8,750 bytes +26 →See also undo

28 May 2025

22 April 2024

19 April 2024

29 September 2023

16 February 2023

10 January 2023

16 August 2022

5 April 2022

19 March 2022

8 February 2022

17 August 2021

13 August 2021

9 July 2021

21 June 2021

4 June 2021

22 May 2021

3 March 2021

26 February 2021

8 January 2021

5 January 2021

27 November 2020

26 June 2020

3 April 2018

16 January 2018

8 September 2017

14 May 2016

20 August 2014

15 May 2013

30 October 2012

5 September 2012

13 July 2012

24 June 2012

8 May 2012

10 August 2011

9 August 2011

5 April 2011

2 February 2011