{"entities":{"Q5261508":{"pageid":7291076,"ns":120,"title":"Item:Q5261508","lastrevid":52300739,"modified":"2026-01-21T09:36:01Z","type":"item","id":"Q5261508","labels":{"en":{"language":"en","value":"Formal certification of code-based cryptographic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455603"}},"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":"Q5261508$450139C5-217B-44CE-A84C-F1A2611D7E5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfe341777fac31e01a2d8c8e1d41338fc255aec8","datavalue":{"value":{"text":"Formal certification of code-based cryptographic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261508$750E66EC-2E5D-4CF8-9FEA-37AC5A3D086B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc82a5c8b9edee7781d5c5c8f75119703d5bb51d","datavalue":{"value":"1315.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$4E8A7A66-1284-4BF0-AF9E-C03355FCB72E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05f49edd97ed74a9e156d1f206f424de6ea27e9d","datavalue":{"value":"10.1145/1480881.1480894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$E44EE1C1-8677-423B-B759-BA9BF5D91C48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261508$3136EF61-D324-47EA-A736-F5D4822C51E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261508$91DE9173-0002-40D8-A42F-A58C956DD19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b350b305ba5692b2409809a226253975c56090c2","datavalue":{"value":{"entity-type":"item","numeric-id":2828264,"id":"Q2828264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261508$FE2095AF-509D-4583-B74D-DE2B004A275F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261508$BC979DEF-030F-449D-8F59-F6741A00BE77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261508$8804E4D3-313D-43C1-8775-7CA85BC38334","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$A173CE01-4AF8-4A73-AAAB-9F912F1FC487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$4017F5AC-0CE6-4656-8519-820F92A7BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$B803EE9A-C2AC-4207-ABC1-F91A523EF2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$EADBD697-37B2-4AF1-B764-8B1AE96CE857","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc1c878dbb101dad909da02036887e4abdc5c12a","datavalue":{"value":"6455603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$64E1B54A-04AC-421A-906D-BBB95CF6AFB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261508$9E763C25-2645-42A5-AB11-74F90268F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f816836b4dd0a7e5dcac64d7074a407588756489","datavalue":{"value":"cryptographic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261508$9CB0A392-A4BE-4BD3-A99E-683744AF7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261508$50EB9C9A-0923-4E7E-9460-5BF7F65D70C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261508$7398772E-B37B-47E6-A2BF-511785498CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bbfa4b42148e1a89c6dabdc97e8005fe5e2fab","datavalue":{"value":"relational Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261508$82A66D4B-5CA4-4EC9-9D02-124D78B6DC7F","rank":"normal"}],"P1463":[{"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":"Q5261508$DB8A8D40-6EAA-4C09-98F3-475066873B74","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":"Q5261508$DAEC1312-2F04-486D-8189-2F429F57C128","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7c148c09286c0f53a962765368e50007885aa6e","datavalue":{"value":"https://doi.org/10.1145/1480881.1480894","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261508$BE8D397F-0B81-4B90-B698-48755824AE97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"940df45df0238d0818a7b4adf3922227008727fd","datavalue":{"value":"W2011086847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261508$235FD1EC-B442-4ABE-A70D-4FF32D968803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ddf9ca35fc12da4517124284b2941010f0a813","datavalue":{"value":{"entity-type":"item","numeric-id":5747645,"id":"Q5747645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4f935be45e858604f6cb308075610d5a6b9747","datavalue":{"value":{"amount":"+0.8849192261695862","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":"Q5261508$A35215E2-7B71-4BCE-B60B-8085CD78C06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cf96077811b379e76e1811128c9ec8c0f90a82","datavalue":{"value":{"entity-type":"item","numeric-id":3619468,"id":"Q3619468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7c182f99a7f0041a32bcc65bcd8cf196924904","datavalue":{"value":{"amount":"+0.8228011727333069","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":"Q5261508$686DA99C-61C9-48B9-8AA3-E2C65EE9BBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92457848f5eda64701855e3059b6522d690df072","datavalue":{"value":{"entity-type":"item","numeric-id":4933210,"id":"Q4933210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebeb570dacb25b32b3ad022632ddb63d8756cda","datavalue":{"value":{"amount":"+0.8155550360679626","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":"Q5261508$F7C202E9-FCC9-46F3-9E33-85D5DDA7DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4625440697f2ee72d406a46d1e48df0580662","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289d577aace9649ee4c2bf0e78358a9a79c50e24","datavalue":{"value":{"amount":"+0.8115625381469727","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":"Q5261508$76DD9BB5-3805-4DF0-9CD7-4FF03EFDE128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd574059b1fbf5aa99d2abc68db3d7d3fd4817","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77abf7593bc42b78f5cc34f5b1660793dad3ccc3","datavalue":{"value":{"amount":"+0.811033308506012","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":"Q5261508$DA2DABDA-A7DA-4415-8133-0EC7A625DD76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261508"}}}}}