{"entities":{"Q3507341":{"pageid":5537245,"ns":120,"title":"Item:Q3507341","lastrevid":80611400,"modified":"2026-05-06T16:35:59Z","type":"item","id":"Q3507341","labels":{"en":{"language":"en","value":"Constraint Abstraction in Verification of Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5290807"}},"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":"Q3507341$E1A6960A-5B31-47CE-886B-BCABC78BCA3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37bbbdc7c086f4c2911c76c0ec6d52d36d913dcb","datavalue":{"value":{"text":"Constraint Abstraction in Verification of Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507341$27F7816C-F172-42F2-A2F8-2A0CE9910FB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53cdb2eac3f34fbd375f61c3112408c3533d9489","datavalue":{"value":"1143.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507341$5FB0ECC8-8BB2-4AB2-81CE-B2EDC5A92DF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1e3b6f1f4ce6b879ee3677e2e62c823fa295c0","datavalue":{"value":"10.1007/978-3-540-69311-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507341$3191DC8E-9924-4BEE-BB9D-135CDAF21D72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ad8425385621952ca8bdf4c021ffeaf2afa8be6","datavalue":{"value":{"entity-type":"item","numeric-id":3507340,"id":"Q3507340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$C18F1FAC-68D6-4690-8C61-9F9137B096A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$8BC31267-5EA1-4F51-90B9-4C944F8F4A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a9ef8f7bec0a13d9487613ba93e2a9c1034736","datavalue":{"value":{"entity-type":"item","numeric-id":2512817,"id":"Q2512817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$29E583B9-E70F-484C-9084-C3A28B176830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$70417F3F-C86E-4B3D-A99B-DAE2EE118B6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"039449918372fd36372960c159b1f017e2991028","datavalue":{"value":{"entity-type":"item","numeric-id":3188827,"id":"Q3188827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$500980E2-7B07-478E-99E7-10361729BBC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507341$E2EB39CE-B5E5-4FC6-B2A5-F6CC63EF8949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507341$E4164405-5253-424A-AE03-5D917F85EB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507341$DC0274B1-AA10-4D21-A858-C62359A0D4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ca013886561735ebacae04b668bbad9341e448","datavalue":{"value":"5290807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507341$F4BE9BEB-62AE-491F-981E-51ECEDF560DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1a650510c22fffbe7c47103af4fe0febcb7a88","datavalue":{"value":"time sensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507341$BEF99346-67ED-4A01-BA79-C33D57C8B402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ea10327db28874882ccd8da3d8d6f07f044476","datavalue":{"value":"security protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507341$B5AD975B-E474-440B-88D1-7A3C7FD5DEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42da2db899d41defd6d03dd78a7630ae6f9046aa","datavalue":{"value":"logic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507341$B676FE70-11FF-4CED-85EB-29284C316063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507341$E76FEC69-88C4-4E62-8951-DF7DEC36EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273c1202c9fd5922fc2b82e146efb51fc9a50b10","datavalue":{"value":"constraint system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507341$FD1F7A95-CFAA-48E2-8CF2-3AF0C279E2FC","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":"Q3507341$8CBEC63E-E8A6-4D64-BF20-FF2126003286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f27c2d5b26badd17ae4a3bc07e7ed6312c965f77","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69311-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507341$60906859-D1F5-45EA-9A7D-B95451136065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"211f12230d75d53af6f2408860e87ef3cc474fd1","datavalue":{"value":"W1734011495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507341$7A185E5B-E1F8-4448-9B7F-BD11C118DB75","rank":"normal"}],"P223":[{"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":"Q3507341$4456F973-C1D6-4B9C-8B0D-1EEDCDBDB76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f14409e51d1bc5f8ab6bfa525beb6405b4ffd8","datavalue":{"value":{"entity-type":"item","numeric-id":4417888,"id":"Q4417888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$11BB8B8A-9262-43AA-AFCB-381DB972F0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b69c48c487042b5c1ddfdc37c1b0c112080d84","datavalue":{"value":{"entity-type":"item","numeric-id":1887729,"id":"Q1887729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$E32118BA-249C-46BC-98D2-5D2931F60654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9820ab3244ffcf4a04c79db004cecb53c70ed2d","datavalue":{"value":{"entity-type":"item","numeric-id":5308417,"id":"Q5308417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$49721258-3AB8-4FB8-B599-E02BF58869CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f22f9ff48bccb2032b27d658f8275b745e03a5","datavalue":{"value":{"entity-type":"item","numeric-id":5311473,"id":"Q5311473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$EFFB294D-C3D4-4F01-ADFF-F78C51B52CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f72ed4d5dfee06c68091f6aa72dded66f76bccb","datavalue":{"value":{"entity-type":"item","numeric-id":5178896,"id":"Q5178896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$F5A7A6A8-C34E-487A-9E53-A3CAA6F6B150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c74a330b5c89ffa6afb6b93e78391cfa3ed028","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$0BFE1FFC-846F-4CD9-B438-8B4699ADB7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e961268c56c99c0633622346a981c3a18a3ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$D7A25EA9-33E5-46C2-A88B-5447C5A00BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb37d169c5c8f6ee4561cbfc4492c9afb480c67","datavalue":{"value":{"entity-type":"item","numeric-id":3612589,"id":"Q3612589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507341$4CF64385-3A73-4CA1-9FF1-D7942B2FFF78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625b378698298b15de36ff69fdf7fdec2b1b1e47","datavalue":{"value":{"entity-type":"item","numeric-id":5415612,"id":"Q5415612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc402d7be18077f3027a0710d1fb9e562ce0262","datavalue":{"value":{"amount":"+0.8361981511116028","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":"Q3507341$2CCC7994-B8E5-4AA5-BE11-892671311076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323199081f054cf87907102f344d7e96ad87cde0","datavalue":{"value":{"entity-type":"item","numeric-id":3612589,"id":"Q3612589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577f7771a498f4f45a8459bca7c25b4e9b167854","datavalue":{"value":{"amount":"+0.8105420470237732","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":"Q3507341$ADFE007C-8BAB-424E-9B36-8C8FC298B801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757d0e8fe8457a7fab7174ef123819d10a7c6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308417,"id":"Q5308417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e12564f649c24b2a4530595b459923aa02dd7aa","datavalue":{"value":{"amount":"+0.7752176523208618","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":"Q3507341$4CDD1EE4-F6D5-49AB-B9A2-D96704BCC681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5642cd758972f62bdfecc52283095b9dd61ef10b","datavalue":{"value":{"entity-type":"item","numeric-id":3508516,"id":"Q3508516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e1de030fa05b157f5cba9f5f625f7e8874956b","datavalue":{"value":{"amount":"+0.7742524743080139","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":"Q3507341$901CF925-A572-4FCC-9E3B-90374CA62A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584c138efbe4aec37b292fe636503bda2186ea6f","datavalue":{"value":{"entity-type":"item","numeric-id":5422283,"id":"Q5422283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59982c87679cb32f8d7c8e21af8faa3f6656a4f9","datavalue":{"value":{"amount":"+0.7708013653755188","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":"Q3507341$688B52A0-0622-43E5-931F-4D8D903508F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint Abstraction in Verification of Security Protocols","badges":[]}}}}}