Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logic_for_Computable_Functions> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Logic_for_Computable_Functions abstract "Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972. LCF introduced the general-purpose programming language ML to allow users to write theorem-proving tactics. Theorems in the system are terms of a special \"theorem\" abstract data type. The ML type system ensures that theorems are derived using only the inference rules given by the operations of the abstract type.Successors include HOL (Higher Order Logic) and Isabelle.".
- Logic_for_Computable_Functions wikiPageExternalLink HolHistory.html.
- Logic_for_Computable_Functions wikiPageID "161900".
- Logic_for_Computable_Functions wikiPageLength "2572".
- Logic_for_Computable_Functions wikiPageOutDegree "12".
- Logic_for_Computable_Functions wikiPageRevisionID "705330118".
- Logic_for_Computable_Functions wikiPageWikiLink Abstract_data_type.
- Logic_for_Computable_Functions wikiPageWikiLink Automated_theorem_proving.
- Logic_for_Computable_Functions wikiPageWikiLink Category:Logic_in_computer_science.
- Logic_for_Computable_Functions wikiPageWikiLink Category:Proof_assistants.
- Logic_for_Computable_Functions wikiPageWikiLink HOL_(proof_assistant).
- Logic_for_Computable_Functions wikiPageWikiLink Isabelle_(proof_assistant).
- Logic_for_Computable_Functions wikiPageWikiLink ML_(programming_language).
- Logic_for_Computable_Functions wikiPageWikiLink Programming_language.
- Logic_for_Computable_Functions wikiPageWikiLink Robin_Milner.
- Logic_for_Computable_Functions wikiPageWikiLink Rule_of_inference.
- Logic_for_Computable_Functions wikiPageWikiLink Stanford_University.
- Logic_for_Computable_Functions wikiPageWikiLink University_of_Edinburgh.
- Logic_for_Computable_Functions wikiPageWikiLinkText "LCF theorem prover".
- Logic_for_Computable_Functions wikiPageWikiLinkText "LCF".
- Logic_for_Computable_Functions wikiPageWikiLinkText "Logic for Computable Functions".
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Cite_book.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Cite_manual.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Cite_web.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Mathlogic-stub.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Refbegin.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Refend.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:Reflist.
- Logic_for_Computable_Functions wikiPageUsesTemplate Template:See_also.
- Logic_for_Computable_Functions subject Category:Logic_in_computer_science.
- Logic_for_Computable_Functions subject Category:Proof_assistants.
- Logic_for_Computable_Functions hypernym Prover.
- Logic_for_Computable_Functions type Software.
- Logic_for_Computable_Functions type Assistant.
- Logic_for_Computable_Functions type Redirect.
- Logic_for_Computable_Functions type Thing.
- Logic_for_Computable_Functions comment "Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972. LCF introduced the general-purpose programming language ML to allow users to write theorem-proving tactics. Theorems in the system are terms of a special \"theorem\" abstract data type.".
- Logic_for_Computable_Functions label "Logic for Computable Functions".
- Logic_for_Computable_Functions seeAlso Logic_of_Computable_Functions.
- Logic_for_Computable_Functions sameAs Q6667462.
- Logic_for_Computable_Functions sameAs LCF.
- Logic_for_Computable_Functions sameAs m.015gtq.
- Logic_for_Computable_Functions sameAs Q6667462.
- Logic_for_Computable_Functions wasDerivedFrom Logic_for_Computable_Functions?oldid=705330118.
- Logic_for_Computable_Functions isPrimaryTopicOf Logic_for_Computable_Functions.