Coq ist ein Programm zum maschinengestützten Beweisen mathematischer Aussagen.

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