Properties (59)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal language
|
| gptkbp:allows |
formalization of mathematics
|
| gptkbp:basedOn |
set theory
|
| gptkbp:designedBy |
first-order logic
|
| gptkbp:designedFor |
mathematical proofs
|
| gptkbp:developedBy |
Grzegorz Bancerek
|
| gptkbp:enables |
collaborative mathematics
|
| gptkbp:firstAppearance |
1975
|
| gptkbp:hasFeature |
human-readable syntax
|
| gptkbp:hasInfluenceOn |
formal verification
|
| gptkbp:hasOccupation |
Mizar_users
|
| gptkbp:hasRelatedPatent |
computer science
|
| gptkbp:hasVersion |
Mizar_4.0
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mizar language
|
| gptkbp:isAssociatedWith |
formal proofs
|
| gptkbp:isAvailableIn |
GitHub
open-source format |
| gptkbp:isCompatibleWith |
various operating systems
other proof assistants |
| gptkbp:isDocumentedIn |
academic journals
Mizar documentation Mizar documentation team |
| gptkbp:isInfluencedBy |
type theory
|
| gptkbp:isKnownFor |
its expressiveness
its rigor |
| gptkbp:isLocatedIn |
C programming language
|
| gptkbp:isPartOf |
mathematical logic
computer science curriculum computer-aided verification formal verification tools. theorem proving community Mizar_project |
| gptkbp:isRecognizedBy |
academic institutions
|
| gptkbp:isRecognizedFor |
its contributions to mathematics
a significant tool |
| gptkbp:isRelatedTo |
mathematical formalism
formal methods |
| gptkbp:isSimilarTo |
Coq
|
| gptkbp:isSupportedBy |
academic research
user community proof assistants Mizar_team |
| gptkbp:isTaughtIn |
academic courses
|
| gptkbp:isUsedBy |
researchers
mathematicians |
| gptkbp:isUsedFor |
automated theorem proving
|
| gptkbp:isUsedIn |
academic publications
proof theory formal verification processes |
| gptkbp:isUtilizedFor |
mathematical reasoning
|
| gptkbp:isUtilizedIn |
educational settings
software verification |
| gptkbp:isVisitedBy |
1975
community contributions Mizar_team |
| gptkbp:provides |
proof assistant
|
| gptkbp:publishedIn |
Mizar_syntax
|
| gptkbp:supports |
proof checking
|
| gptkbp:usedIn |
Mizar_Mathematical_Library
|