sameAs
description
Programmiersprache
@de
język programowania
@pl
lenguaje de programación
@es
limbaj de programare
@ro
linguagem de programação
@pt
linguaggio di programmazione
@it
llenguatge de programació
@ca
logiciel informatique
@fr
ohjelmointikieli
@fi
programmeertaal
@nl
name
Coq (Software)
@de
Coq (Software)
@de-ch
Coq (logiciel)
@fr
Coq
@ca
Coq
@da
Coq
@el
Coq
@en
Coq
@en-ca
Coq
@en-gb
Coq
@es
type
label
Coq (Software)
@de
Coq (Software)
@de-ch
Coq (logiciel)
@fr
Coq
@ca
Coq
@da
Coq
@el
Coq
@en
Coq
@en-ca
Coq
@en-gb
Coq
@es
altLabel
Coq (Logiciel)
@fr
Coq (assistant de preuve)
@fr
prefLabel
Coq (Software)
@de
Coq (Software)
@de-ch
Coq (logiciel)
@fr
Coq
@ca
Coq
@da
Coq
@el
Coq
@en
Coq
@en-ca
Coq
@en-gb
Coq
@es