Predicate logic: Revision history

2 February 2023

• curprev 00:3200:32, 2 February 2023 Qwerfjkl talk contribs m 134 bytes +3 Converting {{Wikidata redirect}} to {{R with Wikidata item}}. {{Wikidata redirect}} should only be used on soft redirects. undo Tag: PAWS [2.1]

14 July 2021

• curprev 16:1516:15, 14 July 2021 Tom.Reding talk contribs m 131 bytes +23 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on (uncategorized page) undo Tag: AWB

3 August 2020

• curprev 17:2117:21, 3 August 2020 Neo-Jay talk contribs 108 bytes +24 added Template:R to related topic. fa:منطق مسند (redirecting fa:منطق مرتبه اول (Wikidata:Q4055684 (first-order logic))) was replaced with fa:حساب محمولات in Wikidata:Q35148 (predicate logic) undo
• curprev 16:2716:27, 3 August 2020 Neo-Jay talk contribs 84 bytes +53 added Template:Wikidata redirect (Wikidata:Q35148 (zh:谓词逻辑, de:Prädikatenlogik, et al.)) undo

9 May 2020

• curprev 23:3823:38, 9 May 2020 83.137.6.121 talk 31 bytes +1 ←Redirected page to First-order logic undo Tag: New redirect
• curprev 23:3723:37, 9 May 2020 83.137.6.121 talk 30 bytes −1 ←Removed redirect to First-order logic undo Tag: Removed redirect

20 November 2016

• curprev 05:2605:26, 20 November 2016 Meltingwood talk contribs m 31 bytes −2,666 made a redirect after discussion with myself in the talk page undo

9 October 2016

• curprev 21:5221:52, 9 October 2016 The Banner talk contribs 2,697 bytes −50 Reverted to revision 735119035 by Jabowery (talk): Revert unhelpful edit. (TW) undo
• curprev 21:1221:12, 9 October 2016 DPL bot talk contribs m 2,747 bytes +37 adding incoming links template; 30 or more links undo
• curprev 19:1819:18, 9 October 2016 75.139.254.117 talk 2,710 bytes +13 page is merely distinguishing two usages of the same term undo

18 August 2016

• curprev 18:3418:34, 18 August 2016 Jabowery talk contribs 2,697 bytes +51 show connection between first and second sentences of the paragraph on first order logic. undo

30 June 2016

• curprev 03:1603:16, 30 June 2016 Tom.Reding talk contribs m 2,646 bytes −32 →References: Rem stub tag(s) (class = non-stub & non-list) using AWB undo

10 January 2016

• curprev 11:2011:20, 10 January 2016 117.205.249.80 talk 2,678 bytes +1 No edit summary undo
• curprev 11:1911:19, 10 January 2016 117.205.249.80 talk 2,677 bytes −1 No edit summary undo

22 June 2015

• curprev 18:4218:42, 22 June 2015 Keri talk contribs m 2,678 bytes −1 Reverted edits by 156.33.27.31 (talk) to last version by AnomieBOT undo
• curprev 18:0718:07, 22 June 2015 156.33.27.31 talk 2,679 bytes +1 No edit summary undo

11 May 2015

• curprev 09:2909:29, 11 May 2015 AnomieBOT talk contribs 2,678 bytes −11 Fixing reference errors undo
• curprev 07:2307:23, 11 May 2015 116.73.67.84 talk 2,689 bytes +11 No edit summary undo Tag: extraneous markup

22 January 2015

• curprev 20:4320:43, 22 January 2015 RandomDSdevel talk contribs 2,678 bytes +32 Classified this article as a stub using two stub types, 'Mathematical logic stub' and 'Logic stub.' undo Tag: Visual edit

25 November 2014

• curprev 19:2919:29, 25 November 2014 Jochen Burghardt talk contribs 2,646 bytes +141 Undid revision 635406591 by 197.250.129.120 (talk): can't see a reason for deleting these references undo
• curprev 18:0218:02, 25 November 2014 197.250.129.120 talk 2,505 bytes −141 →References undo Tags: Mobile edit Mobile app edit

19 October 2014

• curprev 02:4702:47, 19 October 2014 Hyacinth talk contribs 2,646 bytes +20 →References: {{Classical logic}} undo

18 October 2014

• curprev 10:4310:43, 18 October 2014 Hyacinth talk contribs 2,626 bytes +13 →References: {{Mathematical logic}} undo

12 August 2014

• curprev 19:5019:50, 12 August 2014 Jochen Burghardt talk contribs 2,613 bytes +8 →top: dab undo

9 May 2014

• curprev 17:3917:39, 9 May 2014 EdJohnston talk contribs 2,605 bytes +23 →See also: +Existential graph, an article which explains Pierce's contribution to predicate logic undo
• curprev 17:3517:35, 9 May 2014 EdJohnston talk contribs 2,582 bytes −14 →top: Charles Sanders Pierce is more often referred to with all three of his names undo

21 February 2014

• curprev 17:1617:16, 21 February 2014 Mindmatrix talk contribs m 2,596 bytes −15 Reverted edits by 59.160.125.195 (talk) to last version by Hypergeek14 undo
• curprev 07:3207:32, 21 February 2014 59.160.125.195 talk 2,611 bytes +11 No edit summary undo
• curprev 07:3107:31, 21 February 2014 59.160.125.195 talk 2,600 bytes +4 No edit summary undo

24 November 2013

• curprev 04:4004:40, 24 November 2013 Hypergeek14 talk contribs m 2,596 bytes 0 No edit summary undo

12 November 2013

• curprev 15:0015:00, 12 November 2013 Mindmatrix talk contribs m 2,596 bytes +24 Reverted edits by 41.89.128.14 (talk) to last version by Satellizer undo
• curprev 12:3312:33, 12 November 2013 41.89.128.14 talk 2,572 bytes −24 →See also undo

10 October 2013

• curprev 09:3509:35, 10 October 2013 Satellizer talk contribs m 2,596 bytes +70 Reverted edits by 14.139.62.113 (talk) to last version by Tomajohnson undo
• curprev 09:3309:33, 10 October 2013 14.139.62.113 talk 2,526 bytes −70 →See also undo Tag: possible vandalism

29 April 2013

• curprev 01:5801:58, 29 April 2013 Tomajohnson talk contribs m 2,596 bytes +1 →References: Fixed a bad ISBN and cleaned up some stray punctuation undo

1 April 2013

• curprev 23:0023:00, 1 April 2013 83.254.128.245 talk 2,595 bytes +2 →References: sort undo

31 March 2013

• curprev 14:5914:59, 31 March 2013 CBM talk contribs 2,593 bytes −3,943 This article is not supposed to repeat first-order logic and other articles; it is just supposed to point readers to other articles undo

20 March 2013

• curprev 19:5119:51, 20 March 2013 Byelf2007 talk contribs m 6,536 bytes 0 →How it all fits Together undo
• curprev 09:0809:08, 20 March 2013 174.88.80.173 talk 6,536 bytes −7 →Syntax undo

14 March 2013

• curprev 13:5413:54, 14 March 2013 89.235.215.79 talk 6,543 bytes +60 →The "Standard" Predicates undo
• curprev 13:4813:48, 14 March 2013 89.235.215.79 talk 6,483 bytes +32 →The "Standard" Predicates undo
• curprev 13:4513:45, 14 March 2013 89.235.215.79 talk 6,451 bytes −3 →The "Standard" Predicates undo
• curprev 13:4413:44, 14 March 2013 89.235.215.79 talk 6,454 bytes +159 →The "Standard" Predicates undo
• curprev 13:3813:38, 14 March 2013 89.235.215.79 talk 6,295 bytes −3 →How it all fits Together undo
• curprev 13:3713:37, 14 March 2013 89.235.215.79 talk 6,298 bytes +153 No edit summary undo
• curprev 13:2913:29, 14 March 2013 89.235.215.79 talk 6,145 bytes +1,907 No edit summary undo

22 February 2013

• curprev 22:5422:54, 22 February 2013 Addbot talk contribs m 4,238 bytes −545 Bot: Migrating 20 interwiki links, now provided by Wikidata on d:q35148 (Report Errors) undo

7 December 2012

• curprev 10:1710:17, 7 December 2012 ClueBot NG talk contribs m 4,783 bytes −20 Reverting possible vandalism by 14.139.243.2 to version by Yobot. False positive? Report it. Thanks, ClueBot NG. (1385211) (Bot) undo
• curprev 10:1710:17, 7 December 2012 14.139.243.2 talk 4,803 bytes +20 No edit summary undo

5 December 2012

• curprev 11:0611:06, 5 December 2012 Yobot talk contribs m 4,783 bytes −2 clean up, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8748) undo