Problem of multiple generality: 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 16:5216:52, 11 July 2024‎ Oneequalsequalsone talk contribs‎ m 3,220 bytes +12‎ No edit summary undo Tag: Visual edit
curprev 16:2516:25, 11 July 2024‎ Oneequalsequalsone talk contribs‎ 3,208 bytes +14‎ rm dot from quantifier and link to scope(logic) undo Tag: Visual edit
curprev 14:2914:29, 11 July 2024‎ Oneequalsequalsone talk contribs‎ 3,194 bytes +100‎ Adding short description: "Failure in traditional logic to describe certain intuitively valid inferences" undo Tag: Shortdesc helper

curprev 18:2918:29, 25 September 2021‎ 24.52.38.211 talk‎ 3,094 bytes 0‎ fixed typo: j/. undo Tags: Mobile edit Mobile web edit

curprev 10:1810:18, 9 August 2021‎ 2402:d000:a000:29ee:b116:5fb3:318f:5672 talk‎ 3,094 bytes +1‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 19:5819:58, 22 December 2020‎ BoldLuis talk contribs‎ 3,093 bytes +4‎ No edit summary undo

curprev 09:2609:26, 2 September 2019‎ 109.166.134.237 talk‎ 3,089 bytes +4‎ →‎Further reading: author undo

curprev 22:0422:04, 19 May 2019‎ Neptune's Trident talk contribs‎ 3,085 bytes +21‎ Update. undo
curprev 22:0322:03, 19 May 2019‎ Neptune's Trident talk contribs‎ 3,064 bytes +36‎ Update. undo
curprev 22:0222:02, 19 May 2019‎ Neptune's Trident talk contribs‎ 3,028 bytes +11‎ Update. undo

curprev 22:1422:14, 11 January 2019‎ MisterCake talk contribs‎ 3,017 bytes +24‎ →‎Further reading undo
curprev 22:0222:02, 11 January 2019‎ MisterCake talk contribs‎ 2,993 bytes +29‎ added Category:Classical logic using HotCat undo
curprev 22:0222:02, 11 January 2019‎ MisterCake talk contribs‎ 2,964 bytes +19‎ →‎Further reading undo

curprev 12:5812:58, 13 November 2018‎ 31.4.205.255 talk‎ 2,945 bytes −2‎ typo undo Tags: Mobile edit Mobile web edit
curprev 12:5612:56, 13 November 2018‎ 31.4.205.255 talk‎ 2,947 bytes +109‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 10:1310:13, 23 July 2017‎ DanLanglois talk contribs‎ m 2,838 bytes +5‎ No edit summary undo

curprev 23:5323:53, 25 June 2017‎ PrimeBOT talk contribs‎ m 2,833 bytes +12‎ Replace magic links with templates per local RfC - BRFA undo

curprev 15:1215:12, 7 August 2015‎ Solomon7968 talk contribs‎ m 2,821 bytes +4‎ link undo

curprev 16:0316:03, 11 June 2015‎ Fadesga talk contribs‎ 2,817 bytes −15‎ →‎Further reading undo

curprev 03:5603:56, 27 April 2015‎ Knife-in-the-drawer talk contribs‎ m 2,832 bytes −83‎ →‎Further reading: Checkwiki error fix #72. ISBN-10 with wrong checksum undo

curprev 13:1113:11, 9 January 2015‎ John of Reading talk contribs‎ m 2,915 bytes +1‎ Typo fixing, replaced: alloted → allotted using AWB undo

curprev 20:0220:02, 8 September 2014‎ Aetheling talk contribs‎ 2,914 bytes +7‎ Add important date undo

curprev 19:0119:01, 8 March 2014‎ Yobot talk contribs‎ m 2,907 bytes −2‎ WP:CHECKWIKI error fixes using AWB (9979) undo

curprev 03:3903:39, 23 March 2013‎ Addbot talk contribs‎ m 2,909 bytes −72‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q7246960 undo

curprev 16:5616:56, 27 June 2012‎ 150.161.2.200 talk‎ 2,981 bytes +42‎ No edit summary undo

curprev 05:0105:01, 12 May 2012‎ Helpful Pixie Bot talk contribs‎ m 2,939 bytes +87‎ ISBNs (Build KH) undo

curprev 00:5800:58, 7 March 2012‎ Cydebot talk contribs‎ m 2,852 bytes −7‎ Robot - Moving category Traditional logic to Category:Term logic per CFD at Wikipedia:Categories for discussion/Log/2012 February 29. undo

curprev 02:4202:42, 20 October 2010‎ 128.113.124.62 talk‎ 2,859 bytes 0‎ No edit summary undo

curprev 19:2419:24, 6 September 2010‎ Yobot talk contribs‎ m 2,859 bytes +1‎ →‎Further reading: WP:CHECKWIKI error fixes + genfixes using AWB (7092) undo

curprev 07:4807:48, 30 May 2010‎ Cybercobra talk contribs‎ 2,858 bytes +2‎ attempt to clarify undo
curprev 07:4507:45, 30 May 2010‎ Cybercobra talk contribs‎ m 2,856 bytes +3‎ →‎Further reading undo

curprev 04:1904:19, 10 December 2009‎ Gregbard talk contribs‎ m 2,853 bytes +13‎ Removed category Logic; Quick-adding category Traditional logic (using HotCat) undo
curprev 04:1904:19, 10 December 2009‎ Gregbard talk contribs‎ 2,840 bytes +4‎ logical form using Project:AWB undo

curprev 06:2206:22, 9 December 2008‎ 99.231.50.3 talk‎ 2,836 bytes +23‎ Quantifiers have the highest precdence among logical operators: see page 12 of http://www.cs.laurentian.ca/jdompierre/MATH1056E_F2008/cours/s1.3_predicates_quantifiers.pdf undo

curprev 03:1103:11, 25 June 2008‎ Tomlee2060 talk contribs‎ m 2,813 bytes +3‎ minor English undo

curprev 01:3001:30, 14 April 2008‎ Vina-iwbot~enwiki talk contribs‎ m 2,810 bytes +1‎ robot Modifying: zh:多重普遍性问题 undo

curprev 13:0613:06, 24 November 2007‎ Egriffin talk contribs‎ 2,809 bytes 0‎ Might as well use letters m and c instead of x and y. undo
curprev 13:0313:03, 24 November 2007‎ Egriffin talk contribs‎ 2,809 bytes +44‎ Changed logical formulas undo

curprev 22:5422:54, 21 November 2007‎ Newbyguesses talk contribs‎ m 2,765 bytes +10‎ wikify undo

curprev 21:2021:20, 23 October 2007‎ Zero sharp talk contribs‎ 2,755 bytes −1‎ typo in author's name undo

11 July 2024

25 September 2021

9 August 2021

22 December 2020

2 September 2019

19 May 2019

11 January 2019

13 November 2018

23 July 2017

25 June 2017

7 August 2015

11 June 2015

27 April 2015

9 January 2015

8 September 2014

8 March 2014

23 March 2013

27 June 2012

12 May 2012

7 March 2012

20 October 2010

6 September 2010

30 May 2010

10 December 2009

9 December 2008

25 June 2008

14 April 2008

24 November 2007

21 November 2007

23 October 2007

22 August 2007