| rdfs:label |
"Coq"@en
|
| schema:description |
"Wikimedia disambiguation page"@en
|
|
schema:date |
"2026-09-01T00:50:15+00:00"^^xsd:dateTime |
| schema:version | 2538829507 |
| wikibase:identifiers | 1 |
| wikibase:sitelinks | 5 |
| wikibase:statements | 6 |
| p:P12800 | wd:statement/Q561118-F19F3670-D4A8-4275-976E-D6FC952965BB |
| p:P1889 | wd:statement/Q561118-06567559-9656-458B-B13E-A953E242D682 |
| wd:statement/Q561118-681E9C67-78E9-462B-8FEF-2150836F458C | |
| wd:statement/Q561118-AC8D7A05-95FD-4F15-9762-E72A28014F2D | |
| wd:statement/Q561118-F45FD83E-D239-4917-99F9-3D0EE0DEBDF8 | |
| p:P31 | wd:statement/Q561118-B85C0500-96CE-489F-B81E-5126513F7F19 |
| wdt:P12800 | "fr:Coq_(homonymie)" |
| wdt:P1889 | Rocq prover |
| Coq | |
| rooster | |
| Coq | |
| wdt:P31 | Wikimedia disambiguation page |
Download as: