Properties (64)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
team
|
| gptkbp:aimsTo |
improve formal methods
|
| gptkbp:collaboratesWith |
mathematicians
|
| gptkbp:contributedTo |
mathematical libraries
|
| gptkbp:develops |
gptkb:Mizar_language
formal proofs |
| gptkbp:engagesIn |
community outreach
|
| gptkbp:focusesOn |
formal verification
|
| gptkbp:hasAccreditation |
computer algebra systems
|
| gptkbp:hasCitations |
workshops
seminars |
| gptkbp:hasClient |
open-source software
mathematical software formal verification research |
| gptkbp:hasCollaboratedWith |
gptkb:University_of_Bialystok
research institutions |
| gptkbp:hasDeveloped |
Mizar documentation
Mizar_articles Mizar_proof_assistant Mizar_proof_checker |
| gptkbp:hasEstablished |
partnerships
research partnerships |
| gptkbp:hasEvents |
international recognition
|
| gptkbp:hasMember |
experts in logic
|
| gptkbp:hasParticipatedIn |
educational programs
collaborative projects international collaborations research initiatives collaborative research publications |
| gptkbp:hasPublications |
research findings
numerous papers |
| https://www.w3.org/2000/01/rdf-schema#label |
Mizar Team
|
| gptkbp:isActiveIn |
educational outreach
mathematical education mathematical logic |
| gptkbp:isBasedOn |
gptkb:Poland
|
| gptkbp:isEngagedIn |
educational initiatives
formal methods research |
| gptkbp:isFocusedOn |
mathematical proofs
proof verification proof development |
| gptkbp:isInvolvedIn |
academic research
community projects software development academic conferences |
| gptkbp:isKnownFor |
Mizar_formalism
Mizar_library Mizar_system |
| gptkbp:isPartOf |
academic collaborations
formal methods community |
| gptkbp:isRecognizedBy |
mathematical_societies
|
| gptkbp:isRecognizedFor |
contributions to mathematics
|
| gptkbp:isSupportedBy |
grants
academic institutions academic funding |
| gptkbp:participatesIn |
research conferences
|
| gptkbp:partOf |
Mizar_project
|
| gptkbp:promotes |
mathematical rigor
|
| gptkbp:provides |
educational resources
|
| gptkbp:supports |
open-source projects
|
| gptkbp:uses |
set theory
|
| gptkbp:utilizes |
proof assistants
|
| gptkbp:wasFoundedIn |
1989
|