{"entities":{"Q5326763":{"pageid":7356337,"ns":120,"title":"Item:Q5326763","lastrevid":100777736,"modified":"2026-06-05T23:05:16Z","type":"item","id":"Q5326763","labels":{"en":{"language":"en","value":"Formal verification of e-auction protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195657"}},"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":"Q5326763$95644589-E9FB-4D60-B5C2-6A7A6F098EBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d2812b23859321ff1f9cedf9f9cebb5704cc56f","datavalue":{"value":{"text":"Formal Verification of e-Auction Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326763$9FDFD9BD-E28D-4DEC-9F7A-E8EE562CDB6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aedbb7658338f9fa2b2820791404ce7cfbbcd638","datavalue":{"value":"1390.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$9600D39F-EAA3-4FA3-8772-EBCE40F28649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f72269af98f8c7e087a508a20710e5005ea076a9","datavalue":{"value":"10.1007/978-3-642-36830-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$DF5E7D05-B451-4BDA-8EF1-4A74A8B89878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80048a52914dcabeca08def1a1a28a681f268248","datavalue":{"value":{"entity-type":"item","numeric-id":896920,"id":"Q896920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326763$FE943584-9076-4ADB-9CD1-388C17AF19D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fd1fea852b6877e35d514e318cb594590c429b","datavalue":{"value":{"entity-type":"item","numeric-id":287324,"id":"Q287324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326763$580DA3D1-61D5-4105-8504-D9CF63DB7994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326763$05AD4938-8705-4AF8-8321-64D722B735CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326763$2E8F666A-BCFE-4331-B506-742F36B9F251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b9371a1396b5660d5734cb5e0075d011d357893","datavalue":{"value":{"time":"+2013-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326763$40CB0E10-7869-4260-B0F8-0B98220BB820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$7DF6FA00-39E8-4448-804F-3C1FDAEB249E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$32ED7EBB-1FB3-43A3-A3DF-0A2EEE7070F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$9FB240DB-E675-49C3-99A5-C3526BB2763D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$4DD028CC-1A47-4245-807C-FAE479468FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$E34E3B4A-5C19-428E-83FD-63635BF8D22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e419163fd9b5f210c8c0c28cdb07c2197a2bcac","datavalue":{"value":"91B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$B96BEE93-26D9-45C3-B2F8-E2594556520B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbdb198c7470045c74328de2641836fef10bf7e0","datavalue":{"value":"6195657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$593BF748-4B81-4814-9848-E92F88B3434B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326763$20D5BBDB-95DC-4EC7-BF00-9D8433CC33A8","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":"Q5326763$871ACC5C-AEE4-4E23-98B3-D47581D252CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b6e92238c762e84e1899046f43a63f0c041a231","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36830-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326763$7CA99118-DD2A-4C85-8CA9-28E7271D3E6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12094888eb57e8e7c14eb76f87fdbb354bab801d","datavalue":{"value":"W2142836084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326763$F2985337-0C03-4C6E-AE90-5C19A0C1684D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6aaa7c2d22a6ae102083b11960137810dc79c3","datavalue":{"value":{"entity-type":"item","numeric-id":4839017,"id":"Q4839017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87819dc466698b8663c423165fcf188653dce51d","datavalue":{"value":{"amount":"+0.77274489402771","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":"Q5326763$7C182443-A8B1-45CF-9D72-6F118243F231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d497ff82f9056082b1d1ad119c1686b4097449","datavalue":{"value":{"entity-type":"item","numeric-id":4924674,"id":"Q4924674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a281cb905509268a749c812dc0a27d3c6b8975","datavalue":{"value":{"amount":"+0.7699475884437561","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":"Q5326763$D0C379E9-134D-4E82-9FC3-1FE97F153F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07515ed1945b1413292dd274b7c8febe2af2d56f","datavalue":{"value":{"entity-type":"item","numeric-id":5492128,"id":"Q5492128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16723ee34e0573510122bf0d31363c9f21882450","datavalue":{"value":{"amount":"+0.7642365097999573","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":"Q5326763$EFBB011D-9497-42BE-9F3B-2402AB438F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb2223ac60d92b7474773b315c61d24587e76dd","datavalue":{"value":{"entity-type":"item","numeric-id":4428338,"id":"Q4428338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413b111c764c8e180c875107725bf1af7bcbab5e","datavalue":{"value":{"amount":"+0.7630496025085449","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":"Q5326763$984450BC-6C76-46BE-9D83-DA0EA0057773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22898af199184025b1babb4301f92b60b0ef940","datavalue":{"value":{"entity-type":"item","numeric-id":2489383,"id":"Q2489383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b7edb79ad4e665360c102f71993bd1465d8a61","datavalue":{"value":{"amount":"+0.757432758808136","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":"Q5326763$9D55A8B4-81E2-4FD2-B535-BB66096B9E1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of e-auction protocols","badges":[]}}}}}