Many-sorted logic: 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 04:3004:30, 31 December 2024 Tule-hog talk contribs m 8,823 bytes +13 →See also: {section link} undo

curprev 13:5913:59, 9 May 2024 Jochen Burghardt talk contribs 8,810 bytes +37 →Order-sorted logic: Ph.D. thesis Kaiserslautern undo

curprev 17:2917:29, 8 May 2024 Oneequalsequalsone talk contribs m 8,773 bytes −12 →See also: fix link undo Tag: 2017 wikitext editor

curprev 13:4613:46, 28 February 2024 Omnipaedista talk contribs 8,785 bytes −9 not linked from the template undo Tag: Manual revert

curprev 18:1518:15, 21 February 2024 Jarble talk contribs 8,794 bytes +9 adding Template:Logic undo Tag: Reverted

curprev 06:2206:22, 31 October 2022 PointlessUsername talk contribs 8,785 bytes −72 →Order-sorted logic: consistency with the other section undo

curprev 11:0311:03, 7 February 2022 SpiralSource talk contribs 8,857 bytes +47 Adding short description: "Hierarchical typed logic" (Shortdesc helper) undo
curprev 11:0211:02, 7 February 2022 SpiralSource talk contribs m 8,810 bytes −83 →External links: removal of dead link undo Tag: 2017 wikitext editor
curprev 10:5810:58, 7 February 2022 SpiralSource talk contribs 8,893 bytes −29 Removing banner for apparently resolved issue: article is not overly technical for the subject in question undo Tag: 2017 wikitext editor

curprev 22:2522:25, 3 June 2021 Citation bot talk contribs 8,922 bytes +67 Add: s2cid, jstor, issue. | Use this bot. Report bugs. | Suggested by Abductive | Category:All articles that are too technical | #UCB_Category 2742/2865 undo

curprev 19:3619:36, 19 February 2021 Jochen Burghardt talk contribs 8,855 bytes +70 →Order-sorted logic undo
curprev 19:1819:18, 19 February 2021 Jochen Burghardt talk contribs 8,785 bytes +8 partly undid revision 1007708556 by 148.60.99.3 (talk): no, it was introduced above, and is now elaborated further; trying to make that more clear in the text undo
curprev 14:4314:43, 19 February 2021 148.60.99.3 talk 8,777 bytes 0 →Order-sorted logic: example is below, not above undo

curprev 00:0600:06, 22 December 2020 Monkbot talk contribs m 8,777 bytes −26 Task 18 (cosmetic): eval 9 templates: del empty params (3×); hyphenate params (1×); undo Tag: AWB

curprev 19:0819:08, 19 September 2020 24.187.172.87 talk 8,803 bytes −32 →Example: Put the function names upright undo

curprev 19:5319:53, 26 August 2020 Jochen Burghardt talk contribs 8,835 bytes −1 →Order-sorted logic: rv test edit undo

curprev 09:5909:59, 12 August 2020 استنبول talk contribs 8,836 bytes 0 No edit summary undo

curprev 15:1015:10, 28 June 2020 Jochen Burghardt talk contribs 8,836 bytes +6 →Order-sorted logic: defuse WP:EASTEREGG undo
curprev 10:3710:37, 28 June 2020 95.195.135.81 talk 8,830 bytes +34 →Order-sorted logic: Added relevant internal link. undo Tags: Mobile edit Mobile web edit

curprev 10:5410:54, 24 March 2020 InternetArchiveBot talk contribs 8,796 bytes +199 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 18:2018:20, 7 March 2020 Jochen Burghardt talk contribs 8,597 bytes −56 →Order-sorted logic: use new redirect undo
curprev 18:1518:15, 7 March 2020 Jochen Burghardt talk contribs 8,653 bytes +25 →Order-sorted logic: link to particular section undo
curprev 12:3212:32, 7 March 2020 Joel Brennan talk contribs m 8,628 bytes 0 →Order-sorted logic undo

curprev 16:2616:26, 25 October 2019 Imbrifer talk contribs m 8,628 bytes +3 No edit summary undo

curprev 06:0506:05, 9 September 2019 BrownHairedGirl talk contribs m 8,625 bytes +5 replace link to deleted Portal:Logic with Portal:Philosophy undo Tag: AWB

curprev 17:3417:34, 20 May 2019 Kirkzeta talk contribs m 8,620 bytes +34 links to make more understandable undo

curprev 02:0202:02, 16 January 2018 InternetArchiveBot talk contribs 8,586 bytes +86 Rescuing 2 sources and tagging 0 as dead. #IABot (v1.6.2) undo

curprev 09:0709:07, 26 October 2017 Gottlob Gödel talk contribs m 8,500 bytes +1 →Order-sorted logic: grammar and logical syntax improved undo

curprev 17:2717:27, 21 October 2017 Purgy Purgatorio talk contribs 8,499 bytes +12 →top: linked undo

curprev 10:4110:41, 4 September 2017 KolbertBot talk contribs m 8,487 bytes +1 Bot: HTTP→HTTPS undo

curprev 20:4720:47, 5 August 2017 Rriegs talk contribs 8,486 bytes 0 Edit "creature" → "organism"; while "creature" may feasibly include plants, "organism" more obviously does undo
curprev 20:4220:42, 5 August 2017 Rriegs talk contribs m 8,486 bytes +18 →Example: Workaround a mild formatting bug in Wikimedia: <math>\textit{\_}</math> leaves the backslash, while omitting it forms a (peculiar) subscript undo

curprev 13:5513:55, 6 June 2017 Rjwilmsi talk contribs m 8,468 bytes +23 →References: Journal cites, Added 1 doi to a journal cite using AWB (12158) undo

curprev 21:0121:01, 26 December 2016 94.111.170.24 talk 8,445 bytes +2 Undid revision 756784597 by 94.111.170.24 (talk) undo
curprev 20:5720:57, 26 December 2016 94.111.170.24 talk 8,443 bytes −2 →Example: bad underscore escape in Latex mode undo

curprev 13:3313:33, 21 September 2016 109.153.241.184 talk 8,445 bytes +146 →References undo
curprev 13:3113:31, 21 September 2016 109.153.241.184 talk 8,299 bytes +146 →References undo

curprev 19:0819:08, 21 February 2015 Jochen Burghardt talk contribs 8,153 bytes +4 →Order-sorted logic: wikilink undo

curprev 12:2412:24, 24 May 2014 Rjwilmsi talk contribs m 8,149 bytes +81 Added 3 dois to journal cites using AWB (10210) undo

curprev 18:2218:22, 25 January 2014 Monkbot talk contribs m 8,068 bytes −18 →Order-sorted logic: Fix CS1 deprecated date parameter errors undo

curprev 16:3316:33, 18 December 2013 ChrisGualtieri talk contribs m 8,086 bytes −15 Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using AWB undo

curprev 18:0918:09, 15 September 2013 BarrelProof talk contribs m 8,101 bytes −1 →Algebraization: MOS:REFPUNCT (space before <ref> tag) undo
curprev 18:0818:08, 15 September 2013 BarrelProof talk contribs 8,102 bytes 0 Revert unnecessary and inconsistent change of spelling style from recent edit undo

curprev 19:1419:14, 11 September 2013 Jochen Burghardt talk contribs 8,102 bytes +765 →References: added ref.s undo

curprev 14:1914:19, 8 September 2013 Khazar2 talk contribs m 7,337 bytes 0 →Order-sorted logic: clean up, typos fixed: langauges → languages using AWB undo

curprev 02:4802:48, 25 August 2013 Ctxppc talk contribs m 7,337 bytes 0 Corrected spelling. undo Tag: Visual edit

curprev 13:1113:11, 27 July 2013 Jochen Burghardt talk contribs 7,337 bytes +250 →Algebraization: fixed citation of Caleiro's and Gonçalves' article undo

curprev 17:1917:19, 26 July 2013 AndrewDressel talk contribs 7,087 bytes +17 Sort final sections into standard order undo

curprev 18:5318:53, 19 July 2013 Jochen Burghardt talk contribs 7,070 bytes +19 →See also: linked to logic portal undo

curprev 16:5116:51, 10 July 2013 Wavehunter talk contribs m 7,051 bytes +2 →Example undo

31 December 2024

9 May 2024

8 May 2024

28 February 2024

21 February 2024

31 October 2022

7 February 2022

3 June 2021

19 February 2021

22 December 2020

19 September 2020

26 August 2020

12 August 2020

28 June 2020

24 March 2020

7 March 2020

25 October 2019

9 September 2019

20 May 2019

16 January 2018

26 October 2017

21 October 2017

4 September 2017

5 August 2017

6 June 2017

26 December 2016

21 September 2016

21 February 2015

24 May 2014

25 January 2014

18 December 2013

15 September 2013

11 September 2013

8 September 2013

25 August 2013

27 July 2013

26 July 2013

19 July 2013

10 July 2013