Coq ist ein Programm zum maschinengestützten Beweisen mathematischer Aussagen.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:category | |
| dbo:latestReleaseVersion |
|
| dbo:license | |
| dbo:operatingSystem | |
| dbo:thumbnail | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageRevisionID |
|
| prop-de:aktuelleversionfreigabedatum |
|
| prop-de:screenshot |
|
| dct:subject | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:depiction | |
| foaf:homepage | |
| foaf:isPrimaryTopicOf | |
| foaf:name |
|
| foaf:page | |
| is dbo:influenced of | |
| is dbo:wikiPageDisambiguates of | |
| is foaf:primaryTopic of |
