{"entities":{"Q432140":{"pageid":433907,"ns":120,"title":"Item:Q432140","lastrevid":61872369,"modified":"2026-04-11T02:14:02Z","type":"item","id":"Q432140","labels":{"en":{"language":"en","value":"Compositional refinement in agent-based security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052553"}},"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":"Q432140$ECA7F373-D3F8-40E1-817E-10E92A2A943F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c142db4b9bb46062a0bdfcd341bbf532b94d03b","datavalue":{"value":{"text":"Compositional refinement in agent-based security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432140$EF8D1B8C-D398-4C4D-AB1E-13CDE6CE466A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd7cc85e5146230b22216cfc378f979228247e0","datavalue":{"value":"1245.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$7992EF25-2A43-4599-BF07-E94056368034","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$707BC419-144A-4B90-BAC9-1422DEC6DC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$6879B0A5-DF4F-4F91-BF5C-07EDC8DEB0CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$BFCA249C-DDEB-4F09-8891-ECE92E71D16A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432140$D9F8C277-C774-4730-A567-3A7B1A70FF36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$D50BCD41-9436-4538-82EC-0AEC5DA7B875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$85531EC1-2579-4522-BFF0-BE7FE30C0F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$C2785567-E30B-4EF6-B392-4B53C8DBF8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$3A27A0E3-2250-4E96-9E6D-CE4552C0B3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$9C583269-854B-448F-8F80-6F8EBECC6AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6927cf44d4686b0396f30eafe7bbdba859bb286","datavalue":{"value":"6052553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$172DBA28-7680-4D89-8DD7-2240F82E8643","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52acfa6cae4a2525a5f7f4b793fdbfc11ff6ac6b","datavalue":{"value":"refinement of security","type":"string"},"datatype":"string"},"type":"statement","id":"Q432140$0FF0C380-124A-4A06-AC92-ACDFE27DF84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc8f76dc14f0e97ba0070557fa6ab72d385876e","datavalue":{"value":"formalised secrecy","type":"string"},"datatype":"string"},"type":"statement","id":"Q432140$24613F72-A5B8-4E04-B004-AF448F4C6954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e9fe469681bebce138d1170ac41231757b0f69","datavalue":{"value":"hierarchical security reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q432140$BA51ED8A-6EC2-4445-ACDE-83372CBAF7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q432140$657CBB52-AE0F-44FE-9BB3-59B86F5F1FAA","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":"Q432140$4C153084-2BFB-4377-86F9-2060045DD3E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc441d565ef2d38ab8ede925cfcc7fcac9fe5b6","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0164-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q432140$AF6B0F19-1C2C-42C7-962B-6FCCFA335B49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d05f6e12e9c0fa16a8589c21b3c9a0ed4268f96b","datavalue":{"value":"W2017211568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$1B00013B-E2CF-46FC-97BE-1CE22F7A9794","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ebdbe8cda4e5e31d2b32028bfb4b43bafcc648b","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$25E33456-2A3A-46EA-A465-39D4D9DC10F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa100cc1bb57949a436b95c94fdab080cc1b19d4","datavalue":{"value":{"entity-type":"item","numeric-id":3591420,"id":"Q3591420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$50436E3B-E81C-4A7B-B5D8-AA1CF1268F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d6cc6084a4dc3d6eb9546c2fe3b9fdd81597f1","datavalue":{"value":{"entity-type":"item","numeric-id":3079920,"id":"Q3079920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$B7236E2B-9D91-4320-A0EB-A31FBFB14018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$7B134B44-4E3E-4E49-B3B2-3ECB415547E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7043ee8464049b26babc27391cca724a30050574","datavalue":{"value":{"entity-type":"item","numeric-id":2996158,"id":"Q2996158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$2904D738-8AF0-4C70-BCAF-124B417853BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$83612008-78AE-4F68-B655-595A580C4536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d60d2968e6361eac02e05e7a6dff7861f1d8105","datavalue":{"value":{"entity-type":"item","numeric-id":3676116,"id":"Q3676116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$B2E011E8-EE81-4135-9278-619685BE351A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b718b3c28597e5e6f4f596a60845813367802e1","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$A0982925-5074-4E52-9E26-68A122D4CE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8997bef6622eb00f3239a8203254b6ecad1afd20","datavalue":{"value":{"entity-type":"item","numeric-id":929968,"id":"Q929968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$225E0EB4-7D89-4AD7-A7A3-2A8FAF20CA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7682fa7f58981f27c8614c2164f500c72c8e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5178974,"id":"Q5178974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$DDFC7DE4-810A-4177-A97D-BD638BE18F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0854a1ecb7b71aa5440a9a6ac446c8c2352c28d","datavalue":{"value":{"entity-type":"item","numeric-id":3163408,"id":"Q3163408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$6318FAE1-5F82-42B4-A1AD-93EAE8BE9876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$94204CF0-C677-442E-A7F4-DA7E45E1E940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$186932F8-E097-4AE5-9896-8ED1F74D3748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$C35C6AF7-8A5E-497E-8B6C-93E094723222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$7BDD5618-3DB2-4F1E-B280-B93F7226BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccf005e0492f34cf4c0302cfe56dc8ebd41fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432140$EE0706AE-E5D9-40B9-A1A1-B4D771C46145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e6611954442720e473486beb7c956262500eeb3","datavalue":{"value":"10.1007/S00165-010-0164-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432140$BC15682D-1A90-48DE-97B0-6A48DEE2E76D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e7ff7524e20949e66b680a4823dbeb97b707dd","datavalue":{"value":{"entity-type":"item","numeric-id":276488,"id":"Q276488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef324fa97d08988347a8e2739c086d7775f16fb","datavalue":{"value":{"amount":"+0.7612183094024658","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":"Q432140$1AD9EF44-F18C-425E-A652-53FDFABE77CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48a0423aa9473530f402e7d41a55ef465decbb1","datavalue":{"value":{"entity-type":"item","numeric-id":3569728,"id":"Q3569728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38818fe66ed1790b5e1bdb6a85342a3d586d3b1a","datavalue":{"value":{"amount":"+0.7500171661376953","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":"Q432140$A50D23E3-9C6D-4464-A7E5-A5149E6939FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6456513432c4ff89bff1eed76856ecdc4d98aee6","datavalue":{"value":{"entity-type":"item","numeric-id":1028731,"id":"Q1028731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e6a9ccb734bed3c70f29f06fbe5b89f754a515","datavalue":{"value":{"amount":"+0.7334119081497192","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":"Q432140$8BD14A59-5706-4008-B7ED-E170934511EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2de88f4db3ad6fae5555393ba3d269277ec2eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1402458,"id":"Q1402458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154f699b4a8edcc1b6bba82a6b297b845837af7f","datavalue":{"value":{"amount":"+0.7198219299316406","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":"Q432140$D2C6CA2A-A434-486F-8EF3-C07DADEA33C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef702614850ec8a1389b5eac3e0cb918bd3a5f65","datavalue":{"value":{"entity-type":"item","numeric-id":5458848,"id":"Q5458848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871213f6135401b962449be3c452ed35eede2704","datavalue":{"value":{"amount":"+0.7173341512680054","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":"Q432140$5DA86E74-E6FF-4502-B768-9B1160BBE930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional refinement in agent-based security protocols","badges":[]}}}}}