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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17https://ncatlab.org/nlab/show/
n13http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n15http://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#
n9http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Type_dépendant
rdfs:label
Зависимый тип Type dépendant 依存型
rdfs:comment
En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant.
rdfs:seeAlso
n17:dependent_type n17:dependent_type_theory
owl:sameAs
n9:20528804 dbr:Dependent_type dbpedia-el:Εξαρτώμενος_τύπος n13:06891z dbpedia-ja:依存型 dbpedia-ru:Зависимый_тип dbpedia-cs:Závislostní_typ dbpedia-zh:依赖类型 wikidata:Q997433
dbo:wikiPageID
7344144
dbo:wikiPageRevisionID
121214258
dbo:wikiPageWikiLink
dbpedia-fr:Type_(informatique) category-fr:Théorie_de_la_démonstration category-fr:Logique_mathématique dbpedia-fr:Logique dbpedia-fr:Gallina dbpedia-fr:Informatique dbpedia-fr:Coq_(logiciel) dbpedia-fr:Agda category-fr:Théorie_des_types
dbo:wikiPageLength
1050
dct:subject
category-fr:Théorie_des_types category-fr:Logique_mathématique category-fr:Théorie_de_la_démonstration
prop-fr:wikiPageUsesTemplate
n15:Palette n15:Portail
prov:wasDerivedFrom
wikipedia-fr:Type_dépendant?oldid=121214258&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Type_dépendant
dbo:abstract
En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant.