Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
proof assistant |
| gptkbp:category |
statistical analysis
automated theorem proving |
| gptkbp:citation |
10.1007/3-540-39118-5_1
|
| gptkbp:countryOfOrigin |
gptkb:Poland
|
| gptkbp:designedBy |
Andrzej Trybulec
|
| gptkbp:developedBy |
gptkb:University_of_Białystok
|
| gptkbp:firstReleased |
1973
|
| gptkbp:hasComponent |
Mizar Mathematical Library
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mizar system
|
| gptkbp:influenced |
gptkb:Coq
gptkb:HOL_Light gptkb:Isabelle |
| gptkbp:language |
Mizar language
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:operatingSystem |
cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Pascal
|
| gptkbp:usedFor |
formalization of mathematics
|
| gptkbp:website |
http://mizar.org/
|
| gptkbp:bfsParent |
gptkb:Isabelle_proof_assistant
|
| gptkbp:bfsLayer |
7
|