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