{"entities":{"Q3591439":{"pageid":5621343,"ns":120,"title":"Item:Q3591439","lastrevid":50162672,"modified":"2026-01-13T07:55:08Z","type":"item","id":"Q3591439","labels":{"en":{"language":"en","value":"A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189707"}},"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":"Q3591439$3603A04E-8212-40C4-BF74-D50C4CE43936","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd693e33a44fa74152e8e09b08f45ad98786da6b","datavalue":{"value":{"text":"A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591439$294EADC4-BAB9-4551-85D5-BF52A1122C4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffe7355d88ae0a9ba9b42c5d04bafa66468f078c","datavalue":{"value":"1133.94313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591439$C23219CE-501A-46A9-B238-20324565F56C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fba08dd001414c9378352548e9b2876e8e94fd","datavalue":{"value":"10.1007/11787006_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591439$459A9ACD-40BE-4016-BCA7-9FE8121B016A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac8ad2cff1c507acc41b3f47cafbad65311dc486","datavalue":{"value":{"entity-type":"item","numeric-id":2849555,"id":"Q2849555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591439$A66C92E8-1063-4D89-B1FA-77BC4BE5B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24c5c5cceb777d2d5d5c94a9c58cfc4129afdd4","datavalue":{"value":{"entity-type":"item","numeric-id":2517835,"id":"Q2517835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591439$210FA4EB-2D8D-4E46-AF3B-D86614D39F9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591439$257F2225-DC3B-4258-9E6B-96C7200291B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591439$79C80810-DF25-4EA5-B5FC-5B66314AF845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591439$C9C750D5-386D-4B5E-B99D-12DB6053082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591439$E49D6CD2-7759-407C-8384-C7F66E1BC2BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900ba002a81fa1bcaf44bfc69c32112ffb6f151f","datavalue":{"value":"5189707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591439$F0FF6024-7695-4C2B-A3CF-6DDDA9BA76DF","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":"Q3591439$C7476FCA-0200-48D4-BC67-56AE7E4EB104","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c6adca9d703ede21ed6123ecbceac3d74aa8f0d","datavalue":{"value":"https://doi.org/10.1007/11787006_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591439$D8E721C6-10B6-49A3-807C-2AAD1171918E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fbe81ddbf2dd2c6a49c1405956f37fbfb999089","datavalue":{"value":"W2106218479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591439$744F810D-45C0-40AB-A435-2E14D647C7EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5180c82fc2dce33b2b0406ef0397070fd45c68d","datavalue":{"value":{"entity-type":"item","numeric-id":2517836,"id":"Q2517836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f4606667969817926d844f6d8de29f6bde1c19","datavalue":{"value":{"amount":"+0.845404326915741","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":"Q3591439$6CE9A246-3A7E-416F-A409-9321613A819A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800756ad3e18b47cdd36589fe9e6293f6036035a","datavalue":{"value":{"entity-type":"item","numeric-id":2175214,"id":"Q2175214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d3a228b17997c06078b3f49afa10937db480ae","datavalue":{"value":{"amount":"+0.8360634446144104","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":"Q3591439$C3FE9224-FF07-494E-91B6-C132E30C35F3","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":"12f680a02eb11b6cea05649251b619ca533075b1","datavalue":{"value":{"amount":"+0.8127480745315552","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":"Q3591439$FD08B156-7FFF-4A90-B67D-C20CFF7EC3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cadaf031c9fd85e583aad9ed7daf3b5d8afe4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae34c136b17c4a6956d2ff88e9390fab1510307","datavalue":{"value":{"amount":"+0.8093246221542358","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":"Q3591439$B99A4F6D-F97D-4A71-97AD-057381CC65B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506d5dd7c577657adc1adb11aeafa3e0976a30d9","datavalue":{"value":{"entity-type":"item","numeric-id":5505567,"id":"Q5505567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5cd69e9a9e92589aaf8d1a61d4412e74ea2854","datavalue":{"value":{"amount":"+0.8084883093833923","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":"Q3591439$637FE39E-A7DE-42BD-A3F6-9887A754B71D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591439"}}}}}