Jump to content

Logic for Computable Functions: Revision history

View logs for this page (view filter log)

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 18:4818:48, 19 March 2025 23.136.216.2 talk 5,516 bytes −6 No edit summary undo

curprev 22:0022:00, 17 March 2025 Kku talk contribs m 5,522 bytes +4 link proof assistant undo

curprev 12:4112:41, 25 July 2024 Syrak talk contribs m 5,518 bytes −6 Update link to a reference undo

curprev 16:1716:17, 28 May 2024 12.0.70.4 talk 5,524 bytes +2 →Trusted computing base undo

curprev 19:1119:11, 6 March 2024 Jlwoodwa talk contribs m 5,522 bytes +2 WP:STUBSPACING undo

curprev 19:1819:18, 29 February 2024 Jerryobject talk contribs 5,520 bytes −97 →References: WP:REFerence WP:CITation parameters: respaces, cut whitespace characters to standardize, aid work via small screens, reorders, adds, fills, update-standardizes. WP:NAVBOX add. undo

curprev 02:5402:54, 23 January 2023 Citation bot talk contribs 5,617 bytes +22 Alter: pages. Add: s2cid. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | Linked from User:AManWithNoPlan/sandbox4 | #UCB_webform_linked 55/1831 undo

curprev 04:5404:54, 30 August 2022 OlliverWithDoubleL talk contribs m 5,595 bytes +52 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 23:1823:18, 26 July 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 5,543 bytes +11 No edit summary undo

curprev 16:1816:18, 2 June 2022 GreenC bot talk contribs 5,532 bytes 0 Move 1 url. Wayback Medic 2.5 undo

curprev 16:2916:29, 1 June 2022 GreenC bot talk contribs 5,532 bytes +158 Rescued 1 archive link. Wayback Medic 2.5 undo

curprev 22:4822:48, 29 January 2021 Monkbot talk contribs m 5,374 bytes −11 Task 18 (cosmetic): eval 7 templates: del empty params (1×); hyphenate params (4×); undo Tag: AWB

curprev 11:2111:21, 16 August 2020 WikiCleanerBot talk contribs m 5,385 bytes −4 v2.03b - Bot T19 CW#25 - WP:WCW project (Heading hierarchy) undo Tag: WPCleaner

curprev 16:1916:19, 21 May 2020 Omnipaedista talk contribs 5,389 bytes +13 see MOS:SECTIONORDER undo

curprev 04:3704:37, 26 March 2020 2600:1700:5d80:d1b0:b894:cac8:eb09:2bad talk 5,376 bytes +1 →Efficiency and complexity of proof procedures: Fixed typos. undo
curprev 04:3604:36, 26 March 2020 2600:1700:5d80:d1b0:b894:cac8:eb09:2bad talk 5,375 bytes 0 →Basic idea: Fixed typo. undo

curprev 14:3114:31, 17 March 2020 Omnipaedista talk contribs 5,375 bytes 0 No edit summary undo

curprev 06:1406:14, 2 December 2019 152.18.31.30 talk 5,375 bytes −2 No edit summary undo

curprev 15:2815:28, 2 November 2019 Vkuncak talk contribs m 5,377 bytes +5 typo in reference undo
curprev 15:2615:26, 2 November 2019 Vkuncak talk contribs 5,372 bytes +2,728 Expanding the article and relating it to others. undo

curprev 05:5505:55, 3 December 2017 Tom.Reding talk contribs m 2,644 bytes −36 →References: Fix Category:Pages using citations with accessdate and no URL when permanent identifier present; possible ref cleanup; WP:GenFixes on; using AWB undo

curprev 19:4019:40, 17 August 2017 AManWithNoPlan talk contribs 2,680 bytes −16 →References undo
curprev 19:4019:40, 17 August 2017 AManWithNoPlan talk contribs 2,696 bytes +37 →References: | Assisted by Citation bot undo

curprev 16:2816:28, 30 June 2017 79.73.56.123 talk 2,659 bytes −23 No edit summary undo

curprev 21:3021:30, 4 July 2016 Fuxx talk contribs 2,682 bytes 0 Undid revision 728240270 by 2405:204:8001:FA4A:96FE:519C:275:9FCF (talk) undo
curprev 05:3805:38, 4 July 2016 2405:204:8001:fa4a:96fe:519c:275:9fcf talk 2,682 bytes 0 →References undo Tag: Mobile app edit

curprev 19:2019:20, 15 June 2016 CBM talk contribs m 2,682 bytes +139 It turns out that, in order to include the access dates, it is necessary to include a redundant url= parameter undo

curprev 18:2918:29, 13 June 2016 Tom.Reding talk contribs m 2,543 bytes −36 Fix Category:Pages using citations with accessdate and no URL when perm identifier present (doi|bibcode|arxiv|pmid|jstor|isbn|issn|lccn|oclc|ismn|hdl): rem access-date using AWB undo

curprev 21:3121:31, 16 February 2016 Matěj Grabovský talk contribs m 2,579 bytes −46 whitespace undo
curprev 09:5009:50, 16 February 2016 Matěj Grabovský talk contribs 2,625 bytes +1,157 cite 3 more sources undo Tag: Visual edit: Switched

curprev 16:1016:10, 3 April 2014 Masssly talk contribs 1,468 bytes +1 →References: clean up using AWB undo

curprev 18:2318:23, 12 March 2013 Legobot talk contribs m 1,467 bytes −12 Bot: Migrating 1 langlinks to WP:Wikidata - d:q6667462 undo

curprev 11:2811:28, 21 October 2012 Ruud Koot talk contribs 1,479 bytes +4 fix links undo

curprev 07:1807:18, 21 September 2011 Cydebot talk contribs m 1,475 bytes −20 Robot - Moving category Interactive theorem proving software to Category:Proof assistants per CFD at Wikipedia:Categories for discussion/Log/2011 September 14. undo

curprev 16:4516:45, 25 February 2011 Ruud Koot talk contribs 1,495 bytes +43 No edit summary undo
curprev 16:4516:45, 25 February 2011 Ruud Koot talk contribs 1,452 bytes +6 No edit summary undo
curprev 16:4416:44, 25 February 2011 Ruud Koot talk contribs m 1,446 bytes 0 moved LCF (theorem prover) to Logic for Computable Functions over redirect undo

curprev 10:1610:16, 2 July 2010 137.44.2.181 talk 1,446 bytes +355 No edit summary undo

curprev 22:4722:47, 28 August 2009 Michael Hardy talk contribs 1,091 bytes 0 No edit summary undo

curprev 13:5013:50, 24 August 2009 Pcap talk contribs 1,091 bytes +4 →References: mathlogic undo

curprev 23:0423:04, 14 August 2009 Daira Emma Hopwood talk contribs m 1,087 bytes 0 hyphenation undo

curprev 20:0920:09, 25 November 2008 Urhixidur talk contribs 1,087 bytes +21 Explain HOL when first introduced undo

curprev 22:5022:50, 12 December 2007 Greenrd talk contribs m 1,066 bytes +4 subcatted undo

curprev 14:2514:25, 25 November 2007 Cydebot talk contribs m 1,062 bytes +17 Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. undo

curprev 11:2311:23, 11 October 2007 Tea2min talk contribs m 1,045 bytes +14 →References: Added year to Gordon paper undo
curprev 11:1511:15, 11 October 2007 Tea2min talk contribs m 1,031 bytes +252 Added Michael J. C. Gordon's "From LCF to HOL: a short history" as reference undo
curprev 09:1009:10, 11 October 2007 Tea2min talk contribs m 779 bytes −122 Copy-edit undo
curprev 09:0409:04, 11 October 2007 Tea2min talk contribs m 901 bytes 0 moved LCF theorem prover to LCF (theorem prover): Naming conventions. undo

curprev 13:4713:47, 10 September 2007 The Wild Falcon talk contribs m 901 bytes −2 No edit summary undo
curprev 13:4713:47, 10 September 2007 The Wild Falcon talk contribs m 903 bytes +10 No edit summary undo

Retrieved from "https://en.wikipedia.org/wiki/Logic_for_Computable_Functions"