{"entities":{"Q6155272":{"pageid":13289704,"ns":120,"title":"Item:Q6155272","lastrevid":47858698,"modified":"2026-01-02T21:52:46Z","type":"item","id":"Q6155272","labels":{"en":{"language":"en","value":"Formal verification of Saber's public-key encryption scheme in easycrypt"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7694633"}},"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":"Q6155272$F7BC2087-01FA-425D-A32B-49157DFEA3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4223f3c870806c7d34e0790db050d799ffd4017e","datavalue":{"value":{"text":"Formal verification of Saber's public-key encryption scheme in easycrypt","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6155272$788119FC-1C02-44AF-AD18-2A725ABFD1F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0495caa4aad0532d4d6bfe1c04531bd44496d870","datavalue":{"value":"1516.94035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155272$BA8FE034-6B4A-412B-B0A9-88A9C08A92C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"260a1e4ac3dec360a83bf52df947f5a35bf225b4","datavalue":{"value":"10.1007/978-3-031-15802-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155272$33608C5B-9456-43CA-9B34-9C88274F862D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b127a4350da81619a97527d520549af44dba1977","datavalue":{"value":{"entity-type":"item","numeric-id":381134,"id":"Q381134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$7F153B25-61F4-47B1-9849-A42EF5D50B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78e51c952951edc7ed904ea45cabf32872ab15d","datavalue":{"value":{"entity-type":"item","numeric-id":6155271,"id":"Q6155271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$1B682BF7-2DF0-43B8-81E7-AF0FA0FF0EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$BA778FC9-792A-49F8-A697-461988C8BC09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1639fe72cc7e2562e8a39dea9dec97d4f5cd38af","datavalue":{"value":{"entity-type":"item","numeric-id":6097254,"id":"Q6097254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$FECD2A2E-6CAF-4078-93AF-BFBA429B6B1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4620bd86abefef837721d712e51cc457b512df","datavalue":{"value":{"time":"+2023-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6155272$090BE166-6618-4DB4-B9F9-1A4299F0DCC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155272$34968A94-8B6B-4E02-8546-90194C43A86E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"805a0b36fa2078c41841c15799f42005eebec611","datavalue":{"value":"7694633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155272$DDB32934-F25C-4B9B-BBAA-EA4E078460D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155272$BD4D85AD-23AB-4F8B-A2B5-B2B2DFF9E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde1267196b0bdbff44c167a182c1464af6c38ca","datavalue":{"value":"Saber","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155272$29E2E61F-36C3-41C1-B388-2CCD23D8B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6003a5bd1f4cbc3d3da7756cfe6a7847ebb6dc","datavalue":{"value":"EasyCrypt","type":"string"},"datatype":"string"},"type":"statement","id":"Q6155272$5F856A47-0829-4327-8D27-700B6EC4F0D4","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":"Q6155272$4005D174-C196-4C6F-A099-2067EA3DE604","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea033c56a9e38e029851b7cecd14fba3ac7d747b","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15802-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q6155272$B477622A-E412-4193-BED6-FFE20F1FD819","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dee09ab496f8b2a4ef95d1fde76d3765362a4fca","datavalue":{"value":"W4312962186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6155272$913B5BA1-4AAD-4E0C-A0B2-312D49E2F967","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a71a9467d57acebf6aaae16edd207764dddaa1b","datavalue":{"value":{"entity-type":"item","numeric-id":2894440,"id":"Q2894440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$66E4D93C-CC63-456D-AD61-9FFBAA128044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392951dc55387d91231b1fd17edb133cac1cce3b","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$E2E913E8-E23E-4C6A-A2A2-055646824426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3b4249b8398eaf62ca99e3ad99ebe270af8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3593109,"id":"Q3593109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$666FE593-F0B2-4056-986E-482D230C70BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304eca9213f0fd0a4f5be79216b0d3f52271484f","datavalue":{"value":{"entity-type":"item","numeric-id":3102175,"id":"Q3102175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$E18EBED6-3274-4848-8D4D-BB22235906FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6180547344b46fa71e8423d55eafc7d40a51c17","datavalue":{"value":{"entity-type":"item","numeric-id":1653248,"id":"Q1653248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$0AA51A7C-A4F4-4367-A17F-EC4D330ACDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2dd57deb614b2669e9fef15676105ff07a5eba2","datavalue":{"value":{"entity-type":"item","numeric-id":1690199,"id":"Q1690199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$C8D2C57E-E978-4768-88B5-385C88F7321C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e052c7737bcfa0dc2b7a5609beffc0000529032d","datavalue":{"value":{"entity-type":"item","numeric-id":2274235,"id":"Q2274235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$F16F0D33-07DA-4DC9-9F35-9D940C94778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855457ba16509187c170235f9caf8791c4401526","datavalue":{"value":{"entity-type":"item","numeric-id":2692346,"id":"Q2692346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$EF46725B-3FDB-4E6F-97AD-853C6A9E7B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83420bbc5760c7977a53c439a9330be3e1613673","datavalue":{"value":{"entity-type":"item","numeric-id":4933535,"id":"Q4933535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6155272$01CF872C-05D5-4FE0-B6E3-D2C3AE2715EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1900497db79ece11fd80350e521c04ac3698bd48","datavalue":{"value":{"entity-type":"item","numeric-id":6132744,"id":"Q6132744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cf222affbab2f7f4d1954fa450e38594f1d79e","datavalue":{"value":{"amount":"+0.7391597628593445","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":"Q6155272$03898656-C098-482E-B10A-2A4F4C961221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892061be6fa615fd2d81f8930378acecf6258617","datavalue":{"value":{"entity-type":"item","numeric-id":1653248,"id":"Q1653248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fbf7782d45780da6aa8493f229d43c42a4b23d","datavalue":{"value":{"amount":"+0.7132347822189331","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":"Q6155272$FDFEEF84-A5A2-4ACE-A581-D56741A68250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e6302a13de417249f380f44551e01e1ca8e5e6","datavalue":{"value":{"entity-type":"item","numeric-id":6157586,"id":"Q6157586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fc03bf8a1c93ab4361af09f39a18d2f8857417","datavalue":{"value":{"amount":"+0.702692985534668","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":"Q6155272$06958F53-EACA-4F05-987F-0EFB34F033EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087e37283b8f5be5793039dcc58333c587e69907","datavalue":{"value":{"entity-type":"item","numeric-id":3073706,"id":"Q3073706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8525b5beecca6a1e1b5383aa01077cf5528e5c","datavalue":{"value":{"amount":"+0.6936330795288086","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":"Q6155272$E7B42897-218C-4E90-9F1B-41FB702199AD","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":"75074aff479511bd58f3e0973bad03460b13bf59","datavalue":{"value":{"amount":"+0.6907854676246643","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":"Q6155272$2A9B36D8-A053-479E-BE4C-D277C96F2DED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6155272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6155272"}}}}}