{"entities":{"Q1853583":{"pageid":1864325,"ns":120,"title":"Item:Q1853583","lastrevid":74322441,"modified":"2026-04-14T19:31:52Z","type":"item","id":"Q1853583","labels":{"en":{"language":"en","value":"Analysis of security protocols as open systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857108"}},"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":"Q1853583$D1E06FBD-5E0A-4E8D-BD66-777484AE3192","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddb3ddf13104f4a7efa266372de64dfdeac7386e","datavalue":{"value":{"text":"Analysis of security protocols as open systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853583$72FA7901-0EB0-4C29-A073-B1D02AB33080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59bf548c2365a9ba97f566c298b401dab2e1a0c3","datavalue":{"value":"1019.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853583$F8978C29-2642-4EAB-B3B7-03604E35208F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a06ab7250ba59f5e3f9107b2b2c7d6e4a26f0576","datavalue":{"value":"10.1016/S0304-3975(02)00596-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853583$0D834DEC-22EB-4F88-9580-12550541DD4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2cacc9dbdb56044ba665838942ae7852e41de","datavalue":{"value":{"entity-type":"item","numeric-id":692279,"id":"Q692279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$6D5292AD-6886-4937-9E99-BEB83D551C1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$D5991B09-59E8-4F01-B58B-37CEA69C8F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853583$ECB28C0C-44AA-4379-9F34-375177CAE82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853583$0EEF43CA-9608-4A3F-85A1-DFD51A81AD16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b5f01902f7a72b2d2cbad8284a50dd67af9bb37","datavalue":{"value":"1857108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853583$C7782A32-4310-46BC-A94E-5758422F2796","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f05d2cfaad8f9daab4830a92001afdcbcf2024","datavalue":{"value":"security protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853583$D34681CA-F118-4E96-A504-80A420CC1D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853583$2D6E8F1C-E2B5-4350-92D9-88B9CF43F276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b673b017533274db90e7b133bfb19266b897167","datavalue":{"value":"partial model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853583$DDF927C2-A21D-40B0-B8A5-46E07CBF760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853583$A7CD1DFD-9357-413B-825E-3DBE53281F73","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df2228581ebd9db1349786cb7bb6af69277641c8","datavalue":{"value":"Q114850211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853583$61E19CFB-BCE7-4E03-80C8-075480F18308","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":"Q1853583$E57A5987-ADF2-484B-B1C4-15A3B38FEF83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85120675be4dafaaf247bdedf9c9b3c4696f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$81D46077-25D5-48D5-841E-F07A47C45949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$9D919BF3-C337-48D3-BDB4-926DCDE9611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33142aff432f46099a4c312e6f6950d01903fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5255820,"id":"Q5255820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$B8D948F1-AA8A-49B9-B5EF-C3CE89E3EC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$51C8149B-C135-449A-BCE4-678D9C8D3527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$6384BCDF-C933-4B0E-9161-2598782AD9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$EF1C034C-7D47-4D31-8DD5-E1976050D688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$59F8B2EE-A98B-4E1A-A7BA-BA69A05E3395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$23780E46-B31C-48C1-A8E3-0FABA44F5A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d8024b28c3fe56237f1d3776a2ff09aea6a029","datavalue":{"value":{"entity-type":"item","numeric-id":1853750,"id":"Q1853750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$B764E01B-D9D6-4AB3-9B79-85B65925036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$6E83EBF2-327D-4A57-8A18-E8C48493A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a847e4fd3b3c31a7ea561ba6c58dcee3f9188cae","datavalue":{"value":{"entity-type":"item","numeric-id":4493894,"id":"Q4493894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$9574B432-7065-4913-90B0-C6CA93FE54FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$C66C75A0-164E-4DC8-92FE-AFB8BF68D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$C657518F-630B-4F81-8680-52F501ACD89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$393D8681-098E-4D68-9DDA-1D7FD6846F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$A9E07A17-DEBE-4663-BC0C-9E6D25AD8720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$EF9B5433-F419-4DAA-BF70-7A27190BB273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$6DB259CD-E84F-4CF3-A11C-4BE1149BFA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e92c50522e5891f6b6c7be4f89dc306a567f76","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$F515021D-E1BE-478A-89FF-3E29F0DB1314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4229b323dd87b4dc374e7e6b23df267027a34b0","datavalue":{"value":{"entity-type":"item","numeric-id":4869527,"id":"Q4869527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853583$62E40272-655D-4C39-AD5C-0FA7BB915C20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91966f7148d8c61954a51467d89994876a7d87af","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00596-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853583$64A89A6F-EB71-4079-8156-41326C072125","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da2aa160eb6068bb60903f22964ee8f1f9fa5c41","datavalue":{"value":"W2106613101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853583$569CFF35-33F2-467D-A217-E3CDF52B3258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d395bddaac9a9b096ddf968971fdcf188a404101","datavalue":{"value":{"amount":"+0.8349664211273193","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":"Q1853583$168BDFE4-F93A-4BA6-AB1E-376F2E6EFB00","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":"46eee42915949bee5f5f91dee8a5ac9e787bdc6e","datavalue":{"value":{"amount":"+0.82972651720047","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":"Q1853583$B5D2C928-8F58-448E-AF2D-065E4E7955F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3001dbefa0131bf3994e5f32497248a60838ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46eee42915949bee5f5f91dee8a5ac9e787bdc6e","datavalue":{"value":{"amount":"+0.82972651720047","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":"Q1853583$26813633-8AB1-496A-BBB6-5AC6221EA99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b05a56e7634118043d700c34994d8c4408ef1c","datavalue":{"value":{"entity-type":"item","numeric-id":557806,"id":"Q557806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10034084fbeff5ea9c187278b3a8807ad3162ad2","datavalue":{"value":{"amount":"+0.8212789297103882","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":"Q1853583$BFD76B9D-08C9-470C-852B-039785640F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373e43d326c0a1dd714b55a7939821e5a00b12a0","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b0c0cf36675cc77f7999b041acd316c5bef9c6","datavalue":{"value":{"amount":"+0.8147246241569519","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":"Q1853583$C7DC339C-06DF-4EFE-9368-C6412ADAA166","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of security protocols as open systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_of_security_protocols_as_open_systems"}}}}}