{"entities":{"Q2844052":{"pageid":2854772,"ns":120,"title":"Item:Q2844052","lastrevid":83756429,"modified":"2026-05-07T10:52:10Z","type":"item","id":"Q2844052","labels":{"en":{"language":"en","value":"Automated analysis of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201924"}},"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":"Q2844052$B144DB9D-5385-4AA0-AB43-9C3B89E47D88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dad8578e9c6e77daf32928a1c0a808227466e58","datavalue":{"value":"1270.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844052$44847903-3D2A-4660-A12C-A4D4DD91A6A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844052$140DD5AE-A617-4B29-A30C-1815CBDD43F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844052$8A7903A9-5516-4A2C-AA01-E42D414A42F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e825126ac5379377fbbfc8eda1b8ed1361b2a1d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610480690X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844052$AD54E8AC-15D0-40E6-BA35-D426F140C4D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844052$10F385AD-A16E-4040-B24A-7A1FCB9FBD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844052$D74E45E0-48FE-47D4-8879-DE611E85DC61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2994f0bd4041e0d2093031f77f1c2c71f241103","datavalue":{"value":"6201924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844052$9EFB5B44-FAB3-4290-8110-E3C1B1DE5AA4","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":"Q2844052$7F6D1452-0796-460E-9A58-30B98485CCA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e36e58eca201501206d1016b980c9a20533cbb29","datavalue":{"value":{"text":"Automated analysis of security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844052$DBCC63C5-1544-4B01-92F0-AF65549A2FC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63fa9eb9081b8fdd7f12029e0efee7ce3f5006","datavalue":{"value":{"entity-type":"item","numeric-id":4673388,"id":"Q4673388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a385d51ada153510dcb5d9c6f2fe3819043692ca","datavalue":{"value":{"amount":"+0.9231579303741456","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":"Q2844052$9ABBB7C4-988E-4724-88ED-39584D450EEC","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":"0d37123c182d61eb8c6602762170952cdc0f5679","datavalue":{"value":{"amount":"+0.7877815961837769","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":"Q2844052$83D4358A-4EDE-468A-8013-54F748463728","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":"055f9264d5e66ffc9afe694d570897847f49d391","datavalue":{"value":{"amount":"+0.7785011529922485","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":"Q2844052$F4CEF4EF-B293-4777-824F-90CE860FF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930d2e43de7549a0e749923990abe43f7c013c78","datavalue":{"value":{"entity-type":"item","numeric-id":4934628,"id":"Q4934628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2f450c0fc7a112eb99ecb21c3d8fb47f7a5181","datavalue":{"value":{"amount":"+0.7765416502952576","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":"Q2844052$E4D5F9F0-3D8B-4CE6-9D18-AAACF30C4A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d180dfa675ca40194d87880ca36c3741dd4b84f","datavalue":{"value":{"amount":"+0.7740052342414856","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":"Q2844052$49395454-DC42-4A39-B2B6-BF618FD7B324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated analysis of security protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_analysis_of_security_protocols"}}}}}