@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q1131652 rdfs:label "Rocq prover"@ast,
        "Rocq"@de,
        "Coq"@el,
        "Rocq prover"@en,
        "Rocq pruvilo"@eo,
        "Rocq"@es,
        "Coq"@fi,
        "Rocq"@fr,
        "Rocq"@ja,
        "Coq"@ko,
        "റോക്ക് പ്രൂവർ"@ml,
        "The Rocq Prover"@mul,
        "Rocq"@nl,
        "Coq"@pt,
        "Coq"@ru,
        "Coq"@uk,
        "Coq"@yue,
        "Coq"@zh ;
    schema1:dateModified "2026-11-12T00:48:33+00:00"^^xsd:dateTime ;
    schema1:description "llenguatge de programació"@ca,
        "programovací jazyk"@cs,
        "programmeringssprog"@da,
        "Software zum maschinengestützten Beweisen mathematischer Aussagen"@de,
        "Software zum maschinengestützten Beweisen mathematischer Aussagen"@de-at,
        "Software zum maschinengestützten Beweisen mathematischer Aussagen"@de-ch,
        "proof assistant"@en,
        "proof assistant"@en-ca,
        "proof assistant"@en-gb,
        "pruvilo por matematikaj teoremoj"@eo,
        "lenguaje de programación"@es,
        "ohjelmointikieli"@fi,
        "assistant de preuve"@fr,
        "שפת תכנות"@he,
        "प्रोग्रामिंग भाषा"@hi,
        "linguaggio di programmazione"@it,
        "Beweisassistent"@lb,
        "പ്രോഗ്രാമിങ് ഭാഷ"@ml,
        "programmeertaal"@nl,
        "programmeringsspråk"@nn,
        "ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ"@pa,
        "język programowania"@pl,
        "linguagem de programação"@pt,
        "limbaj de programare"@ro,
        "programovací jazyk"@sk,
        "programspråk"@sv ;
    schema1:version 2568122927 ;
    wikibase:identifiers 33 ;
    wikibase:sitelinks 16 ;
    wikibase:statements 127 ;
    skos:altLabel "Coq"@en,
        "Coq"@eo,
        "Coq"@es,
        "Coq"@ja,
        "The Rocq Prover"@ja,
        "Coq"@mul,
        "Rocq"@mul,
        "The Coq proof assistant"@mul ;
    p:P10027 wds:Q1131652-d59e0f46-49ae-95ef-01eb-64d3cf868176 ;
    p:P1019 wds:Q1131652-f6ec6ef7-4ce2-6c6a-00f7-eed20dd574dc ;
    p:P1072 wds:Q1131652-6ceafdde-41bd-0f94-79d6-92a3dc7a634a ;
    p:P1073 wds:Q1131652-74459d74-429d-ed2d-deb5-02b49168370b ;
    p:P10766 wds:Q1131652-33ffd294-5f7b-47ac-a58c-a1ae6843445b ;
    p:P12695 wds:Q1131652-869AEE8C-77D3-43B9-A8E0-AF690FA2B08B ;
    p:P1324 wds:Q1131652-23664abd-4528-c0ba-78a9-2aa3762ca3c4,
        wds:Q1131652-5775f789-4fe4-c077-2433-465e90881465,
        wds:Q1131652-86b0d7c8-481f-3af9-0c9e-e097a95e227f ;
    p:P1325 wds:Q1131652-d0f06280-47e5-ad8c-50c5-9e7d6b8e8e10 ;
    p:P138 wds:Q1131652-24791a4b-4459-81e2-7565-7ff7dbbdc76c,
        wds:Q1131652-2665fa7a-454f-356e-ba30-3fb2721db859,
        wds:Q1131652-473DF3F3-6732-4CF2-B7BD-4D372D267E3A,
        wds:Q1131652-4b33442f-4b99-a25d-a8bc-9bd9ed5ddb13,
        wds:Q1131652-de619004-48d0-23d3-e96c-fd23aec241d5,
        wds:Q1131652-e61d4453-4246-a1c1-35e3-9b59c7704126 ;
    p:P1448 wds:Q1131652-16959919-4b36-4002-ec96-aa1e015068b9,
        wds:Q1131652-67247c34-43cd-4f24-ec0f-41fedccf1e51 ;
    p:P1482 wds:Q1131652-27723912-4673-ea63-0dd7-b80de1d26d70,
        wds:Q1131652-4638d53c-4813-8f45-bc73-5958a0242657 ;
    p:P154 wds:Q1131652-EAFAEE1F-C8FE-4CB5-B5DB-ED97647CFD1C,
        wds:Q1131652-a63135b9-44b5-0d54-68f1-ff8f8db6816d ;
    p:P166 wds:Q1131652-adc280e5-4d29-c35f-4919-1d9fe3fddaac,
        wds:Q1131652-e0dd9de7-41f1-2a41-9f11-e8d994b13def ;
    p:P17 wds:Q1131652-D4B4796A-C214-48C7-BBC6-905858185EF8 ;
    p:P178 wds:Q1131652-5f1eb1a9-4cb4-5f49-ce90-10840d994400 ;
    p:P18 wds:Q1131652-20514386-4ac9-16ba-7805-3e1d8a0a4119 ;
    p:P1889 wds:Q1131652-84263e95-403c-7896-2f17-6420bd8b7483 ;
    p:P1972 wds:Q1131652-2583FB59-25D4-45B6-BEB3-145C297327C8 ;
    p:P2037 wds:Q1131652-237DB940-567E-44BD-BD86-23301698E305,
        wds:Q1131652-a2bea88c-409c-bde7-f21a-dd1a68893be5 ;
    p:P2238 wds:Q1131652-6d82109d-4690-e480-ff18-75af100bbd1d ;
    p:P2537 wds:Q1131652-52633349-441c-c2ae-1ac2-906282775394 ;
    p:P2581 wds:Q1131652-db5a7e40-4093-591b-808c-a34aea2562ec ;
    p:P275 wds:Q1131652-232376BC-3FD4-4C4F-9C7C-285E9E874347 ;
    p:P277 wds:Q1131652-E77F38B7-0AEB-4CFA-9A87-CB915787263D,
        wds:Q1131652-eb7cd7c4-4048-e146-5b98-8c1a73f7ab1a ;
    p:P3033 wds:Q1131652-17e4ee6c-49ab-d586-3da1-74837316c4f4 ;
    p:P306 wds:Q1131652-da9c85f3-458b-23ca-3ec2-4fc4ba2ea6a5 ;
    p:P31 wds:Q1131652-3e5dd082-40fb-125e-3113-f2b95a304bd2,
        wds:Q1131652-571e0777-4f03-607a-2a82-981118d9b6af,
        wds:Q1131652-DD383DE5-567F-40DE-8F37-28A3B224CD6B,
        wds:Q1131652-c56e1ddd-4e6e-af03-1196-1d1b8aac4b90,
        wds:Q1131652-d28ce5d7-46a4-504f-75bd-7572a7de2e66 ;
    p:P3381 wds:Q1131652-5565B9F5-F46F-40D6-8636-23C33480E586 ;
    p:P3417 wds:Q1131652-bdb7ca1c-47ac-0067-8cf8-3bb3664303b2 ;
    p:P3442 wds:Q1131652-0448C2A6-3A69-4FDC-96A2-07992EEB259F ;
    p:P3454 wds:Q1131652-38115596-8d45-4daa-b051-63bad7c8d05e,
        wds:Q1131652-B84FA33B-C080-4060-9BA4-FB0EFCAA701A,
        wds:Q1131652-cbf2f89b-4e89-479e-bb09-7e7c89735270 ;
    p:P3463 wds:Q1131652-33151D4F-DDF9-4A9F-B924-3B276F946E26 ;
    p:P3473 wds:Q1131652-AABCB6AB-0B28-4420-99EE-4C9F29EE4BF8 ;
    p:P348 wds:Q1131652-026b56e9-405f-3846-aba0-7f6ddde9dfa2,
        wds:Q1131652-02c1eee3-a3a0-42f8-8f38-fbeedad86b24,
        wds:Q1131652-070db77c-f7e2-47dc-8c22-b75eb58753c3,
        wds:Q1131652-124ca87c-f6ed-4fc4-ae08-6823e53a56af,
        wds:Q1131652-16c6cf4a-0a03-42db-a0d8-ea95345ab1e1,
        wds:Q1131652-173f201e-9204-4170-963c-97158df7a660,
        wds:Q1131652-1c63500b-403e-08e7-173e-25b0e4191c7b,
        wds:Q1131652-1fa10669-4a6a-a33a-ed8b-ba02b75f2eee,
        wds:Q1131652-2b06a9dd-0eb4-4783-b1e6-4842b0015704,
        wds:Q1131652-2d7657b8-4d72-271d-8daa-92802eeae6ce,
        wds:Q1131652-38b839ca-49ab-cefa-8916-a7827218ee3d,
        wds:Q1131652-4425a3a7-eab6-444d-b54a-bf8ce0071914,
        wds:Q1131652-4726ab81-4988-3c8a-14f8-72749ef56d0e,
        wds:Q1131652-4e337550-68c8-4acf-84e5-d055e2dc1999,
        wds:Q1131652-5784d4cd-44dc-4e3e-923b-d1da01db94e2,
        wds:Q1131652-5798a4c5-4c07-b049-5310-d28b88caf197,
        wds:Q1131652-6c4da54d-45f3-e0a6-f8e4-458f7d7fccc4,
        wds:Q1131652-6daf9c8f-fe80-4d9f-8365-a562ca239856,
        wds:Q1131652-763edf5d-806a-4cfa-a825-32f60dae2d67,
        wds:Q1131652-77a7319c-408a-9d04-a621-80f75f107011,
        wds:Q1131652-790d6f9c-fa78-464c-99d7-e32c8c1113af,
        wds:Q1131652-84f2f3cf-db1c-4dfd-9c4e-4b8061814eb8,
        wds:Q1131652-86932742-f837-44a4-ac25-2a2e690f257a,
        wds:Q1131652-8cff7bb8-460c-afc4-f0fa-80514075dd24,
        wds:Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f,
        wds:Q1131652-935e7314-4c9b-c00c-1e67-ce8fbbf1338b,
        wds:Q1131652-a059741c-418f-bf43-eb4f-bd7dd9bae42c,
        wds:Q1131652-a0c89177-69c8-41e7-9427-c72d1d5e68ac,
        wds:Q1131652-a518df91-171e-4b4f-9aac-242a09ed0981,
        wds:Q1131652-a5d615e7-427a-49d4-a61c-72b97cf43d49,
        wds:Q1131652-aa26e184-213b-44e3-9d1c-e19fb67809e9,
        wds:Q1131652-b1a0418e-1bf0-4d31-bef3-4a1b9959123c,
        wds:Q1131652-b31f38f9-499e-d15a-3b57-be3d17021469,
        wds:Q1131652-b7d1692b-2237-40b3-a5d9-fd811e1791b1,
        wds:Q1131652-c5046c96-8338-4162-a28a-8cf95f7ebe78,
        wds:Q1131652-ca0a385a-2f2b-4939-afc3-3fc453d95410,
        wds:Q1131652-d53ca0c1-4d3d-02d8-d4fd-b8d8770f853b,
        wds:Q1131652-e527fd79-a898-4bff-bb8e-913121ad5cec,
        wds:Q1131652-f6c94dd6-4ca9-c913-141d-b2130369a934,
        wds:Q1131652-f85d16bd-4295-8539-8a7e-ef21e466fd59,
        wds:Q1131652-fd0a6f57-44cc-d8f3-472f-74875fb301df,
        wds:Q1131652-feeee739-49db-ad20-362c-68a3ec3bd720 ;
    p:P3499 wds:Q1131652-D0E72CFD-2FE3-4162-A552-31B6425AEFEF ;
    p:P3553 wds:Q1131652-EE73C18C-A6C0-405E-88CE-19F3E72DEFC7 ;
    p:P356 wds:Q1131652-73449AFF-4C39-4105-A3BB-D360410DED78 ;
    p:P366 wds:Q1131652-0b99e1d0-4c74-28df-48fc-6586609b9c4b,
        wds:Q1131652-167A0980-1C08-4881-9414-75B7DAB82F96,
        wds:Q1131652-7e23ee9b-4336-67ae-fbd0-bb99f8e6ec28 ;
    p:P373 wds:q1131652-39D3260B-C3AF-4D34-80C8-2BEA5C318063 ;
    p:P3966 wds:Q1131652-69756AC8-6A2C-405F-96E3-8BC0E7039DE6 ;
    p:P400 wds:Q1131652-8b4ba517-4a88-60e0-8ca0-5742846ec164 ;
    p:P4033 wds:Q1131652-0d7eac36-40e7-9a5d-32e2-beb7d119d378 ;
    p:P4107 wds:Q1131652-B0D55EE9-4991-43F9-B6D3-2699E3BD73E1 ;
    p:P4215 wds:Q1131652-13d67801-4f8b-be46-f403-7f9f7ecc210f,
        wds:Q1131652-d0e2d8a0-45bc-b5be-58fa-46160e4d768d ;
    p:P571 wds:Q1131652-6a535ae2-4bf9-b403-6811-4425a235a017 ;
    p:P577 wds:Q1131652-d90c0a83-4626-0b2f-2f71-c6c9a3799774 ;
    p:P6104 wds:Q1131652-D02984C4-7531-461D-8D3C-2DE6077B3ABC ;
    p:P6216 wds:Q1131652-7046691b-4bbd-aca8-e5c0-9e53ed1d3408 ;
    p:P646 wds:Q1131652-29B4B726-8001-413A-BC6D-DA24147B961B ;
    p:P6665 wds:Q1131652-45F91BB7-80C9-4E36-831E-698DCBBE87C3 ;
    p:P6830 wds:Q1131652-6f0ed5c3-4883-cc89-69c6-916e4deca06f ;
    p:P6931 wds:Q1131652-FBBA3487-E735-43A6-A310-9C4CC0866A2D ;
    p:P7427 wds:Q1131652-7df55322-d73b-4215-9f16-5f2eb583634d ;
    p:P7788 wds:Q1131652-09b849a1-cfe5-4ff0-8aff-9dcd794b854c ;
    p:P7966 wds:Q1131652-bfbcd774-412d-41ce-958c-31e73507bcf8 ;
    p:P7967 wds:Q1131652-a41b2625-95ad-4c18-aabf-84af63fdf155 ;
    p:P8443 wds:Q1131652-f3094a9f-36cb-49f5-b1ce-a63a8dc77e65 ;
    p:P856 wds:Q1131652-1933E108-E9DA-40E9-99EC-DAFDCF217444,
        wds:Q1131652-5bf830c8-4069-ce3e-576e-a69708d48ae1 ;
    p:P8608 wds:Q1131652-D036F026-BC33-4881-91A4-259879E30DC3 ;
    p:P9100 wds:Q1131652-6AB95373-02AF-4F11-831A-0A9ACA5EEC84 ;
    p:P943 wds:Q1131652-15d98843-479e-251c-27d0-4ca7fc64d0c7,
        wds:Q1131652-5f26d794-4208-97ab-7b6f-cdae14689d6d,
        wds:Q1131652-f64ac61b-4e23-b0d1-1eb7-7d6e51aa4267 ;
    wdtn:P2581 <http://babelnet.org/rdf/s03400740n> ;
    wdtn:P356 <http://dx.doi.org/10.5281/ZENODO.1003420> ;
    wdt:P10027 <https://discourse.rocq-prover.org/> ;
    wdt:P1019 <https://coq.inria.fr/rss.xml> ;
    wdt:P1072 wd:Q128775907 ;
    wdt:P1073 wd:Q128775907 ;
    wdt:P10766 "Coq" ;
    wdt:P12695 "Coq" ;
    wdt:P1324 <https://github.com/rocq-prover/rocq> ;
    wdt:P1325 <https://opam.ocaml.org/packages/coq/> ;
    wdt:P138 wd:Q1418760,
        wd:Q22731,
        wd:Q822321 ;
    wdt:P1448 "The Rocq Prover"@en ;
    wdt:P1482 <https://proofassistants.stackexchange.com/tags/coq>,
        <https://stackoverflow.com/tags/coq> ;
    wdt:P154 <http://commons.wikimedia.org/wiki/Special:FilePath/Rocq%20logo.svg> ;
    wdt:P166 wd:Q110827069,
        wd:Q61890391 ;
    wdt:P17 wd:Q142 ;
    wdt:P178 wd:Q1146208 ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Coq%208.5%20stdlib%20proof.png> ;
    wdt:P1889 wd:Q561118 ;
    wdt:P1972 "coq" ;
    wdt:P2037 "coq",
        "rocq-prover" ;
    wdt:P2238 wd:Q2216236 ;
    wdt:P2537 "Coq" ;
    wdt:P2581 "03400740n" ;
    wdt:P275 wd:Q18534390 ;
    wdt:P277 wd:Q15777,
        wd:Q212587 ;
    wdt:P3033 wd:Q28975278 ;
    wdt:P306 wd:Q174666 ;
    wdt:P31 wd:Q1130645,
        wd:Q11387554,
        wd:Q28920201,
        wd:Q341,
        wd:Q56223375 ;
    wdt:P3381 "Coq" ;
    wdt:P3417 "Coq-proof-assistant" ;
    wdt:P3442 "coq" ;
    wdt:P3454 "coq",
        "coq-doc",
        "coqide" ;
    wdt:P3463 "coq" ;
    wdt:P3473 "coq" ;
    wdt:P348 "9.3.0" ;
    wdt:P3499 "sci-mathematics/coq" ;
    wdt:P3553 "20008098" ;
    wdt:P356 "10.5281/ZENODO.1003420" ;
    wdt:P366 wd:Q11387554,
        wd:Q2762418,
        wd:Q9143 ;
    wdt:P373 "Rocq (programming language)" ;
    wdt:P3966 wd:Q28453809 ;
    wdt:P400 wd:Q174666 ;
    wdt:P4033 "RocqProver@mastodon.acm.org" ;
    wdt:P4107 "coq" ;
    wdt:P4215 "Rocq" ;
    wdt:P571 "1984-01-01T00:00:00+00:00"^^xsd:dateTime ;
    wdt:P577 "1989-05-01T00:00:00+00:00"^^xsd:dateTime ;
    wdt:P6104 wd:Q15659621 ;
    wdt:P6216 wd:Q50423863 ;
    wdt:P646 "/m/02s7zd" ;
    wdt:P6665 "14338" ;
    wdt:P6830 "161" ;
    wdt:P6931 "coq" ;
    wdt:P7427 "math/coq" ;
    wdt:P7788 "coq" ;
    wdt:P7966 "lang/coq" ;
    wdt:P7967 "math/coq" ;
    wdt:P8443 "coq" ;
    wdt:P856 <https://rocq-prover.org/> ;
    wdt:P8608 "release_2fr5l6eitbcu5c6442l2mssf3a" ;
    wdt:P9100 "coq" ;
    wdt:P943 wd:Q102400240,
        wd:Q102439346,
        wd:Q122909254 .