{"entities":{"Q6487340":{"pageid":14066109,"ns":120,"title":"Item:Q6487340","lastrevid":56684478,"modified":"2026-03-18T19:32:57Z","type":"item","id":"Q6487340","labels":{"en":{"language":"en","value":"Verified Erasure Correction in\u00a0Coq with\u00a0MathComp and\u00a0VST"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628150"}},"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":"Q6487340$49238A67-1EC4-4166-942F-47315D45F6C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0ef2c243320e54c56d5ec9d66b654d3e4bf40fa","datavalue":{"value":{"text":"Verified Erasure Correction in\u00a0Coq with\u00a0MathComp and\u00a0VST","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487340$20E0ABAC-FC2B-44C5-8A44-A9E3EE58ABD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c0bfed719f64e9175aef84be2f95fb5670cc1dd","datavalue":{"value":"1514.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487340$07723C9C-FB0B-4891-8759-181179254C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a3982bf58125d512550dc807dceafdeef99ee7b","datavalue":{"value":"10.1007/978-3-031-13188-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487340$987F1754-88A7-4A8B-AA8A-0CD031DD75A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd023f97dc095f4042d847c74009857dc1c2cc32","datavalue":{"value":{"entity-type":"item","numeric-id":6485625,"id":"Q6485625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$78C4D7AA-6614-4D0E-8D94-9C24EAA24E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5efc1b16203109b2971a18bd72601e5552062420","datavalue":{"value":{"entity-type":"item","numeric-id":2810844,"id":"Q2810844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$29CD206A-75D8-4A32-BF79-9B5E2D66D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$F3EA93BB-D287-4548-A12E-E3FAF846BFAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487340$EE5BC1DD-F920-456F-B7E4-A33A850AD341","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487340$9D2CD59A-A1D1-4562-8E1E-359513CCBCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487340$B35DEE10-7123-4F94-97E7-9DD4ACF64AD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfd972b34988c8b8f435e30efa6b0df62a43722a","datavalue":{"value":"7628150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487340$8972584E-FBCB-4F7F-8F40-5DF288E3F1B2","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":"Q6487340$E6843730-DE7B-455A-BD79-1F0E2C1A3E1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c74711eacf096585ccccb1980eb895b28e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":2945620,"id":"Q2945620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$0685DDBE-4482-49FF-9C7E-90D2161EC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cbb353afc9549f4b0892a6c723179b79811ee60","datavalue":{"value":{"entity-type":"item","numeric-id":2209551,"id":"Q2209551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$06DDE0D0-E781-4A11-B05A-F63F310409B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e9b90c2522ee8958096e06182c9e02ee52508c","datavalue":{"value":{"entity-type":"item","numeric-id":5014364,"id":"Q5014364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$CD5E72C3-B7CB-4D7E-A8C6-3715FE0EB0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$A1613698-8F9F-4145-BB3A-EC02B1ED5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1e210972cf482f1ac6bc17a540378ef794dfe6","datavalue":{"value":{"entity-type":"item","numeric-id":479832,"id":"Q479832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$47991429-5B09-40BF-8D57-E4508F217669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c379c9cc3ecae429a7c7e5286c9f748e3cc52cd","datavalue":{"value":{"entity-type":"item","numeric-id":5041105,"id":"Q5041105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$B49427A2-FD47-406C-9F18-EDE261BCCE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec747dd3772f1e83f6e83b2dce6c7b9eeff4de","datavalue":{"value":{"entity-type":"item","numeric-id":3833606,"id":"Q3833606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$24675F23-DF4D-4598-9B62-1A62C3BB2E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7ff9ea2224d9ecb102a146915eb17b6e367fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3280459,"id":"Q3280459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$3516A57B-AE19-4065-ACC5-01AB277DCCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff24ddf2a2adcdc87750fe785350552992b802","datavalue":{"value":{"entity-type":"item","numeric-id":4343015,"id":"Q4343015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$745CEEE6-E492-4162-B680-5D59EE94D3D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756797bfca648822d824b66261d88aab1ad6f9b3","datavalue":{"value":{"entity-type":"item","numeric-id":2209551,"id":"Q2209551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476b87b37b6bb110789c3dfe8c09ffb571c454ae","datavalue":{"value":{"amount":"+0.7879271507263184","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":"Q6487340$973868E4-C2C1-4379-B2AF-A2D0A2626D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c70f467f0dad0bdfd6396976df289e51088e923","datavalue":{"value":{"entity-type":"item","numeric-id":2945620,"id":"Q2945620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8540c2f0e50cfb9b5a53365b7f738805fb66c0f","datavalue":{"value":{"amount":"+0.7598322033882141","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":"Q6487340$467CC4F4-5332-46CE-831A-A19DAC66B289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36da10c1fb7fa6adb970d13fed8bb3e7405f9238","datavalue":{"value":{"entity-type":"item","numeric-id":5401404,"id":"Q5401404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3596016574779d9ab6f33644072b6564eb8a4834","datavalue":{"value":{"amount":"+0.7097748517990112","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":"Q6487340$BD727785-94AA-4FE9-A7B8-083ED0D8AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58ca425272967538b9c2de1707fe9aa35429772","datavalue":{"value":{"entity-type":"item","numeric-id":4583845,"id":"Q4583845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d177b87d7e437262496cb001297e188db26285f9","datavalue":{"value":{"amount":"+0.6960238218307495","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":"Q6487340$88188BE3-568C-4A13-8709-727ED48D224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e97890a853049dd48c33e86f21d7818d66cc31b","datavalue":{"value":{"entity-type":"item","numeric-id":5711499,"id":"Q5711499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d75827a79e90c4ab2966a6404a9efa44a0465f3","datavalue":{"value":{"amount":"+0.6854051351547241","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":"Q6487340$61EE2C91-B3E3-450C-88E4-BCC1550D27A5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487340$76EE436E-3D7C-4150-9639-E36ABFCDBD3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487340"}}}}}