About: dbpedia-fr:Coq_(logiciel)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikidata:Q7397, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
prop-fr:couleurBoîte
  • CBA275 (fr)
prop-fr:légende
  • CoqIde : l'environnement de développement de Coq. (fr)
prop-fr:type
prop-fr:langues
prop-fr:licence
prop-fr:logo
  • Coq logo.png (fr)
prop-fr:politiqueDePrix
  • Gratuit et open source (fr)
prop-fr:développeurs
prop-fr:environnements
  • - (fr)
is prop-fr:langageDeProgrammation of
is prop-fr:implémentations of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 16 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software