C
- Instance of
All data
6 statements · 0% with external sources · numbers in brackets are citations
- Different from
- Coq criterion used: family name has to use a different item than disambiguation page
- rooster criterion used: descriptive page and disambiguation page have to be in different items · applies to name of object: coq
- Rocq prover criterion used: descriptive page and disambiguation page have to be in different items · applies to name of subject: Coq
- Coq criterion used: toponym is not unique · applies to name of subject: Coq
On other databases
1 identifiers linking Coq across the web's reference databases