Predicate variable: 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:2616:26, 26 December 2023 Oneequalsequalsone talk contribs 4,140 bytes +57‎ →top undo Tag: Visual edit

curprev 18:4318:43, 30 August 2023 Tc14Hd talk contribs m 4,083 bytes −1‎ Removed empty line undo

curprev 20:0720:07, 10 October 2022 The-erinaceous-one talk contribs m 4,084 bytes −6‎ Minor clarification undo
curprev 20:0520:05, 10 October 2022 The-erinaceous-one talk contribs 4,090 bytes −95‎ →Usage: Separate section on notation. Misc. cleanup undo

curprev 23:1623:16, 24 August 2022 Mgkrupa talk contribs 4,185 bytes +62‎ →See also undo

curprev 21:2921:29, 29 December 2021 Mgkrupa talk contribs m 4,123 bytes +25‎ Added {{Mathematical logic}} undo

curprev 14:4914:49, 25 October 2021 MrOllie talk contribs 4,098 bytes −207‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

curprev 18:5418:54, 21 August 2020 Miaumee talk contribs 4,305 bytes −2‎ Removed the linking of "placeholder" to deambiguation page. undo Tag: Visual edit

curprev 21:3221:32, 20 August 2020 Miaumee talk contribs 4,307 bytes +621‎ General revision across the page. Improved citations. Phrasing changes for better clarity and flow. Removed duplicate spaces. Broken down long-winded sentences and paragraphs. Wikilinked keywords. Added See Also section. Added References section. Deleted "Multiple Issues" template accordingly. undo Tag: Visual edit

curprev 00:1700:17, 31 May 2020 Cewbot talk contribs m 3,686 bytes +3‎ Normalize {{Multiple issues}}: Merge 1 template(s) into {{Multiple issues}}: Cleanup-rewrite undo

curprev 22:3722:37, 1 October 2019 Curdigirl talk contribs m 3,683 bytes +85‎ Minor CE undo Tag: Visual edit

curprev 14:5114:51, 27 August 2019 109.166.132.132 talk 3,598 bytes +4‎ →Usage: prop var undo

curprev 11:5411:54, 10 August 2019 109.166.136.245 talk 3,594 bytes +4‎ →References: wlink undo

curprev 17:4717:47, 7 September 2017 Deacon Vorbis talk contribs 3,590 bytes −24‎ Undid revision 799414082 by 5.2.200.163 (talk) rv dup link + disambig link undo
curprev 15:5315:53, 7 September 2017 5.2.200.163 talk 3,614 bytes +24‎ No edit summary undo

curprev 01:2001:20, 20 June 2017 CBM talk contribs m 3,590 bytes +4‎ Manually reviewed edit to replace magic words per local rfc undo

curprev 18:3718:37, 16 February 2017 Ira Leviton talk contribs m 3,586 bytes −54‎ Rephrased to delete 'actually' as per MOS:NOTE. undo

curprev 14:0714:07, 22 January 2016 MartinZ talk contribs 3,640 bytes −57‎ No edit summary undo

curprev 11:4011:40, 21 January 2016 217.149.130.42 talk 3,697 bytes +57‎ ≤Undid revision 485644521 by Ego White Tray (talk) undo

curprev 22:0022:00, 20 August 2014 BD2412 talk contribs m 3,640 bytes +19‎ minor fixes, mostly disambig links using AWB undo

curprev 19:4519:45, 23 April 2013 KLBot2 talk contribs m 3,621 bytes −21‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q10531432 undo

curprev 05:2205:22, 20 January 2013 173.25.54.191 talk 3,642 bytes +14‎ unabbrev undo

curprev 10:3110:31, 24 November 2012 Gregbard talk contribs 3,628 bytes +27‎ added Category:Logic symbols using HotCat undo

curprev 02:4202:42, 5 April 2012 Ego White Tray talk contribs 3,601 bytes −57‎ Delete stale merge tag undo

curprev 05:0005:00, 30 March 2011 SmackBot talk contribs m 3,658 bytes +24‎ Dated {{Cleanup-rewrite}}. (Build p608) undo
curprev 04:5404:54, 30 March 2011 Tijfo098 talk contribs 3,634 bytes +11‎ unintelligible undo

curprev 02:3702:37, 24 October 2010 Nfer talk contribs m 3,623 bytes +1‎ Added appropriate punctuation undo

curprev 00:5000:50, 27 January 2010 Gregbard talk contribs m 3,622 bytes 0‎ fix undo

curprev 01:0501:05, 3 December 2009 Gregbard talk contribs 3,622 bytes +4‎ →Usage: link propositional function using Project:AWB undo

curprev 18:4918:49, 1 March 2009 SmackBot talk contribs m 3,618 bytes +15‎ Date maintenance tags and general fixes undo
curprev 05:2105:21, 1 March 2009 Gregbard talk contribs 3,603 bytes +42‎ merge undo

curprev 03:3903:39, 21 March 2008 Gregbard talk contribs m 3,561 bytes +4‎ domain of discourse using AWB undo

curprev 04:0404:04, 22 February 2008 Gregbard talk contribs m 3,557 bytes +12‎ metalinguistic variable undo
curprev 03:2303:23, 22 February 2008 Gregbard talk contribs m 3,545 bytes +2‎ propositional variable using AWB undo

curprev 16:5416:54, 21 February 2008 Gregbard talk contribs m 3,543 bytes +10‎ cat undo

curprev 22:5722:57, 20 February 2008 Gregbard talk contribs m 3,533 bytes +4‎ wff using AWB undo

curprev 22:2922:29, 19 December 2007 SmackBot talk contribs m 3,529 bytes −1‎ Standard headings &/or gen fixes. using AWB undo

curprev 15:1415:14, 20 January 2007 CBM talk contribs 3,530 bytes −13‎ change category to Logic undo
curprev 15:1415:14, 20 January 2007 CBM talk contribs 3,543 bytes +181‎ reference, split into lead/body undo

curprev 14:4214:42, 23 July 2006 Mhss talk contribs m 3,362 bytes +20‎ No edit summary undo

curprev 16:4316:43, 9 May 2006 Julian Mendez talk contribs 3,342 bytes +13‎ No edit summary undo

26 December 2023

30 August 2023

10 October 2022

24 August 2022

29 December 2021

25 October 2021

21 August 2020

20 August 2020

31 May 2020

1 October 2019

27 August 2019

10 August 2019

7 September 2017

20 June 2017

16 February 2017

22 January 2016

21 January 2016

20 August 2014

23 April 2013

20 January 2013

24 November 2012

5 April 2012

30 March 2011

24 October 2010

27 January 2010

3 December 2009

1 March 2009

21 March 2008

22 February 2008

21 February 2008

20 February 2008

19 December 2007

20 January 2007

23 July 2006

9 May 2006

23 September 2004