Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:category |
theorem proving software
|
| gptkbp:developer |
gptkb:University_of_California,_Berkeley
|
| https://www.w3.org/2000/01/rdf-schema#label |
Nominator
|
| gptkbp:language |
gptkb:Lisp
|
| gptkbp:notableFor |
early use in automated reasoning
|
| gptkbp:operatingSystem |
gptkb:Unix
|
| gptkbp:purpose |
automated theorem proving
|
| gptkbp:releaseYear |
1970s
|
| gptkbp:bfsParent |
gptkb:Nominated_Proof_of_Stake
|
| gptkbp:bfsLayer |
6
|