{"entities":{"Q5505468":{"pageid":7535028,"ns":120,"title":"Item:Q5505468","lastrevid":96530948,"modified":"2026-06-05T11:31:34Z","type":"item","id":"Q5505468","labels":{"en":{"language":"en","value":"Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498198"}},"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":"Q5505468$C1611B00-587D-477C-ADA8-56860D1672BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9cb0aa92a8e3bab9c6647fac68274583e42f207","datavalue":{"value":{"text":"Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505468$C6C0DC4D-A008-41F2-8ACF-D2C17720350A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"967e7b27e987b7282628a2e7bcaa8e568b5d5b9a","datavalue":{"value":"1204.94074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505468$84C7C017-6348-4A0C-9F95-E13F5E7A4CCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"099aa3aa1c47987dd5e26eb31c6739d12c1e4765","datavalue":{"value":"10.1007/978-3-540-88733-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505468$78607AEF-4BC4-49E5-A619-3BFE750E84B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef06d1811238d46f4275d2c4a529cd70978556a8","datavalue":{"value":{"entity-type":"item","numeric-id":3612371,"id":"Q3612371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$CBB84430-F2A4-4376-B82D-1F67846EEDF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f7a2350c6e8e14dccc41d4134546270cec9c1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2856150,"id":"Q2856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$C9F7BDB4-7CA4-4F77-9E08-B25D325E6F7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505468$414D4E52-C859-4284-B29E-21ADB7E239CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505468$1A24993A-BAA3-49D5-B91B-318EA916B943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505468$AF5822F3-04EA-4389-8B90-51A80C5F66C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59de9642fa0389e6267325e5fe5233d3285a2826","datavalue":{"value":"5498198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505468$5044A392-367B-4A50-A2C4-E0343D33C8F9","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":"Q5505468$A8A3E4DA-1114-4E29-BF09-6329E570923F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f3e1fb728fbd33c3039faaa40353b3e83fc1673","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88733-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505468$4D138B22-075B-4CDD-8ADD-86357C21F340","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"423463be821ccba6a806839acb17a23782523aa1","datavalue":{"value":"W1570825683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505468$189BF3D6-BE4E-4564-BF5B-D6F4459F85D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff131d5a7bfa17fc7bdfe323ab1816673f9ee24","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$CD517945-5CC8-4247-A1A2-DE8FF056290A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e7c275656b065cfc7f52f87dfa7161ed8104fe","datavalue":{"value":{"entity-type":"item","numeric-id":5714435,"id":"Q5714435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$BA925510-806A-4266-9406-2D0BF0DC2A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1be66e96dcfd9d29987588335048826d01c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5428140,"id":"Q5428140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$F6787E29-6455-42A1-B0A6-53C936F0D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5632424fd240eec5b55466f40f697e80e5ad87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$7B954515-302E-4C3B-A315-FA4C678A97A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2486d9c61cbb1cfcb3c1df66255852d74762bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5316563,"id":"Q5316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$210402E3-8CB9-4A82-A3C5-C3B05ADBFF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b494c1bfdd2528d400ebc37da05bb09363676d50","datavalue":{"value":{"entity-type":"item","numeric-id":3113670,"id":"Q3113670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$B7F20F1B-AD5E-4365-B1F0-0346E46A650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e315498576bed199cfb2d6d5f1addc3f3ae3a857","datavalue":{"value":{"entity-type":"item","numeric-id":3498438,"id":"Q3498438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$37739C34-7901-4DEF-B340-83B5C0B00596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a02a7b29347f944f593d59d369d68d56f349db","datavalue":{"value":{"entity-type":"item","numeric-id":5191499,"id":"Q5191499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$FA5FF79F-BC5A-4B15-9C49-CFA30B7916EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$1BAF76D7-9DCE-464A-818D-DFB062CC67E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505468$679CF6F8-677E-4480-A8AA-53A05C51C0A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b172c2d25b0df58c17ec5aa5adec12f9e08d7214","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b0fc644b9c351e5ec4b559bfd161759f903467","datavalue":{"value":{"amount":"+0.8259982466697693","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":"Q5505468$204DCB57-6E03-4352-890E-4BD87AFEB276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09886e57337241ee208b392f033f5ea5ee8ada55","datavalue":{"value":{"entity-type":"item","numeric-id":2866733,"id":"Q2866733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66398b00e33b55fa6490a8d73431dc1d0cd3d8eb","datavalue":{"value":{"amount":"+0.7994831204414368","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":"Q5505468$583D1A8E-75A5-40C3-9477-1002B1330AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09bec225170a6d9fc78c70716a376c110c88071","datavalue":{"value":{"entity-type":"item","numeric-id":3182858,"id":"Q3182858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf77bce2d411e439d40347ecc1f61484904d10a4","datavalue":{"value":{"amount":"+0.7873266935348511","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":"Q5505468$F67139B8-F216-4DB0-B370-175BBB2CC0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e23925897fc5eb5e368b5103bf38f3ebd06bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0829c5a2e66388ef32b7a711e2c32e3c2d28ac8f","datavalue":{"value":{"amount":"+0.7810442447662354","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":"Q5505468$6FC5CBCD-1B4E-4E66-A5EA-B9D6014E971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2137316de539bec1a3e15ae38c28dd95b19f26","datavalue":{"value":{"entity-type":"item","numeric-id":5711642,"id":"Q5711642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08415525187d76f0eaa3f5eb9fb0ba725e1d3ab2","datavalue":{"value":{"amount":"+0.776308000087738","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":"Q5505468$C92DC4B3-5000-4A5A-8F80-8F41B01528BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups","badges":[]}}}}}