This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n16http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://coq.inria.fr/distrib/V8.4/refman/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n6http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Gallina
rdf:type
wikidata:Q9143 schema:Language owl:Thing dbo:Language wikidata:Q315 dbo:ProgrammingLanguage
rdfs:label
Gallina
rdfs:comment
Gallina est le langage uniforme de description mathématique utilisé par Coq. Gallina signifie poule en latin.
owl:sameAs
wikidata:Q3094826 n16:121k360p
dbo:wikiPageID
5395333
dbo:wikiPageRevisionID
152251146
dbo:wikiPageWikiLink
dbpedia-fr:Typage_statique dbpedia-fr:Coq_(logiciel) dbpedia-fr:Poule category-fr:Langage_informatique dbpedia-fr:Type_récursif dbpedia-fr:Purement_fonctionnel dbpedia-fr:ML_(langage) dbpedia-fr:Typage_fort
dbo:wikiPageExternalLink
n13:toc.html
dbo:wikiPageLength
821
dct:subject
category-fr:Langage_informatique
foaf:name
Gallina
prop-fr:wikiPageUsesTemplate
n6:Ébauche n6:Infobox_Langage_de_programmation n6:Portail
prov:wasDerivedFrom
wikipedia-fr:Gallina?oldid=152251146&ns=0
prop-fr:nom
Gallina
prop-fr:influencéPar
dbpedia-fr:ML_(langage)
prop-fr:implémentations
dbpedia-fr:Coq_(logiciel)
prop-fr:typage
dbpedia-fr:Typage_fort dbpedia-fr:Typage_statique dbpedia-fr:Type_récursif
prop-fr:paradigmes
dbpedia-fr:Purement_fonctionnel
foaf:isPrimaryTopicOf
wikipedia-fr:Gallina
dbo:abstract
Gallina est le langage uniforme de description mathématique utilisé par Coq. Gallina signifie poule en latin.
dbo:influencedBy
dbpedia-fr:ML_(langage)