Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Coq__programming_language__1> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- Coq__programming_language__1 influenced Agda_(programming_language).
- Coq__programming_language__1 influenced Idris_(programming_language).
- Coq__programming_language__1 influencedBy Automath.
- Coq__programming_language__1 influencedBy Intuitionistic_type_theory.
- Coq__programming_language__1 influencedBy Logic_for_Computable_Functions.
- Coq__programming_language__1 influencedBy ML_(programming_language).
- Coq__programming_language__1 influencedBy System_F.
- Coq__programming_language__1 type Language.
- Coq__programming_language__1 type ProgrammingLanguage.
- Coq__programming_language__1 type Language.
- Coq__programming_language__1 type Thing.
- Coq__programming_language__1 type Q315.
- Coq__programming_language__1 type Q34770.
- Coq__programming_language__1 type Q9143.
- Coq__programming_language__1 name "Coq (programming language)".