{"entities":{"Q5357722":{"pageid":7387296,"ns":120,"title":"Item:Q5357722","lastrevid":58535106,"modified":"2026-04-05T15:41:05Z","type":"item","id":"Q5357722","labels":{"en":{"language":"en","value":"Toward automatic verification of quantum cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774229"}},"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":"Q5357722$FC8E9419-B11F-4123-A44E-1EC364C69D5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f1648f64068e91a522009b2d1349ad4baec793","datavalue":{"value":"1374.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$5AFD1128-88BD-4F78-A2CE-1B637BB1F1C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0ca495cf139845d01d02d871d3828dc4028019","datavalue":{"value":{"entity-type":"item","numeric-id":389707,"id":"Q389707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357722$6D608933-05A2-4215-96EF-DA05A05B60FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357722$071A5E47-7A58-4B0A-9AC0-97735F662607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-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":"Q5357722$5FB9179C-09D3-444A-9DB0-FEA6D13A197B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c57728e1f01855c60560978dbdf7675cefd73b9c","datavalue":{"value":"https://arxiv.org/abs/1507.05278","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357722$842E97CB-1429-454D-8BAC-9DA675C0BF49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$CF8CCFBB-ACF5-4F66-95B0-39765882BAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$08ADEA88-96BB-4A69-BFEF-FC4277634FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b959e36e52c7b395683dbe2d4c658b32b677b86","datavalue":{"value":"81P94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$CEA3E31F-0B21-4540-8FA6-017BD1BCCD67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd4655229b4377adcb522254a79dd49b927340b0","datavalue":{"value":"6774229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$608F0695-5EEF-4210-BB65-F713E304441D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4737f4c082b8977d70323810629b7661027c035d","datavalue":{"value":"quantum cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357722$2F65615A-4B08-4B22-B69C-780C6980E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357722$12152EE1-0CBB-49C3-82E5-C1B0E3AB76CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357722$820DC208-A165-4715-A243-A5AD97262E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357722$8870E42C-584A-48DC-A6EB-3CA7243D2800","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":"Q5357722$F83FB8EF-45CD-443D-BFD8-A240568D1432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61d699e18bb2655ce4fc4ad1e36ca98e2427b833","datavalue":{"value":"W2230188413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$B85FB575-4F4D-42BF-8AA8-E1B9FF01E6AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb9765ea95cac2990acc18d38883fcc829e51fa3","datavalue":{"value":{"text":"Toward Automatic Verification of Quantum Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357722$A39E635C-AD6C-40A1-B9A9-4578E3787C6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f23477e0b35cd5f526a95b25c9dd9056fe67bc70","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357722$E080F532-ADA0-42DC-9AA1-AF9431B0D30C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f950ae5e1bc55f73536b9044f09c4f2e07c9620","datavalue":{"value":{"entity-type":"item","numeric-id":5408571,"id":"Q5408571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d91fcf083de95ff68d5dd247d6ca69b5e474740","datavalue":{"value":{"amount":"+0.8858107328414917","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":"Q5357722$70C770A0-FAB7-4012-AB64-51433702E2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d387e5c8602875b1da160532dfb22673e2ea201c","datavalue":{"value":{"entity-type":"item","numeric-id":2233434,"id":"Q2233434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49f870d9aaf7df8a7bd0abc7d7f24af9fd9b31f","datavalue":{"value":{"amount":"+0.8543208241462708","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":"Q5357722$3CD3FD08-9605-4933-80E6-824CA65A9186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66ff529bd690860c7a3d544a96d4d75af77f1da","datavalue":{"value":{"entity-type":"item","numeric-id":491263,"id":"Q491263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6cb59735e54a7aed03e231b9d928d3c0f62915","datavalue":{"value":{"amount":"+0.8534488081932068","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":"Q5357722$B3901F01-8FAC-4E2D-B5D4-4E0E58B7CE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179fddce23ed37a4adea82dd31869623b8c26e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7903389644f4d03cb639fe2211b4e23265560e7","datavalue":{"value":{"amount":"+0.811800479888916","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":"Q5357722$A16B4C87-9080-43A7-BAC6-D70A15D393AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d495616552709e4159764864fc64045e00c35c5","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36128db91484d72c0a89465774e3249f75fa4264","datavalue":{"value":{"amount":"+0.8066065907478333","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":"Q5357722$D0B6631A-A066-420A-82F6-556238900222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357722"}}}}}