{"entities":{"Q3498466":{"pageid":5528369,"ns":120,"title":"Item:Q3498466","lastrevid":50357879,"modified":"2026-01-13T21:32:44Z","type":"item","id":"Q3498466","labels":{"en":{"language":"en","value":"Deciding Knowledge in Security Protocols for Monoidal Equational Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275844"}},"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":"Q3498466$17437EFB-D02C-4C77-9DCD-31E46EDB7069","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0589b85fc3e509db414d2b348e21dc70d28a34af","datavalue":{"value":{"text":"Deciding Knowledge in Security Protocols for Monoidal Equational Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498466$A62BC410-751D-4EEC-AAEC-0CFEAD9365C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3155c28d3a112d91db49df4396784483c6fcb250","datavalue":{"value":"1137.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$D6F9A268-E24F-4C06-B395-5B5D9B691A69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39a7c5835428f6139d52ba16085e90945efc12b8","datavalue":{"value":"10.1007/978-3-540-75560-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$650EA339-0B56-46B6-82F1-8DE32038637E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$13BFA067-C9E2-42A2-A2C6-3FDFFCD6D3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$70FA800C-A4ED-4D15-A5F5-6040385EDD29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$6E840A06-3EAF-4AC4-AF3D-2D575386CCF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498466$F62CE35E-E08B-40D6-A52E-D602BEDB4494","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$1F2E025D-BD64-425D-91BD-ACCEA9306E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$3C1AF8E8-1977-4DAC-95B1-7D6160FDAAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$7315BCD6-9A9F-4B0A-BD51-3D3514447981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beca553648197e6cdd211579e401270335206541","datavalue":{"value":"5275844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$F80C42FD-3F2E-410E-922F-6D83AD07F7FE","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":"Q3498466$2BD12C3A-D4F9-4D71-B07D-72E1CE0D7B74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d585959da1c31e0a58b8238ff384688cff4da53","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498466$6D8F232A-514C-4110-831C-E706F128979E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fb2ef76d58e6fca01a3e0c1faa8e9bfa0b0b473","datavalue":{"value":"W1498742226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498466$4B21BFEA-5F3A-4A77-94CF-AC49AFF96F63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$AF3179EA-8455-4B5B-8077-E858D9B7B22A","rank":"normal"},{"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":"Q3498466$6A58E9AB-1365-4666-922D-81A118C96D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a34c8aa545e7f9fb8eb6bef8482adc1308a8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$9BFAAE75-B4E9-44EE-B13D-8F05E6494DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5350caf2a1c571bfb5eddddcbc9777cba40a148a","datavalue":{"value":{"entity-type":"item","numeric-id":3140014,"id":"Q3140014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$48A5268D-E12F-41AB-8C15-5521364ED66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298a25e3222cc80aaacaa2d4e5db311a67b52dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1919702,"id":"Q1919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$42C8A7A3-E2AD-4773-8CFB-212FB7FFDA40","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":"Q3498466$23DCF294-9AD3-4C7D-A26F-C0C55824D326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$1CC9D09D-01D4-4E25-96AA-AD1641927636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878fe154984b011925cae52ab7eecc92a4aefeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$F84E23C4-0D98-4171-BD7A-D859AC1BBEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9040a8fcdcbb5c6cec79c451e1486fff7f050501","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$34DA400B-393B-4EC1-80D5-8D8C4936F853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4478401f47f86a8e59318518de26bb2d0ec75fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$54340C18-5C3C-436F-9553-9ED148BCEDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$EC0834A3-8A96-4AF6-8CEF-278DB2C31B04","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":"Q3498466$2270C177-DFC6-4BFF-AA16-F7277C75645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$1BA5FAA6-6A66-497A-B609-FDE00D6C8B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7434998b2e70f40dde05d79beb9ec28871dffc0","datavalue":{"value":{"entity-type":"item","numeric-id":6488564,"id":"Q6488564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498466$1192EBEC-392D-47FB-B122-2295F73A9F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ea685219c6a275572422972071ffe53e0175ce","datavalue":{"value":{"entity-type":"item","numeric-id":437043,"id":"Q437043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcac1894b01a5cf261535b8df4bf12c0d11aa16d","datavalue":{"value":{"amount":"+0.9267890453338624","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":"Q3498466$E25A3A3D-B73E-442A-AFF3-961342CE61B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe93db08f64d70904f18a6d3c252b4f2aec1ee47","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662ecf3c6ba7f6c6469e7b598571e97a459a546b","datavalue":{"value":{"amount":"+0.9033603668212892","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":"Q3498466$F06AB23F-ADA6-42F5-9350-1E89EF8CD7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa782b0f5958fb11c8487e88a81ca0fcc268f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c59fff0d2c3d19c2b3d80f46678f27bf7dbbb7","datavalue":{"value":{"amount":"+0.8879518508911133","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":"Q3498466$1521285E-4511-43CF-B79A-1653622DE73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e199b210f80dc7c0e04241d642f448c1479d43dc","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a6d4c8c4fd61c84803623f1893fc60b55adabf","datavalue":{"value":{"amount":"+0.8801013231277466","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":"Q3498466$4A1B7B65-20D1-4070-971A-B028F613730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37606ff70932a9570760ab69cba902c0d3f1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea6d7e3613d77e05adef875796f73445d5976e1","datavalue":{"value":{"amount":"+0.8601493239402771","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":"Q3498466$3F42B66D-BD86-4674-8E48-1046183AF34A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498466"}}}}}