{"entities":{"Q2908554":{"pageid":2919279,"ns":120,"title":"Item:Q2908554","lastrevid":51543803,"modified":"2026-01-18T17:33:49Z","type":"item","id":"Q2908554","labels":{"en":{"language":"en","value":"Probabilistic relational Hoare logics for computer-aided security proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076962"}},"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":"Q2908554$D6C2BB6E-C300-4E24-B7A1-7DDF6A330ED8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c36469a72952ccfe5386b533f6fe616e82f08c8c","datavalue":{"value":{"text":"Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908554$8CF91A10-6218-4686-909F-DA93DE3789BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c42c21626a535dbdc77314494443441d510910cb","datavalue":{"value":"1358.94059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$E024C759-DD0D-468F-BDA0-D0D9495ECD5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43831218d08d99faf24b9470b2a48e5b6f253bdc","datavalue":{"value":"10.1007/978-3-642-31113-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$0ED6D265-6092-40E1-A21E-70C2A8B15249","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":"Q2908554$33B4E025-7D9F-4E7E-92D6-7FD6A5C5B8C4","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":"Q2908554$7F514FF9-966F-401F-98CA-5461E3EA255C","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":"Q2908554$3EC70F05-95A3-4528-994C-C555E25B2055","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":"Q2908554$C54716E7-DB20-4A2A-8AD4-CA8B72ABD9E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908554$6A018F09-7397-4B1E-8B70-E31853312947","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c003a0526761bfe66daaa8fb12ad6e08e074def2","datavalue":{"value":"https://hal.inria.fr/hal-00765864/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908554$A671A971-5916-4586-9C2C-B9839F81B400","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$8AE72AE8-031D-4344-B53E-21652E534436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$E9D91D13-C140-43FF-BB5B-42103073B5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$6E0AA98D-4FEC-4C40-AA2D-B54756FBEF92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe1454711661c863d19c44fd76a52c701f05f200","datavalue":{"value":"6076962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$13DB5769-278C-4B95-AE9A-48FF5A4607D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908554$0802AF28-56C7-422C-845A-DA9CE46B5059","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":"Q2908554$F873A299-04B1-429A-B2C8-2B6B04301DB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b0a6afa72769d3e9ac7ad4141c7e1f6f53fa618","datavalue":{"value":"W179514658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908554$79B2BA9C-5C00-4C7D-BA45-715B4F2DD8BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9c86cfed88d5372ed769eef3623b1170b13d18","datavalue":{"value":{"entity-type":"item","numeric-id":3591439,"id":"Q3591439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ffb4b8dadd70b1d29014b540aecd137466d6f5","datavalue":{"value":{"amount":"+0.8007475733757019","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":"Q2908554$DECE3963-2076-43A2-B19B-F706052E6E59","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":"ae061b5a54ab1a8ebff5ec3bb7af4173bb1e151a","datavalue":{"value":{"amount":"+0.7975466847419739","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":"Q2908554$E5E2C2E3-B6ED-496A-98D0-3D743AB0A99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d9e71426cf434c375ccc2ccd842157c240e198","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd26bf9ac3978fa79328fa0b168387891a68ebd","datavalue":{"value":{"amount":"+0.772479772567749","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":"Q2908554$EAD9F769-24C6-4610-99CA-8C44602016DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47aaa3e3b5a24ffe8df15105ffaa4e636b5d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":2154019,"id":"Q2154019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9409bffef6a3cd959c00db8bda5e32b5a4540c9","datavalue":{"value":{"amount":"+0.7634562849998474","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":"Q2908554$23594A88-B2F8-41D4-BBD7-B0A823CAAD98","rank":"normal"},{"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":"0e8f55bf71e0df87830e50bc2eee92a95e5d2d88","datavalue":{"value":{"amount":"+0.7629608511924744","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":"Q2908554$5ED0E48D-37CD-40E1-A94D-C551DCEDD4F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908554"}}}}}