Jump to content

Logical framework: 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 21:5321:53, 4 November 2023 Neils51 talk contribs m 7,418 bytes −7 →top: minor ce undo

curprev 20:1620:16, 29 August 2019 Bender the Bot talk contribs m 7,425 bytes +2 HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ (2) undo Tag: AWB

curprev 09:5109:51, 7 March 2019 98.4.103.219 talk 7,423 bytes +33 →External links undo

curprev 14:4714:47, 19 February 2019 Ploni talk contribs 7,390 bytes +4 →Further reading undo

curprev 06:3606:36, 5 January 2018 InternetArchiveBot talk contribs 7,386 bytes +43 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.1) undo

curprev 13:0313:03, 20 November 2017 Ancheta Wis talk contribs 7,343 bytes +25 →See also: +1 undo
curprev 12:5112:51, 20 November 2017 Onel5969 talk contribs m 7,318 bytes −23 Disambiguating links to Provable (link changed to Provability logic) using DisamAssist. undo

curprev 22:3722:37, 14 October 2017 JCW-CleanerBot talk contribs m 7,341 bytes +33 clean up |journal= parameter per task, replaced: Int. J. of → International Journal of using AWB undo

curprev 11:4811:48, 28 July 2017 Bbbaat talk contribs m 7,308 bytes +28 →LF: I introduced for clarity the word "kind" already used later in the same section. undo

curprev 07:2007:20, 10 July 2017 Βασίλης talk contribs m 7,280 bytes +4 →Further reading undo

curprev 20:4020:40, 25 April 2017 Omnipaedista talk contribs 7,276 bytes −4 →Overview undo

curprev 17:5517:55, 18 April 2017 Uncle Roy talk contribs 7,280 bytes +22 Help needed: Provability undo Tag: Dispenser [2.4]

curprev 20:0720:07, 28 October 2016 Bender the Bot talk contribs m 7,258 bytes +2 →top: http→https for Google Books and Google News using AWB undo

curprev 21:0921:09, 16 October 2015 Jpbowen talk contribs 7,256 bytes +61 Tidying, links undo

curprev 08:0908:09, 15 August 2015 188.177.123.126 talk 7,195 bytes −54 →LF: linking and formatting tweaks undo

curprev 05:3005:30, 25 June 2015 122.5.32.10 talk 7,249 bytes +1 No edit summary undo

curprev 18:2918:29, 3 April 2014 Masssly talk contribs 7,248 bytes −2 clean up using AWB undo

curprev 14:1914:19, 25 November 2013 BD2412 talk contribs m 7,250 bytes +14 →LF: Fixing links to disambiguation pages, replaced: Kant → Kant using AWB undo

curprev 19:0419:04, 28 July 2013 Melchoir talk contribs m 7,236 bytes +9 hide parentheses in link to Isabelle (theorem prover) undo

curprev 20:2820:28, 24 July 2013 174.126.108.52 talk 7,227 bytes +29 Added a link to Ranta's Grammatical Framework, a logical framework in the Martin-Löf tradition used for formalizing and reasoning about linguistic concepts undo
curprev 20:2620:26, 24 July 2013 174.126.108.52 talk 7,198 bytes −31 Removed 'Logical Framework Approach' (what does that have to do with LFs in the mathematical logic sense?) undo Tag: section blanking

curprev 12:0912:09, 13 March 2013 Addbot talk contribs m 7,233 bytes −21 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6667502 undo

curprev 08:0708:07, 24 December 2012 MZMcBride talk contribs 7,254 bytes −32 -Category:Article Feedback 5 undo

curprev 03:3203:32, 21 October 2012 65.113.15.181 talk 7,286 bytes +45 link to Logical framework approach undo

curprev 03:2403:24, 12 May 2012 Helpful Pixie Bot talk contribs m 7,241 bytes +16 ISBNs (Build KH) undo

curprev 16:0716:07, 3 February 2012 A3nm talk contribs 7,225 bytes −11 →LF as example: change section title to "LF" undo

curprev 23:2223:22, 4 January 2012 Reedy Bot talk contribs 7,236 bytes +32 →External links: Tagging for AFT v5 undo

curprev 07:1807:18, 21 September 2011 Cydebot talk contribs m 7,204 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 11:1211:12, 15 September 2011 Ruud Koot talk contribs 7,224 bytes +4 lk undo

curprev 01:0001:00, 14 September 2011 Ruud Koot talk contribs 7,220 bytes +55 cat undo

curprev 15:2215:22, 10 July 2011 Arjayay talk contribs m 7,165 bytes +6 Add sic undo

curprev 10:5610:56, 19 April 2011 Tijfo098 talk contribs 7,159 bytes +5 →LF as example: clarify undo
curprev 02:2102:21, 19 April 2011 Vegaswikian talk contribs m 7,154 bytes 0 moved LF (logical framework) to Logical framework: Page moved per WP:RM discussion undo

curprev 02:1802:18, 14 April 2011 Tijfo098 talk contribs m 7,154 bytes +18 →LF as example undo

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