Higher-order 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 10:5010:50, 5 December 2023‎ Throowa talk contribs‎ 9,503 bytes −10‎ linked mathematics, removed a contradiction in introduction undo Tag: Visual edit

curprev 23:1523:15, 5 November 2023‎ Векочел talk contribs‎ m 9,513 bytes −4‎ De-link common terms (by script) per MOS:OVERLINK undo

curprev 15:2315:23, 15 September 2023‎ Arjayay talk contribs‎ m 9,517 bytes −13‎ duplication removed undo

curprev 09:0809:08, 18 August 2023‎ OAbot talk contribs‎ m 9,530 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

curprev 07:5207:52, 30 June 2023‎ Graham87 talk contribs‎ 9,534 bytes +8‎ Undid revision 1154662457 by AlHarriba (talk), disruptive editor undo Tag: Undo

curprev 07:3107:31, 20 June 2023‎ Jochen Burghardt talk contribs‎ 9,526 bytes +402‎ →‎Properties: Goldfarb.1981: 2nd-order undo

curprev 23:0323:03, 19 June 2023‎ Finell talk contribs‎ 9,124 bytes +6‎ →‎top: Wikify, copy edit undo
curprev 23:0223:02, 19 June 2023‎ Finell talk contribs‎ 9,118 bytes +18‎ →‎top: Wikify, copy edit undo
curprev 22:5922:59, 19 June 2023‎ Finell talk contribs‎ 9,100 bytes −58‎ Wikify, copy edit undo

curprev 06:5306:53, 13 June 2023‎ Jochen Burghardt talk contribs‎ 9,158 bytes +114‎ →‎Properties: URL for Huet's Ph.D.thesis undo

curprev 21:5021:50, 13 May 2023‎ AlHarriba talk contribs‎ 9,044 bytes −8‎ No edit summary undo Tags: Reverted Visual edit

curprev 07:4507:45, 24 April 2023‎ Novem Linguae talk contribs‎ m 9,052 bytes −33‎ →‎top: Remove unnecessary <span> tag undo Tag: AWB

curprev 19:3919:39, 1 February 2023‎ 2a02:1812:110c:dc00:7ded:952e:2b12:e152 talk‎ 9,085 bytes +16‎ No edit summary undo

curprev 06:5506:55, 8 October 2022‎ The-erinaceous-one talk contribs‎ m 9,069 bytes +47‎ →‎See also: add Zeroth-order logic undo

curprev 23:1723:17, 24 August 2022‎ Mgkrupa talk contribs‎ 9,022 bytes +24‎ Added {{Mathematical logic}} undo

curprev 16:1616:16, 6 August 2022‎ 37.111.6.9 talk‎ 8,998 bytes +33‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 23:3123:31, 6 June 2022‎ Segaton talk contribs‎ 8,965 bytes +29‎ category undo

curprev 15:3115:31, 20 May 2022‎ MichaelMaggs talk contribs‎ 8,936 bytes −107‎ Per WP:SDSHORT and WP:SDJARGON undo

curprev 21:4921:49, 13 April 2022‎ 2a01:cb15:41b:4300:582:8f95:a001:b853 talk‎ 9,043 bytes −13‎ →‎Examples and properties: There are no examples here, only properties undo

curprev 11:3411:34, 5 December 2021‎ Omnipaedista talk contribs‎ 9,056 bytes −18‎ WP:SBE undo

curprev 14:0314:03, 30 November 2021‎ Luzinm talk contribs‎ 9,074 bytes 0‎ →‎Semantics undo Tags: Mobile edit Mobile app edit Android app edit

curprev 17:1517:15, 25 May 2021‎ 213.119.8.88 talk‎ 9,074 bytes +33‎ No edit summary undo

curprev 01:5301:53, 28 March 2021‎ Beland talk contribs‎ m 9,041 bytes −11‎ convert special characters (via WP:JWB) undo

curprev 22:3422:34, 19 February 2021‎ Vkuncak talk contribs‎ m 9,052 bytes +28‎ →‎See also: added link to HOL proof assistant undo

curprev 05:4105:41, 21 August 2020‎ 188.235.122.32 talk‎ 9,024 bytes +18‎ →‎See also undo

curprev 23:2923:29, 19 July 2020‎ Bender the Bot talk contribs‎ m 9,006 bytes +1‎ →‎References: HTTP → HTTPS for Radboud University computer science department, replaced: http://www.cs.ru.nl/ → https://www.cs.ru.nl/ undo Tag: AWB

curprev 23:2423:24, 18 April 2020‎ WikiCleanerBot talk contribs‎ m 9,005 bytes 0‎ v2.02b - Bot T12 - WP:WCW project (Punctuation in link) undo Tag: WPCleaner

curprev 18:5718:57, 16 April 2020‎ OAbot talk contribs‎ m 9,005 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

curprev 20:5720:57, 19 February 2020‎ 2604:2000:e010:1100:48a4:be41:99d3:4b3f talk‎ 8,988 bytes +4‎ No edit summary undo

curprev 17:1717:17, 19 July 2019‎ Nemo bis talk contribs‎ 8,984 bytes −165‎ Add: chapter-url. Removed or converted URL. Removed parameters. Some additions/deletions were actually parameter name changes.| You can use this tool yourself. Report bugs here. undo

curprev 08:0108:01, 29 May 2019‎ 94.65.216.254 talk‎ 9,149 bytes −5‎ MOS:CAPS undo

curprev 22:5522:55, 23 May 2019‎ Jamihiller talk contribs‎ 9,154 bytes +6‎ Split long sentence to make it more readable. undo Tags: Mobile edit Mobile web edit

curprev 14:3114:31, 6 May 2019‎ FrescoBot talk contribs‎ m 9,148 bytes −91‎ Bot: link syntax and minor changes undo

curprev 22:0322:03, 24 April 2019‎ EdmundT talk contribs‎ m 9,239 bytes −15‎ Spelling undo
curprev 08:4908:49, 24 April 2019‎ Bbbaat talk contribs‎ m 9,254 bytes +492‎ Meaning of "simple types" more precisely explained. undo

curprev 06:2706:27, 22 April 2019‎ GenQuest talk contribs‎ 8,762 bytes +152‎ Importing Wikidata short description: "Form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics" (Shortdesc helper) undo

curprev 21:3721:37, 14 January 2019‎ Guy Macon talk contribs‎ 8,610 bytes −19‎ Spamming templates into dozens of articles. Undid revision 878118574 by MisterCake (talk) undo Tag: Undo

curprev 03:5803:58, 13 January 2019‎ MisterCake talk contribs‎ 8,629 bytes +19‎ →‎External links undo

curprev 02:0402:04, 15 November 2018‎ Jarble talk contribs‎ m 8,610 bytes 0‎ fixing a broken link undo

curprev 23:4723:47, 16 July 2018‎ 73.119.19.79 talk‎ 8,610 bytes −376‎ →‎Quantification scope: Deleted unclear, non-referenced, "gibberish" expression. Please reintroduce it only if you can state what each letter means, therefore helping the reader understand it undo

curprev 14:1514:15, 28 March 2018‎ Paradoctor talk contribs‎ m 8,986 bytes +83‎ →‎Quantification scope: dab hatnote undo

curprev 14:0114:01, 23 March 2018‎ Rotondus talk contribs‎ m 8,903 bytes +10‎ better structure of article undo

curprev 08:2108:21, 2 November 2017‎ KolbertBot talk contribs‎ m 8,893 bytes +1‎ Bot: HTTP→HTTPS (v475) undo

curprev 16:4316:43, 11 October 2017‎ Maximillion Pegasus talk contribs‎ m 8,892 bytes +1‎ →‎Semantic undo

curprev 07:1107:11, 18 August 2017‎ Quinton Feldberg talk contribs‎ m 8,891 bytes +9‎ fix citations undo

curprev 22:3322:33, 28 July 2017‎ 151.224.16.211 talk‎ 8,882 bytes 0‎ No edit summary undo

curprev 11:2311:23, 14 June 2017‎ Magic links bot talk contribs‎ m 8,882 bytes +16‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 00:5700:57, 1 June 2017‎ CBM talk contribs‎ 8,866 bytes +1‎ Left unbalanced parents - Undid revision 783242201 by 50.90.43.12 (talk) undo
curprev 00:5200:52, 1 June 2017‎ 50.90.43.12 talk‎ 8,865 bytes −1‎ →‎Quantification scope: Removed unnecessary parenthesis undo Tags: Mobile edit Mobile web edit

curprev 20:1720:17, 27 May 2017‎ Jarble talk contribs‎ 8,866 bytes +36‎ →‎See also undo

5 December 2023

5 November 2023

15 September 2023

18 August 2023

30 June 2023

20 June 2023

19 June 2023

13 June 2023

13 May 2023

24 April 2023

1 February 2023

8 October 2022

24 August 2022

6 August 2022

6 June 2022

20 May 2022

13 April 2022

5 December 2021

30 November 2021

25 May 2021

28 March 2021

19 February 2021

21 August 2020

19 July 2020

18 April 2020

16 April 2020

19 February 2020

19 July 2019

29 May 2019

23 May 2019

6 May 2019

24 April 2019

22 April 2019

14 January 2019

13 January 2019

15 November 2018

16 July 2018

28 March 2018

23 March 2018

2 November 2017

11 October 2017

18 August 2017

28 July 2017

14 June 2017

1 June 2017

27 May 2017