{"entities":{"Q491263":{"pageid":493030,"ns":120,"title":"Item:Q491263","lastrevid":62334855,"modified":"2026-04-11T05:22:55Z","type":"item","id":"Q491263","labels":{"en":{"language":"en","value":"Semi-automated verification of security proofs of quantum cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475170"}},"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":"Q491263$483982BE-4436-4BEC-A62C-DB23573D0FA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6272d35d5a9244921befa6b04b9969a74468fa52","datavalue":{"value":{"text":"Semi-automated verification of security proofs of quantum cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q491263$7A385CB8-CC44-44EF-9965-3CA7DD596CD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e4f9c3b3b28e39f0219ec53b906664373b85de1","datavalue":{"value":"1336.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$8F4A8DF4-E7D9-42D4-BA3F-9B68430F24D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30fd2f1520689206cef983c1880737da38b23852","datavalue":{"value":{"entity-type":"item","numeric-id":165341,"id":"Q165341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$9D59263F-F704-4F58-933F-E149D52BF9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ebf2df140098a0c6a9bc31e47d1c904c4ea431","datavalue":{"value":{"entity-type":"item","numeric-id":491259,"id":"Q491259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$B43F57DA-49EF-4461-917F-B4DD176C5520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79adb3d60e7fa2447b8523015dae14c654e26cc3","datavalue":{"value":{"entity-type":"item","numeric-id":491260,"id":"Q491260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$B57BBDED-8B8C-4900-9315-95976AD1565B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"deebb19cbbf9ac0024462af1198990f9adc3f7eb","datavalue":{"value":{"entity-type":"item","numeric-id":491261,"id":"Q491261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$C2BD596C-D83B-463F-8C23-58BB3D2F22C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02634ce6a40656cbff0e22cca24ca1e4d1882cde","datavalue":{"value":{"entity-type":"item","numeric-id":491262,"id":"Q491262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$C0698BA5-145E-4C4B-A20C-D3D09F9D63ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$A43D0614-7C3D-41AC-8621-EE0DEFDCE2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"232edd42c7e088356ef8a6bd144a877e5874209e","datavalue":{"value":{"time":"+2015-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q491263$9DDDC6D4-74C2-4CAB-9038-1A832AABC184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$EE52D82A-E5CD-4675-A3A5-E8A4BC340FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$9A109B12-3912-4A85-A645-10BF5BC1716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$366013D6-0389-4C5E-B13F-AB03B5A40A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b959e36e52c7b395683dbe2d4c658b32b677b86","datavalue":{"value":"81P94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$B999060B-7DF2-4E52-9187-BC42BE82A582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2342290cd655c170cfe722d806a2696cd3b2c859","datavalue":{"value":"6475170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$98F39909-9949-4CF4-A60C-7ADFDF1E7927","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc73a526b8f8a7e73697c61d8b0138ed07cdf973","datavalue":{"value":"semi-automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q491263$C608ECC3-7C25-41B7-B7CA-121024AD3320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341951cee389692e21e30560cafb8d19d80a9fa7","datavalue":{"value":"quantum key distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q491263$E96841BB-D093-4943-85E1-0E74054ECBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5676b88c5bbc05f1e4a6f3540823bc460f6c6f07","datavalue":{"value":"quantum protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q491263$8853614C-48C9-4F9E-B572-40A1DF690A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q491263$2D46396A-FCE6-4445-AD9D-5CA1BF661256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q491263$85607841-C1E7-44F6-8C72-E49BACB3AD26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$BD947393-B169-40B6-BA83-494DA2599935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c69567ab1e57276dbf1175b69c6b8aa4fb7a627","datavalue":{"value":{"entity-type":"item","numeric-id":54937,"id":"Q54937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$304F99F9-B29B-4B74-AB4A-EBC4A6678D6C","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":"Q491263$A8D50305-75D0-4945-A76E-5AC1FBFA3C93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56d0af216cf64850a88b7a88307b9e784b3734ab","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2015.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q491263$E9E782D5-9BF8-45A2-9CB9-7B64FDBCDEC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37042a738cf9763a8154e14dfc911caff0a4bec2","datavalue":{"value":"W1430738455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$5CAA45DB-0559-4217-B225-FCBCA3D873DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6d971bc07fd7715153c02a1e5e66d98ae56e8457","datavalue":{"value":"Q113869841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$58FD0217-B157-4FA6-A3FC-9304E7731644","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e52e52782b496efd0ac1de044b8c420803c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":2864166,"id":"Q2864166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$CA3849E7-1697-4909-AA9B-8769F42BE07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d1c6023074c5779677c9d359c48f63fdd68054","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$CF5569B5-2CFD-4A3B-9433-5AD747EBA474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644a7b61c7f8da6e52332fc36358daef7d532177","datavalue":{"value":{"entity-type":"item","numeric-id":4492082,"id":"Q4492082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$53A546F7-4BC7-42BD-87A6-EC77CEBFBCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c3498d3323c664ff6aeaf3d27c1da11e2f860","datavalue":{"value":{"entity-type":"item","numeric-id":4986182,"id":"Q4986182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$BD2180FF-0C4F-4B26-B1A8-A311A26699DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f11dd004e431645bb9138ef419b348fe0dd498","datavalue":{"value":{"entity-type":"item","numeric-id":2915165,"id":"Q2915165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$2C8AFE25-7046-49CC-93BE-A0ABE12B84D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$36619B73-B9EF-4592-9C69-C50AF037A49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4ddeefb67f1d7091549ab025335a769ddd6a36","datavalue":{"value":{"entity-type":"item","numeric-id":2461794,"id":"Q2461794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$69DCE482-4C85-4057-945D-44AD3C2EF20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7a3baf555da33445ac4311730bfea7d3cf878","datavalue":{"value":{"entity-type":"item","numeric-id":5408571,"id":"Q5408571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$8515FBEB-A89C-4B18-BCC8-CE5806C5AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fcd9d16cf45052451e3a2c0084fe941e619658","datavalue":{"value":{"entity-type":"item","numeric-id":5716828,"id":"Q5716828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$6291A64A-212E-4E6B-B400-D8436F6C604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d8c5609ca0a0f461107a64b8abe5c6a8543a6","datavalue":{"value":{"entity-type":"item","numeric-id":5482268,"id":"Q5482268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$53860EA4-FC92-485E-9E13-2FA914470EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d07df0bcb82ec447e01d90792210da078604e6","datavalue":{"value":{"entity-type":"item","numeric-id":3523616,"id":"Q3523616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$531EC1F5-C0ED-4A08-BC51-6FF64109D1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f876b843060f7bd2407c7bae6d97e6264d0713e1","datavalue":{"value":{"entity-type":"item","numeric-id":3196618,"id":"Q3196618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$F60F7706-9D6D-44E0-8D00-0F8099271B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$B0459398-EEE2-4946-B7E0-EBBBE3AD55FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$AB656060-FA3B-474E-B169-838ECF29136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$83E216AC-821F-4087-9ACF-2A87DBB9B744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488ddf4fe425d7bd2c7abddaef1d4cbfaf0af2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4783729,"id":"Q4783729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$705F82C2-A362-4637-A89C-A73EC350D467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21cf81e81a62b20e2ff6cf11a1d90b9d3b79b21","datavalue":{"value":{"entity-type":"item","numeric-id":2946577,"id":"Q2946577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q491263$DC75E650-1613-46AD-AB38-A0010362D55D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5205d69a0ff67d208e90186ccd324b98e9661a8","datavalue":{"value":"10.1016/J.JSC.2015.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q491263$F92ADEE1-710F-4A34-A57F-A90CEDDEBE3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd78bdeb097f59728cf81576bfd6caab199dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5357722,"id":"Q5357722"},"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":"Q491263$09DB926D-7569-48AC-8CD4-34B158D4C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599c4c8ab9c59c668892b401c58423973e10f1ed","datavalue":{"value":{"entity-type":"item","numeric-id":3175791,"id":"Q3175791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3f98094923aea9c3a56fe72fef66e67aa9b43c","datavalue":{"value":{"amount":"+0.7926082015037537","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":"Q491263$E8C79B7E-E6F9-469B-B33E-350A53D19EBF","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":"ee8da22f5ee29d4a30cc7eebe66cb5dc208a9cf4","datavalue":{"value":{"amount":"+0.7908104658126831","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":"Q491263$C54392AB-5D14-4C6C-B99C-EEE4BBA1DB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61537c97ff8eb79062bb6676d28c4326496a025b","datavalue":{"value":{"entity-type":"item","numeric-id":3007710,"id":"Q3007710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de1316fd74b50cfbb47f0dab71a0cbdf4319299","datavalue":{"value":{"amount":"+0.7860487103462219","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":"Q491263$4816C0F6-AEEC-4D50-8615-B0DA6CC61D36","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":"b022d498ddb33359639edfc00c0666ecca858425","datavalue":{"value":{"amount":"+0.7799590826034546","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":"Q491263$D0CE7FAC-1D45-429A-8C96-B8509A0B3F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semi-automated verification of security proofs of quantum cryptographic protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semi-automated_verification_of_security_proofs_of_quantum_cryptographic_protocols"}}}}}