Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Mizar_system> ?p ?o }
- 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 wikiPageLength "11924".
- Mizar_system wikiPageOutDegree "52".
- Mizar_system wikiPageRevisionID "680791131".
- Mizar_system wikiPageWikiLink ASCII.
- Mizar_system wikiPageWikiLink Andrzej_Trybulec.
- Mizar_system wikiPageWikiLink Automated_proof_checking.
- Mizar_system wikiPageWikiLink Automath.
- Mizar_system wikiPageWikiLink Białystok_University.
- Mizar_system wikiPageWikiLink Brouwer_fixed-point_theorem.
- Mizar_system wikiPageWikiLink Brouwer_fixed_point_theorem.
- Mizar_system wikiPageWikiLink Category:Dependently_typed_languages.
- Mizar_system wikiPageWikiLink Category:Educational_math_software.
- Mizar_system wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Mizar_system wikiPageWikiLink Category:Mathematical_societies.
- Mizar_system wikiPageWikiLink Category:Proof_assistants.
- Mizar_system wikiPageWikiLink Classical_logic.
- Mizar_system wikiPageWikiLink Coq.
- Mizar_system wikiPageWikiLink Declarative_programming.
- Mizar_system wikiPageWikiLink Economics.
- Mizar_system wikiPageWikiLink File:Mizar_system_logo.gif.
- Mizar_system wikiPageWikiLink Formal_language.
- Mizar_system wikiPageWikiLink Free_Pascal.
- Mizar_system wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Mizar_system wikiPageWikiLink HOL_Light.
- Mizar_system wikiPageWikiLink Hahn–Banach_theorem.
- Mizar_system wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Mizar_system wikiPageWikiLink Intelligent_Computer_Mathematics.
- Mizar_system wikiPageWikiLink Interactive_Theorem_Proving.
- Mizar_system wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Mizar_system wikiPageWikiLink Jordan_curve_theorem.
- Mizar_system wikiPageWikiLink Journal_of_Automated_Reasoning.
- Mizar_system wikiPageWikiLink Journal_of_Formalized_Reasoning.
- Mizar_system wikiPageWikiLink Kxc3xb6nigs_lemma.
- Mizar_system wikiPageWikiLink Mathematical_formalization.
- Mizar_system wikiPageWikiLink Natural_number.
- Mizar_system wikiPageWikiLink Natural_numbers.
- Mizar_system wikiPageWikiLink OMDoc.
- Mizar_system wikiPageWikiLink PDF.
- Mizar_system wikiPageWikiLink Peer-review.
- Mizar_system wikiPageWikiLink Peer_review.
- Mizar_system wikiPageWikiLink Portable_Document_Format.
- Mizar_system wikiPageWikiLink Probability_theory.
- Mizar_system wikiPageWikiLink Proof_assistant.
- Mizar_system wikiPageWikiLink QED_manifesto.
- Mizar_system wikiPageWikiLink Shinshu_University.
- Mizar_system wikiPageWikiLink Static_typing.
- Mizar_system wikiPageWikiLink Strong_and_weak_typing.
- Mizar_system wikiPageWikiLink Studies_in_Logic,_Grammar_and_Rhetoric.
- Mizar_system wikiPageWikiLink Tarski–Grothendieck_set_theory.
- Mizar_system wikiPageWikiLink Type_system.
- Mizar_system wikiPageWikiLink University_of_Alberta.
- Mizar_system wikiPageWikiLink University_of_Białystok.
- Mizar_system wikiPageWikiLink Vernacular.
- Mizar_system wikiPageWikiLink Weak_typing.
- Mizar_system wikiPageWikiLink Wiki.
- Mizar_system wikiPageWikiLinkText "Mizar project".
- Mizar_system wikiPageWikiLinkText "Mizar system #Mizar Mathematical Library".
- Mizar_system wikiPageWikiLinkText "Mizar system #Mizar Project".
- Mizar_system wikiPageWikiLinkText "Mizar system".
- Mizar_system wikiPageWikiLinkText "Mizar system#Mizar language".
- Mizar_system wikiPageWikiLinkText "Mizar".
- 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 "Mizar MathWiki screenshot.png".
- Mizar_system screenshotCaption "Mizar MathWiki screenshot".
- Mizar_system typing Static_typing.
- Mizar_system typing Strong_and_weak_typing.
- Mizar_system typing Type_system.
- Mizar_system typing Weak_typing.
- Mizar_system website mizar.uwb.edu.pl.
- Mizar_system wikiPageUsesTemplate Template:For.
- Mizar_system wikiPageUsesTemplate Template:Infobox_programming_language.
- Mizar_system wikiPageUsesTemplate Template:Official_website.
- Mizar_system wikiPageUsesTemplate Template:Reflist.
- 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 Language.
- Mizar_system type ProgrammingLanguage.
- Mizar_system type Software.
- Mizar_system type Work.