Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Mizar_system> ?p ?o. }
Showing items 1 to 61 of
61
with 100 items per page.
- Mizar_system abstract "The Mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of formalized mathematics which can be used in the proof of new theorems. The system is maintained and developed by the Mizar Project, formerly under the direction of its founder Andrzej Trybulec.The Mizar Mathematical Library is the largest coherent body of strictly formalized mathematics in existence.".
- Mizar_system designer Andrzej_Trybulec.
- Mizar_system influenced Coq.
- Mizar_system influenced HOL_Light.
- Mizar_system influenced OMDoc.
- Mizar_system influencedBy Automath.
- Mizar_system thumbnail Mizar_MathWiki_screenshot.png?width=300.
- Mizar_system wikiPageExternalLink mizar.uwb.edu.pl.
- Mizar_system wikiPageID "209074".
- Mizar_system wikiPageRevisionID "599212951".
- Mizar_system collapsible "yes".
- Mizar_system designer Andrzej_Trybulec.
- Mizar_system fileExt ".miz .voc".
- Mizar_system hasPhotoCollection Mizar_system.
- Mizar_system influenced "OMDoc, HOL Light and Coq mizar modes".
- Mizar_system influencedBy Automath.
- Mizar_system logo File:Mizar_system_logo.gif.
- Mizar_system name "Mizar".
- Mizar_system paradigm Declarative_programming.
- Mizar_system released "1973".
- Mizar_system screenshot File:Mizar_MathWiki_screenshot.png.
- Mizar_system screenshotCaption "Mizar MathWiki screenshot".
- Mizar_system typing Strong_and_weak_typing.
- Mizar_system typing Type_system.
- Mizar_system website mizar.uwb.edu.pl.
- Mizar_system subject Category:Dependently_typed_languages.
- Mizar_system subject Category:Educational_math_software.
- Mizar_system subject Category:Large-scale_mathematical_formalization_projects.
- Mizar_system subject Category:Mathematical_societies.
- Mizar_system subject Category:Proof_assistants.
- Mizar_system type Abstraction100002137.
- Mizar_system type Communication100033020.
- Mizar_system type DependentlyTypedLanguages.
- Mizar_system type FormalLanguages.
- Mizar_system type Language106282651.
- Mizar_system type ProgrammingLanguage.
- Mizar_system type Software.
- Mizar_system type Work.
- Mizar_system type CreativeWork.
- Mizar_system type InformationEntity.
- Mizar_system comment "The Mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of formalized mathematics which can be used in the proof of new theorems.".
- Mizar_system label "Mizar (système)".
- Mizar_system label "Mizar System".
- Mizar_system label "Mizar system".
- Mizar_system label "Mizar".
- Mizar_system label "Sistema Mizar".
- Mizar_system label "System Mizar".
- Mizar_system sameAs Mizar_System.
- Mizar_system sameAs Mizar_(système).
- Mizar_system sameAs Sistema_Mizar.
- Mizar_system sameAs Mizar.
- Mizar_system sameAs System_Mizar.
- Mizar_system sameAs m.01dpvn.
- Mizar_system sameAs Q1609529.
- Mizar_system sameAs Q1609529.
- Mizar_system sameAs Mizar_system.
- Mizar_system wasDerivedFrom Mizar_system?oldid=599212951.
- Mizar_system depiction Mizar_MathWiki_screenshot.png.
- Mizar_system homepage mizar.uwb.edu.pl.
- Mizar_system isPrimaryTopicOf Mizar_system.
- Mizar_system name "Mizar".