<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Large-scale_mathematical_formalization_project> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Mathematical_societies> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dependently_typed_language> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2000/01/rdf-schema#label>	"Mizar system" .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Timeline_of_Polish_science_and_technology> .
<http://caligraph.org/resource/Mizar_system>	<http://caligraph.org/ontology/designer>	<http://caligraph.org/resource/Andrzej_Trybulec> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Isabelle_(proof_assistant)> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Mizar system#Mizar language" .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Large-scale_mathematical_formalization_projects> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_created_in_1973> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Mathematical_logic_topic> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Mathematical_society> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dependently_typed_languages> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_mathematical_societies> .
<http://caligraph.org/resource/Mizar_system>	<http://caligraph.org/ontology/influenced>	<http://caligraph.org/resource/HOL_Light> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Mizar" .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Mizar system #Mizar Mathematical Library" .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Mizar_system> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Mizar project" .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Proof_assistant> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Proof_assistants> .
<http://caligraph.org/resource/Mizar_system>	<http://caligraph.org/ontology/influencedBy>	<http://caligraph.org/resource/Automath> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Automated_theorem_proving> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Mizar system" .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Proof_assistant> .
<http://caligraph.org/resource/Mizar_system>	<http://caligraph.org/ontology/influenced>	<http://caligraph.org/resource/Coq> .
<http://caligraph.org/resource/Andrzej_Trybulec>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Mizar_system> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_languages_created_in_1973> .
<http://caligraph.org/resource/Mizar_system>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Mizar system #Mizar Project" .
<http://caligraph.org/resource/Mizar_system>	<http://caligraph.org/ontology/influenced>	<http://caligraph.org/resource/OMDoc> .