{"entities":{"Q2829283":{"pageid":2840021,"ns":120,"title":"Item:Q2829283","lastrevid":52660136,"modified":"2026-01-23T05:18:40Z","type":"item","id":"Q2829283","labels":{"en":{"language":"en","value":"Coqpie: an IDE aimed at improving proof development productivity (rough diamond)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644764"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$581D1161-9680-4794-9E8B-C605377E3AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2fd2594403b8776087d607bbb3d6c3fc0ce27b8","datavalue":{"value":{"text":"CoqPIE: An IDE Aimed at Improving Proof Development Productivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829283$F8D61B14-A22C-4D66-A108-A3EA71BAE5DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"142c696e9fa6060cca372e5fde9af1128dce0923","datavalue":{"value":"1478.68437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829283$A4774234-83B8-4DC0-A013-8F7BB3317067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9f2215435fd5a10eb15f25f1c0e00704e483f9d","datavalue":{"value":"10.1007/978-3-319-43144-4_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829283$D1EFFF92-8310-4F7E-A7F1-997F998A06A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$AA81FC7A-9D39-4E49-B024-AA03A9EA3F35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829283$E9D64C56-05CE-4489-B121-705DF1DC1C61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829283$A92CC861-B852-4859-875A-1DE632E399A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91b12f26fe1cf3727fb7975cbd9eca42fa38786f","datavalue":{"value":"6644764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829283$D675B79B-04DB-40BF-B4D6-53DC1E819D90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f4a7d8a07c40281293b20fef0aadcbf0de2bbd2","datavalue":{"value":{"entity-type":"item","numeric-id":21949,"id":"Q21949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$927A71E3-FBE4-4C4A-ACE4-1D68F126637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08c3a12286386b80d5c77ec77bcd64e10f5bae2b","datavalue":{"value":{"entity-type":"item","numeric-id":33379,"id":"Q33379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$C220AA5D-D7E1-4848-B7EF-CEA32C101A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$3922EE40-808E-43BA-B5C7-5BC5C7A12E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74c45b7f276c499af2a8382bf83ba8d26435281f","datavalue":{"value":{"entity-type":"item","numeric-id":13489,"id":"Q13489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$1B6448AD-D3D8-4959-80B0-3EB921EBE570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$F4AEFBBD-BFC5-4640-A7AF-F59E8EF3EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f3a79325084bb9581f818a34ab0d021b48cde68","datavalue":{"value":{"entity-type":"item","numeric-id":19238,"id":"Q19238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$52936952-7847-47E3-923B-1C01057CEE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6045e1117fe9458be5d110701e4655ff853a8de4","datavalue":{"value":{"entity-type":"item","numeric-id":25199,"id":"Q25199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$83D3D21E-A6EF-4CD5-BDD1-D9720533835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$C8B066E8-FE02-4705-B6D8-E64E0C4291ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$FB6939B1-3F76-4A16-9D86-7248F639A6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$D1CC2A68-A091-4340-B689-456C9084B018","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$C6145198-281B-4A6D-8ED5-1F6BA6B96D13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d31ac3197913cc5bad8587dc3ef574ff679b9b4b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829283$95E64B02-DEB5-4EAA-AD65-D8EDE412C253","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e89fbad18f706e5f798196aa29a22188d46c1b57","datavalue":{"value":"W2495149520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829283$6194A1E8-571F-44FD-B4CD-2B0351EA4C25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3eaa94e01b8b3a4d3a1e7e8e1ca32a100b24f3","datavalue":{"value":{"entity-type":"item","numeric-id":2907308,"id":"Q2907308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$D96930B7-8470-4877-AD75-0656813E4958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d358765945f3da138196b181ed4e6aafa5975fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2945623,"id":"Q2945623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$A235F57F-D770-4794-874B-0D202DD6927F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510f33cf3069aa89560a85f6fc0e2e71f04618","datavalue":{"value":{"entity-type":"item","numeric-id":4490725,"id":"Q4490725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$F671BB98-B618-4601-ADEC-6F44FA1B780E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e609895ab356e91fb397ca6e2267b705de6c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464662,"id":"Q5464662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$F1E6C79A-2D97-4EE2-A216-F899A1E9D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$174E049D-4E30-4F12-BE52-4127534254F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba15fc71d1da84e87e56a37f830d5fc504a2226","datavalue":{"value":{"entity-type":"item","numeric-id":5200123,"id":"Q5200123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$17159F27-42A5-40B3-AEC9-A6EB91C3CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ef52d19f5b6d0d04ff93be96fe3c6d519e1794","datavalue":{"value":{"entity-type":"item","numeric-id":2879264,"id":"Q2879264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$46B4E368-11B0-44F9-A3D1-7373952A07E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe483048f1e85cf7b9ba39998c93c88f7a7eabf9","datavalue":{"value":{"entity-type":"item","numeric-id":3582730,"id":"Q3582730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$E546315F-8BB0-4AB3-B2BD-C677846F9041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7614d711d6af40bb58b9096baaecfa588df78c","datavalue":{"value":{"entity-type":"item","numeric-id":1702892,"id":"Q1702892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$89D67F8E-5405-4118-8F00-9EE3C735A905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de630d14fe895ae5d892978d97f92afb82231aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2879273,"id":"Q2879273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$5674A790-76FE-4513-A447-AABFC9FA6D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36bfe2dd4b84f6a5b0a3c585807af495d67a2888","datavalue":{"value":{"entity-type":"item","numeric-id":6772235,"id":"Q6772235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$8C6ABD4A-2521-4583-8139-D6A3FAB44F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804c8d57402a6c8221b77ecb29bc1ba230b9ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":5078408,"id":"Q5078408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829283$5F4B3A82-A7D1-4601-9FCF-8F3CB0E5A6F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f08116115338796ec9b797ffb39cc7a493db2f","datavalue":{"value":{"entity-type":"item","numeric-id":2907353,"id":"Q2907353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7747c225a4a913c73eb94fb512dc4442971aff43","datavalue":{"value":{"amount":"+0.7205058932304382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829283$D1976507-5F9C-4D29-A81A-0EF8830395A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985d14d3b6bdbcd04e9b31126452a64641c2958f","datavalue":{"value":{"amount":"+0.7170308232307434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829283$72BD23AE-A8CE-443D-B6BC-3790573984C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b8b36929715000acf1cd883b9b1d7bc9f1ba30","datavalue":{"value":{"entity-type":"item","numeric-id":475385,"id":"Q475385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73229cbecab81a74e917010c5dfb38ac2669af3e","datavalue":{"value":{"amount":"+0.7121275663375854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829283$97865C9A-6B48-4DB8-9500-B2DC32C26632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd8eb245e282dec7a4076b897d6aaeb7848435c","datavalue":{"value":{"entity-type":"item","numeric-id":3543643,"id":"Q3543643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef4e836714c36d1a57931a129a29dd133910fe2","datavalue":{"value":{"amount":"+0.7068514823913574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829283$D1791D8A-33AA-48DC-88AC-ACEC2FE8834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36843b484ec32d33e3910f12af650c4645363dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4647518,"id":"Q4647518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0a7a98bb7c2f447e89e08a3dc50750b178f220","datavalue":{"value":{"amount":"+0.6995308995246887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829283$3EAB0AAE-40E0-44A5-BCD7-6ADA90C5E434","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829283"}}}}}