{"entities":{"Q2945721":{"pageid":2956441,"ns":120,"title":"Item:Q2945721","lastrevid":79790867,"modified":"2026-05-06T14:43:04Z","type":"item","id":"Q2945721","labels":{"en":{"language":"en","value":"Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481950"}},"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":"Q2945721$71B9B827-B850-4A10-BCEB-1E38736309F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"299e4da41f6cc6405adcb1fee3f5cae83b727eef","datavalue":{"value":{"text":"Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945721$A557A991-C837-4545-B737-29CAAA64A02F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf69eb091bab9f76ac7da5db83f4c73f7d557605","datavalue":{"value":"1322.94089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$1DB03122-7F86-46B9-91C3-FAE6CFD44371","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82ec395a2ca00d883bc086f225b1123b54c5d2c5","datavalue":{"value":"10.1007/978-3-319-23165-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$D5AD438F-94CD-4739-A21B-3A43F4F1285B","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":"Q2945721$25D7B4CD-7583-47AA-9C09-2150F2DFD2EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945721$4CC5E5FE-B6F9-4CC7-9E9C-569130B678F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$B4FFF001-1F23-41AF-886A-ABA91DB8907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$C8F3E56E-4B79-4C1F-812F-817812A478E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$E970CE3E-A978-42A3-8D29-4677B2C34B6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb6a38bdea06884cf22e8c8ce461e284abf8fe89","datavalue":{"value":"6481950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$20E1C366-44E5-408A-BF9C-9701448A83B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$D3B3CBA0-3B7A-4B77-B87E-DCFB070CCEDA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc51797ee59c78e22f537965877ae0b558c800cc","datavalue":{"value":{"entity-type":"item","numeric-id":51957,"id":"Q51957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$8D3465A7-ED31-4B20-862B-67A921519897","rank":"normal"},{"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":"Q2945721$6AE3C82C-2A71-449A-A54E-9D992615DF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$815B6C85-22B5-40DA-890B-F5683578A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$B42695DB-71DC-44B1-A443-608B6DD06B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee5a8e9fccf002149632de36386bef651aaac50b","datavalue":{"value":{"entity-type":"item","numeric-id":37128,"id":"Q37128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$9F3AE65C-8A6A-4B1F-AC65-A3A237CA6BC7","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":"Q2945721$DBDAA2DD-7767-4C91-BF88-9DBD68D19016","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c4071ffe0ecf906ca1ad34d54a074b15b7b21ab","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23165-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945721$0B58F663-AF6F-45B2-9055-6F6D2EA1B184","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ba5232efc80da678fa8c6c4f5e98d4a8d409530","datavalue":{"value":"W2403610009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945721$E4FB3E9C-F75F-4AC5-88F1-723D1F10D2C0","rank":"normal"}],"P223":[{"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":"Q2945721$17806777-32EC-4DF7-96D8-B0CBD67E5D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$290282C9-9C2B-4A86-BB77-FA07947CCF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$91C3C545-F7E7-4A6C-A91A-7747EEB4E204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d1c94f782cc1db9817531c77b0611f25974aec","datavalue":{"value":{"entity-type":"item","numeric-id":5200014,"id":"Q5200014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$CDB34F4D-F7A2-4987-965C-CA55A4D044E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e85a3649d41a9347b8aca4b0e92d80927452ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4418691,"id":"Q4418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$A026F8FE-84F0-41B6-9EB6-67CFCF5BA210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc453d9916b26f0198b780a4b2091b5933194b2","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$E736EA05-D5B7-4D80-9616-307ABCA87BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c53a1b058346fd64de238c05a6ceb4c0bd4a0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2894322,"id":"Q2894322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$82C601D2-F2EF-4812-BBF2-AB573AA8DDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$2679EF03-3EF5-4E64-841D-98D49D409BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff40562f6ba4de9c0bd73f0c4895d734ceeea24","datavalue":{"value":{"entity-type":"item","numeric-id":5716816,"id":"Q5716816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$69864455-D8EE-412B-A949-26FA127B688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102d1512159e55ed82a8c561a3b89cd32df95e7b","datavalue":{"value":{"entity-type":"item","numeric-id":861698,"id":"Q861698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$1ED15DB0-7C55-48F1-830B-3E85351AD873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60ed291acf41a233831df7ea0a31e156aca5064","datavalue":{"value":{"entity-type":"item","numeric-id":5756643,"id":"Q5756643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$350C4A57-C8FF-4137-9572-A0162A9EDEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$5AC5E019-2C3E-44A0-9B24-C113FEA03248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80c1432639ab8fabaadd08ea465517c83fe763f","datavalue":{"value":{"entity-type":"item","numeric-id":4341788,"id":"Q4341788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$8B3E8FA0-5604-4CD9-997D-70D634B5CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1711164229e6dc20dce695a8548877209bf517a","datavalue":{"value":{"entity-type":"item","numeric-id":4934731,"id":"Q4934731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$4258278A-2552-414F-B269-8E7695F0FC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$23526805-E27B-40C0-8B59-9EE0BAA3348C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6749097b3d24a4cc9ba62580498b90d1488191f9","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$C068ACC8-E367-4AEE-846B-52EBAD34508F","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":"Q2945721$2C80CD8F-7967-4CFF-AEFB-37D9F3497169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$A0EC91C7-9EB2-4063-A362-78967CBD7995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f37e47f9b293966caa88c9a08165d05b986fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2894310,"id":"Q2894310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$CB6D71E9-A18C-4D24-99F5-13E662A99B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d1cd18ad4e1c7a83c2322b2db670292805497","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$491C0429-7061-4808-9CCA-86844871D178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a79c4cc80575093d2bcd02ebef824b7ecf746","datavalue":{"value":{"entity-type":"item","numeric-id":4928441,"id":"Q4928441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$0FF766A8-AB61-4292-8047-6270E4F7C3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$137D7569-C0B6-4D7E-B5EB-0A69245D4F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15af92525ebb4fcf2369edb98770a8c57799dadb","datavalue":{"value":{"entity-type":"item","numeric-id":3092171,"id":"Q3092171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$CB0E8A03-0CB9-4BEB-8977-630C7ABE5FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e6cb90c6aa7c64954c634447022d1572d4c865","datavalue":{"value":{"entity-type":"item","numeric-id":2510662,"id":"Q2510662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$E1A30B93-73F8-4395-9C7A-A358ECB7AAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25341c3b4355b451c97bb1b33e8bdb2573e44c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$264FD8F1-06B0-4CD2-B756-BA8453F2A181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba0319d0310dc94327bedaa23d7b79f338298d7","datavalue":{"value":{"entity-type":"item","numeric-id":2894316,"id":"Q2894316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$0FE2FC09-FDA2-4ABB-9AA2-C2D7B838EB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$A9107937-C3CE-4661-A362-C2AC8BA2285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c31094c3c487532eb77ff8f97d35e08821f6d77","datavalue":{"value":{"entity-type":"item","numeric-id":5897485,"id":"Q5897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$F70D8D7F-E17C-4CB7-92AD-1A3A1FF017B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd087fcc5f8102c170a99013eadc13512f37c23","datavalue":{"value":{"entity-type":"item","numeric-id":5451033,"id":"Q5451033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945721$86ECCC9E-7E37-4A69-BC33-646E6321C26C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c287535dfd915e8946100e26a69b58504e3e2751","datavalue":{"value":{"amount":"+0.7955783605575562","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":"Q2945721$FDA3F4B0-6B21-4A89-A838-4DCF705D1DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7fbad9f5577a53a303f960aa20c7beea9dfad1","datavalue":{"value":{"entity-type":"item","numeric-id":4823820,"id":"Q4823820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99a0c23ede6bfc61f17af3cc776f85b9e64e8d5","datavalue":{"value":{"amount":"+0.7825839519500732","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":"Q2945721$1F18BC52-AF9F-450E-B66D-A751E0DFC80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2f72e4de5e80ca5e4befe9f5dfdaaa493cb6c2","datavalue":{"value":{"amount":"+0.7392401695251465","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":"Q2945721$3460F326-C3CA-4F2F-A95E-0103AE249054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65f6d5cb7e20f4b499bad794491ac5505d28710","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2f72e4de5e80ca5e4befe9f5dfdaaa493cb6c2","datavalue":{"value":{"amount":"+0.7392401695251465","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":"Q2945721$59A0C5CE-9345-4130-86E6-621178B4C2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d2f420951e1f81d2a2339d8bcebba082270950","datavalue":{"value":{"entity-type":"item","numeric-id":4417879,"id":"Q4417879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f771a7b2f0765b7615f919a89be3df65f367c44","datavalue":{"value":{"amount":"+0.7391284108161926","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":"Q2945721$5018A6C9-9FD2-47CC-8851-BD8C16E44E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Emerging_issues_and_trends_in_formal_methods_in_cryptographic_protocol_analysis:_twelve_years_later"}}}}}