DBpedia-association
/
dbpedia
/
Login
Register
TriplyDB
DBpedia
Browser
Table
SPARQL
Graphs
1
1
Services
2
2
Assets
66
66
Insights
Schema
BETA
Class frequency
Class hierarchy
Coq (programming language)
Coq (programming language)
language
programming language
Language
Q315
Q34770
Q9143
Thing
http://dbpedia.org/resource/Coq__programming_language__1
Coq (programming language)
language
programming language
Language
Q315
Q34770
Q9143
Thing
http://dbpedia.org/resource/Coq__programming_language__1
influenced
Matita
Agda (programming language)
Albatross (programming language)
Idris (programming language)
influenced by
Automath
Intuitionistic type theory
LCF theorem prover
ML programming language
System F
type
language
programming language
Language
Q315
Q34770
Q9143
Thing
name
Coq (programming language)
@en