Logic for Computable Functions: Revision history

Article
Talk

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 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

curprev 04:0804:08, 11 July 2007 Gregbard talk contribs m 893 bytes +16 No edit summary undo

curprev 01:3201:32, 15 January 2007 Hairy Dude talk contribs 877 bytes +13 use full sentences undo

curprev 22:0322:03, 29 August 2006 Unquietwiki talk contribs m 864 bytes +109 step undo

curprev 05:3205:32, 10 May 2006 Jpbowen talk contribs m 755 bytes −28 Removed super-category undo

curprev 17:4417:44, 30 August 2005 Jpbowen talk contribs m 783 bytes +58 No edit summary undo

curprev 11:5611:56, 1 June 2005 82.32.72.35 talk 725 bytes +33 No edit summary undo

curprev 08:1508:15, 13 October 2004 Chalst talk contribs m 692 bytes +7 <>cat undo

curprev 05:0305:03, 8 September 2004 Ascánder talk contribs m 685 bytes +11 --> es: undo

curprev 17:3117:31, 2 September 2004 Leibniz talk contribs 674 bytes +77 No edit summary undo

curprev 04:4604:46, 2 October 2003 Michaeln talk contribs 597 bytes +149 Rewording, and mention that some development took place at Stanford as well as Edinburgh undo

curprev 04:5604:56, 29 December 2002 Mav talk contribs m 448 bytes +22 topics in bold undo

curprev 01:4501:45, 27 December 2002 18.111.0.136 talk 426 bytes −2 No edit summary undo
curprev 01:4201:42, 27 December 2002 18.111.0.136 talk 428 bytes +428 No edit summary

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