{"entities":{"Q3631370":{"pageid":5661276,"ns":120,"title":"Item:Q3631370","lastrevid":50674421,"modified":"2026-01-14T18:37:41Z","type":"item","id":"Q3631370","labels":{"en":{"language":"en","value":"Comparing State Spaces in Automatic Security Protocol Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5562954"}},"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":"Q3631370$2B9FB35D-A290-45C0-B6C4-2CE73087901A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c4fb78789b3869768c662aa036817eea5dd35be","datavalue":{"value":{"text":"Comparing State Spaces in Automatic Security Protocol Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3631370$356113D1-C904-4EC3-AE21-D8E886B56A11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2212f8869ec75dac998babd2d4d5eee5752f89b","datavalue":{"value":"1242.94022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631370$4B614A04-F6D9-4128-8777-BE3F443A80CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c81dfb06dac2b4b38e8951e62ca742bd0a2ad133","datavalue":{"value":"10.1007/978-3-642-02002-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631370$A0B190B1-5E68-46C0-9EC2-FC537E3270CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fd1fea852b6877e35d514e318cb594590c429b","datavalue":{"value":{"entity-type":"item","numeric-id":287324,"id":"Q287324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$A58303A5-3DFE-401A-8C49-76DA287D0D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"636af163352b1702b7a1201e1a8c761e006a0200","datavalue":{"value":{"entity-type":"item","numeric-id":388731,"id":"Q388731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$D8630419-60A4-4415-B408-286A5E1F0068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"626a9b830ab0405e34ce41f06e9590680e8a3ebe","datavalue":{"value":{"entity-type":"item","numeric-id":860903,"id":"Q860903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$0E604089-FB9D-4970-A7EF-C69576243843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"550246d3d5c4ed58297c4c866d03e2c9d3d577c5","datavalue":{"value":{"entity-type":"item","numeric-id":3631367,"id":"Q3631367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$B00FB405-F878-4A0D-A3E9-2C349DB571E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3afd749067cfa1ab6b987c39309b37c6321cf562","datavalue":{"value":{"time":"+2009-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3631370$044C69FD-A994-4E87-A6BB-EF7B05DAE936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631370$BF259BC0-E7D6-436F-BC8B-DF5F6A255F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631370$2A8DFC32-9CCF-454B-84E3-40AF220D7E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47fff51bd4dcc99d962907f985daa2bafb8d1823","datavalue":{"value":"5562954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631370$16BB054C-AB6D-45F8-9C1A-AB24AE3674CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34be25f759d910e2ba95bb866ecb2a5c5dda07d3","datavalue":{"value":{"entity-type":"item","numeric-id":13163,"id":"Q13163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$0022F843-2CE2-4137-9884-CF60528BF89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$C5EC8D66-BD13-4815-A906-D462B168B7C9","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":"Q3631370$E4B72E49-195C-4FDC-8CE1-D0E717AE556E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2fc64fffeaea70a069713ebb8f2a7eb573aca821","datavalue":{"value":{"entity-type":"item","numeric-id":21450,"id":"Q21450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$D3A46D86-29AA-48AF-90D2-14B3AB76BFF9","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":"Q3631370$07541AEF-0705-4ABD-ABDE-68002F16D7DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"132bf9b3c84820a7c041f0c5fa7eed4c6cc2f58d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02002-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3631370$7D33267E-2F31-4EC5-8FD8-85C0F2E1D060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"492f27f56903bf47c8aaf43e210b50356f1c1ea1","datavalue":{"value":"W1499326294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631370$A7834643-1ACD-4965-B1FE-BBB8F4749C6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$17EEF1F0-E2D5-4FFF-A4C3-AE875EB9F38E","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":"Q3631370$272C8554-B4C9-4B63-A215-EF5F839C2398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa3e40c5eece1accbffe642078f927de2cb7dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4804908,"id":"Q4804908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$FA5D5369-0CED-4EA3-A8FE-A0B300B48199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa8fde6722074fc27c5a5094b30ef19dd086a3f","datavalue":{"value":{"entity-type":"item","numeric-id":2848037,"id":"Q2848037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$09B45FF7-2907-4661-A0EC-D7CC5C5585FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9e35ed5571c7a19410f1bdf0adce0eba9925ad","datavalue":{"value":{"entity-type":"item","numeric-id":3985125,"id":"Q3985125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$F10650D2-06EF-4F6F-BE38-AE7E224BF70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$AAF6364F-4CCB-40AF-A114-142257F9598E","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":"Q3631370$0045F6CF-7330-41FA-900E-0C8DD7A0A4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546478b4ae6a85f56dd5e933b661091f9993c00","datavalue":{"value":{"entity-type":"item","numeric-id":1887730,"id":"Q1887730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$6E1EFAE1-746F-4766-9A46-2A786EF31E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$1AD824F7-874F-48D5-9756-D9FA3D63F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17611ad257b61ab782adab4b003d5c18136092d4","datavalue":{"value":{"entity-type":"item","numeric-id":4411969,"id":"Q4411969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$F052A955-48B3-4E87-A5FF-16C19A32F73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8db3efa7c5561d955688e2496713ed3eab76b2b","datavalue":{"value":{"entity-type":"item","numeric-id":860905,"id":"Q860905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$F95F6C55-3326-492E-A195-599C79069CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$728E03EF-BA1D-4864-B6F9-2531E9CABB7D","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":"Q3631370$B4CD6AD0-92F4-496E-B141-8DAC947A48B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924d9a476b4c3d27886a06e12c9e428f7fd5f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1305597,"id":"Q1305597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$E1418238-880B-4CB7-A103-E232EEB47677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$095A8F99-7783-4E85-911F-697B69AA3A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ce28ba231ab96eb63bacf761d7575dcc5ab0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527301,"id":"Q3527301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631370$4EF1448A-419B-439E-A7F9-FA2992C6BC19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9254ebf2b3d73b9a225532b178c259270211758","datavalue":{"value":{"entity-type":"item","numeric-id":462493,"id":"Q462493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9192607c69dd235ffded6a1f8406ee2e09e46928","datavalue":{"value":{"amount":"+0.7526028156280518","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":"Q3631370$BC54F00C-3F82-41D9-98B3-71B084FAFFB0","rank":"normal"},{"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":"b020115adfec764ae00aa330cefe62873aa00bd8","datavalue":{"value":{"amount":"+0.7379862666130066","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":"Q3631370$34EB6BE5-5F99-4495-9246-12AEBACBAF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89aba3a89b2f31d26f78a527a53789b9e8929087","datavalue":{"value":{"entity-type":"item","numeric-id":2507460,"id":"Q2507460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8edf2d9ba36a3f0429d5ae9914ee5d4642e1c8","datavalue":{"value":{"amount":"+0.7266246676445007","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":"Q3631370$E2E1D55A-C817-41D1-A79C-4A763884AA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2707d576d657f68f9b70fa6633e1fbf32bdfe08a","datavalue":{"value":{"entity-type":"item","numeric-id":5394807,"id":"Q5394807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92b7a4427fe6cdbb1c36adab6bfac1abee1ed0e","datavalue":{"value":{"amount":"+0.722467303276062","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":"Q3631370$4A6CF647-18BC-435C-8E10-C399A715B812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01ba83e3cc45c23f4d6d5c5bfd94fb9c532d0eb","datavalue":{"value":{"entity-type":"item","numeric-id":3527301,"id":"Q3527301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28e5e70488e40263a7e9542f2bf28d8739592b3","datavalue":{"value":{"amount":"+0.72073894739151","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":"Q3631370$695A6729-4A4C-4E33-9D4D-53A271663F87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3631370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3631370"}}}}}