Functional predicate: 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 20:2120:21, 19 November 2024 Cl3phact0 talk contribs 8,089 bytes +65 Adding local short description: "Symbol representing a mathematical concept", overriding Wikidata description "mathematically mappings" undo Tag: Shortdesc helper

curprev 21:3021:30, 29 December 2021 Mgkrupa talk contribs m 8,024 bytes +24 Added {{Mathematical logic}} undo

curprev 19:2319:23, 21 May 2021 Lennart97 talk contribs m 8,000 bytes +10 Disambiguating links to Subtype (link changed to Subtyping) using DisamAssist. undo

curprev 10:4310:43, 26 February 2021 Hellacioussatyr talk contribs 7,990 bytes 0 →Doing without functional predicates: Tense undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 21:1621:16, 26 December 2020 Fgnievinski talk contribs 7,990 bytes +40 →top undo

curprev 15:3615:36, 9 March 2020 Jarble talk contribs 7,950 bytes +29 →See also: distinguish from function symbol (logic) undo

curprev 00:4600:46, 25 November 2017 Jarble talk contribs m 7,921 bytes +4 →Introducing new function symbols: linking undo

curprev 14:1614:16, 30 August 2017 5.2.200.163 talk 7,917 bytes +25 →Introducing new function symbols: func comp undo

curprev 23:2423:24, 6 March 2016 Wbm1058 talk contribs 7,892 bytes +42 disambiguate undo

curprev 16:0616:06, 25 September 2014 Martinkunev talk contribs m 7,850 bytes +2 fixed composition symbol undo
curprev 16:0516:05, 25 September 2014 Martinkunev talk contribs m 7,848 bytes −53 removed non-encyclopedic content undo

curprev 10:1210:12, 12 March 2013 Addbot talk contribs m 7,901 bytes −45 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q5508846 undo

curprev 21:1321:13, 23 February 2013 PWilkinson talk contribs m 7,946 bytes 0 →Doing without functional predicates: Link disambiguation undo

curprev 06:3506:35, 22 August 2012 Gabbe talk contribs 7,946 bytes +2 replaced hyphen (-) with en dash (–) per WP:ENDASH undo

curprev 07:2407:24, 14 May 2011 98.149.179.20 talk 7,944 bytes +4 →Doing without functional predicates: Added link. undo

curprev 06:0206:02, 17 December 2009 SmackBot talk contribs m 7,940 bytes −22 remove Erik9bot category,outdated, tag and general fixes undo

curprev 20:5920:59, 20 October 2009 JaGa talk contribs m 7,962 bytes +53 Fixing links to disambiguation pages using AWB undo

curprev 22:1722:17, 30 September 2009 Gregbard talk contribs 7,909 bytes −24 double redirect formal langauge using AWB undo

curprev 00:1200:12, 18 September 2009 Gregbard talk contribs 7,933 bytes +24 Formal language, Replaced: formal language → formal language, using AWB undo

curprev 19:3719:37, 3 July 2009 Erik9bot talk contribs 7,909 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 06:0006:00, 1 May 2009 DumZiBoT talk contribs m 7,860 bytes +25 robot Adding: pl:Symbol funkcyjny undo

curprev 09:4309:43, 20 September 2008 Salix alba talk contribs 7,835 bytes +18 fix link to set (mathematics) using AWB undo

curprev 22:2422:24, 21 August 2008 Zaharous talk contribs 7,817 bytes +7,729 undid vandalism undo
curprev 22:2422:24, 21 August 2008 97.87.78.114 talk 88 bytes −7,729 ← Replaced content with 'lhgkhjggggggggg;khHHHHHHHHHHHHHJk666jhdlkdjjrt984398210hgjkhgsdnviush9992875lsuisursoelh' undo

curprev 04:4804:48, 12 February 2008 Gregbard talk contribs m 7,817 bytes +4 formal system using AWB undo

curprev 16:2716:27, 31 December 2007 Gregbard talk contribs m 7,813 bytes +65 logical constants undo

curprev 05:3905:39, 30 August 2007 WBardwin talk contribs 7,748 bytes −60 Undid revision 154534466 by 64.213.203.1 (talk) vandalism undo
curprev 05:0105:01, 30 August 2007 64.213.203.1 talk 7,808 bytes +60 No edit summary undo

curprev 06:2206:22, 17 August 2006 Mhss talk contribs m 7,748 bytes +20 No edit summary undo

curprev 20:0120:01, 20 November 2005 Archelon talk contribs m 7,728 bytes 0 typo →Introducing new function symbols undo

curprev 13:2213:22, 2 May 2005 SDaniel talk contribs m 7,728 bytes +4 →Introducing new function symbols: link to Existential quantification undo

curprev 03:1703:17, 21 April 2005 Jshadias talk contribs m 7,724 bytes +11 No edit summary undo

curprev 16:0416:04, 22 March 2005 Oleg Alexandrov talk contribs 7,713 bytes 0 "Put categories/language links at the bottom. This is an automatic update." undo

curprev 11:2511:25, 11 August 2004 Mat cross talk contribs m 7,713 bytes −1 TeXify undo
curprev 11:2411:24, 11 August 2004 Mat cross talk contribs m 7,714 bytes −138 TeXify undo

curprev 01:2101:21, 18 June 2004 Fredrik talk contribs m 7,852 bytes −494 wikify (convert html to wiki markup) undo
curprev 01:2001:20, 18 June 2004 Fredrik talk contribs m 8,346 bytes +4 statment ---> statement undo

curprev 22:4822:48, 1 June 2004 Dysprosia talk contribs m 8,342 bytes −40 Category:Model theory undo

curprev 15:4915:49, 22 March 2004 Robbot talk contribs m 8,382 bytes +46 Andre Engels - Robot-assisted disambiguation: Function undo

curprev 21:4221:42, 27 April 2003 Toby Bartels talk contribs m 8,336 bytes 0 Remove weird space. undo
curprev 21:4121:41, 27 April 2003 Toby Bartels talk contribs m 8,336 bytes +134 Typos. undo
curprev 21:2921:29, 27 April 2003 Toby Bartels talk contribs m 8,202 bytes −4 Help search engine. undo

curprev 08:3508:35, 9 April 2003 Tim Retout talk contribs m 8,206 bytes +4 Link undo

curprev 02:0002:00, 27 January 2003 Toby Bartels talk contribs m 8,202 bytes +47 Link Table of mathematical symbols where needed. undo
curprev 01:5701:57, 27 January 2003 Toby Bartels talk contribs 8,155 bytes +5,136 Further explanation of the relationship to relational predicates; using a slightly different version of Replacement for an example to better bring out the ideas involved. undo

curprev 23:4323:43, 26 January 2003 Toby Bartels talk contribs m 3,019 bytes +16 Missed a couple. undo
curprev 23:4123:41, 26 January 2003 Toby Bartels talk contribs 3,003 bytes +500 Rewrite only what is necessary for the name change; some more to come soon. undo
curprev 23:3023:30, 26 January 2003 Toby Bartels talk contribs 2,503 bytes +2,503 From Mapping; soon to be rewritten.

19 November 2024

29 December 2021

21 May 2021

26 February 2021

26 December 2020

9 March 2020

25 November 2017

30 August 2017

6 March 2016

25 September 2014

12 March 2013

23 February 2013

22 August 2012

14 May 2011

17 December 2009

20 October 2009

30 September 2009

18 September 2009

3 July 2009

1 May 2009

20 September 2008

21 August 2008

12 February 2008

31 December 2007

30 August 2007

17 August 2006

20 November 2005

2 May 2005

21 April 2005

22 March 2005

11 August 2004

18 June 2004

1 June 2004

22 March 2004

27 April 2003

9 April 2003

27 January 2003

26 January 2003