{"entities":{"Q2218979":{"pageid":2229722,"ns":120,"title":"Item:Q2218979","lastrevid":57782862,"modified":"2026-04-02T12:33:00Z","type":"item","id":"Q2218979","labels":{"en":{"language":"en","value":"Attack trees in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297655"}},"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":"Q2218979$5A7D39F2-1CB1-4D9E-A6AE-D3CBCCE619B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"935257853d42c15d4cb3001de5dcc9e630047748","datavalue":{"value":{"text":"Attack trees in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2218979$F7F045F8-3D13-4795-9064-3BDCBD7EADF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd2d1e96c131d2ef52fde4b5669c8c7a11618cee","datavalue":{"value":"1497.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$ABF5AEF4-1E53-4854-8781-926DAEEEE49B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ec783f8c6495983884ec17504df1c0b14d0432a","datavalue":{"value":"10.1007/978-3-030-01950-1_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$5F02A080-7857-424E-A8AE-85A7BC750194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be5440cea38e13b33c53cbe578c9b791d6ae808","datavalue":{"value":{"entity-type":"item","numeric-id":433338,"id":"Q433338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218979$FFC49CC9-2F2E-4282-A7EE-CF0630AB67D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd0361d59a727a9500ca078b0f9d7cf220f3e8c","datavalue":{"value":{"time":"+2021-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2218979$ABBA2230-947C-4166-8F23-EB3AAB4F4842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb93105fbb66be7f3148125162e56b3361e39aa9","datavalue":{"value":"https://arxiv.org/abs/1803.06494","type":"string"},"datatype":"url"},"type":"statement","id":"Q2218979$FD023393-F59D-40F9-8061-60ED1B00CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdf57b9ca1777b248b231db9a1f305fc8847920f","datavalue":{"value":"https://eprints.mdx.ac.uk/25875/1/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2218979$124E11B1-9F91-429A-8F85-2EF398F4A137","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$9F16392D-186D-4814-AC0D-5C3D5A27E2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$3ACBC37A-6C15-48C7-A4DE-BEF7E997E018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$25600356-59C8-4B34-845F-51A572AF1E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$EC5BB366-0ECD-4410-9F8B-FFDDFCDEFD06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecdd595bd268064196706412d132ae94a073ebf2","datavalue":{"value":"7297655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$FD273F6B-E75D-4E1B-B0CD-CBE3C33226CA","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":"Q2218979$F2C83388-C325-4A40-98AA-EFBEA283666B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9c12535fda8d93fc679af11d91943d95977c7f4","datavalue":{"value":"W2804520164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218979$5CE9DD97-D547-4FFF-8878-A69C08B818E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b52c675ddf4d6e0fd60a83ac09b19f2434d7919","datavalue":{"value":{"entity-type":"item","numeric-id":5899289,"id":"Q5899289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405f6c9ca4441977c2d686233b66e5eadd24478e","datavalue":{"value":{"amount":"+0.7734919190406799","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":"Q2218979$4200292A-F46B-4080-A4CC-29EEED85A7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ccacc9948101c425daabd184447cfa1a1d0db5","datavalue":{"value":{"entity-type":"item","numeric-id":5406123,"id":"Q5406123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be0a621338d88092c56197066d6f904b46c902d","datavalue":{"value":{"amount":"+0.7679617404937744","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":"Q2218979$E01B8349-9C06-4BFB-BC2B-E702D8788FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46751e2c2486f2fca6bde816feaabca8f84a3bef","datavalue":{"value":{"entity-type":"item","numeric-id":2167713,"id":"Q2167713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c898e9d1ecef39538a17290f82fe55cfbd6bf1a","datavalue":{"value":{"amount":"+0.7633190751075745","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":"Q2218979$9130B0F6-6A40-43AA-8F4F-FF2BE69AA621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce0ec48078d5db0de0480b07518798348aecbe6","datavalue":{"value":{"entity-type":"item","numeric-id":3304816,"id":"Q3304816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f15f4cda3bb52b8e2fd80fed48d3db3e2962d84","datavalue":{"value":{"amount":"+0.7486733794212341","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":"Q2218979$18723ED6-971D-4FC5-9D46-B6AD041EE8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4faf8bdd98cec12f9e7e50a846e74c6da151a053","datavalue":{"value":{"entity-type":"item","numeric-id":4599815,"id":"Q4599815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d403a308da6e9250521b9731d5360c1bfe2ec8fd","datavalue":{"value":{"amount":"+0.7444250583648682","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":"Q2218979$FAC3DFD8-BC34-413C-BA89-1863AC1ADB6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2218979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2218979"}}}}}