Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theorem prover
|
| gptkbp:basedOn |
gptkb:Logic_for_Computable_Functions
|
| gptkbp:countryOfOrigin |
gptkb:United_Kingdom
|
| gptkbp:developedBy |
gptkb:Robin_Milner
gptkb:University_of_Edinburgh |
| gptkbp:field |
gptkb:logic
automated theorem proving |
| gptkbp:firstReleased |
1973
|
| https://www.w3.org/2000/01/rdf-schema#label |
LCF theorem prover
|
| gptkbp:influenced |
gptkb:HOL_theorem_prover
gptkb:Isabelle |
| gptkbp:notableFeature |
abstract data types for representing theorems
use of ML as a meta-language user-extensible proof tactics |
| gptkbp:notablePublication |
gptkb:A_Theory_of_Type_Polymorphism_in_Programming_(Milner,_1978)
gptkb:Logic_for_Computable_Functions_(Milner,_1972) |
| gptkbp:writtenBy |
gptkb:ML_programming_language
|
| gptkbp:bfsParent |
gptkb:Robin_Milner
|
| gptkbp:bfsLayer |
5
|