Mizar system - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Mathematical logic topic Mathematical society Programming language created in 1973 owl:NamedIndividual Proof assistant Large-scale mathematical formalization project Dependently typed language
rdfs:label	Mizar system
owl:sameAs	dbr:Mizar_system
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Proof_assistants http://en.wikipedia.org/wiki/Category:Dependently_typed_languages http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/Category:Mathematical_societies http://en.wikipedia.org/wiki/List_of_mathematical_societies http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Timeline_of_Polish_science_and_technology http://en.wikipedia.org/wiki/Category:Large-scale_mathematical_formalization_projects http://en.wikipedia.org/wiki/Proof_assistant http://en.wikipedia.org/wiki/Isabelle_(proof_assistant) http://en.wikipedia.org/wiki/Category:Programming_languages_created_in_1973
skos:prefLabel	Mizar system
skos:altLabel	Mizar Mizar project Mizar system #Mizar Mathematical Library Mizar system #Mizar Project Mizar system#Mizar language
clgo:designer	Andrzej Trybulec
clgo:influenced	HOL Light Coq OMDoc
clgo:influencedBy	Automath
is clgo:knownFor of	Andrzej Trybulec

About: clgr:Mizar_system