Le système Mizar est un outil fournissant un langage formel pour écrire des définitions et des preuves mathématiques, un assistant de preuve permettant une vérification automatique de ces preuves et une bibliothèque de mathématiques formalisées.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:designer | |
| dbo:thumbnail | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink | |
| prop-fr:lang |
|
| prop-fr:url | |
| prop-fr:wikiPageUsesTemplate | |
| dct:subject | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:depiction | |
| foaf:isPrimaryTopicOf | |
| is dbo:knownFor of | |
| is dbo:wikiPageDisambiguates of | |
| is dbo:wikiPageWikiLink of | |
| is prop-fr:renomméPour of | |
| is oa:hasTarget of | |
| is foaf:primaryTopic of |
