{"entities":{"Q5862528":{"pageid":7892079,"ns":120,"title":"Item:Q5862528","lastrevid":54243686,"modified":"2026-01-26T13:09:24Z","type":"item","id":"Q5862528","labels":{"en":{"language":"en","value":"Limits of the BRSIM/UC soundness of Dolev-Yao models with hashes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7486589"}},"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":"Q5862528$AE5E8127-4BF0-421D-9FF4-56C9B7A7EAAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c36087d9f1bdbea257877fd76795d20b99b6c39","datavalue":{"value":{"text":"Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862528$FC0B1E94-D4CD-453E-B9B4-3EF40D3BABD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767a342237963844948a5dd0f716996462051579","datavalue":{"value":"1487.94102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862528$280A72A1-D56C-4164-A3FD-0F670535CE63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0b7d7ad50dcfc6a0d12f3c83fbc4e399aa88e58","datavalue":{"value":"10.1007/11863908_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862528$4BD3B75F-55C1-4F0F-B5CB-ACDDA166B60F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94da2d388842df4fa004fbbcc16b763ee85cf5cc","datavalue":{"value":{"entity-type":"item","numeric-id":860895,"id":"Q860895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$BA7E9616-4A23-48BE-A1CE-F7281BED6A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30cd911c33654126b523699afd8a83876c01541c","datavalue":{"value":{"entity-type":"item","numeric-id":1364900,"id":"Q1364900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$C5DD8CEE-A55A-4AC2-AF5D-B85737A82B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d287259b6e6bbd6aaeada10c3d6587c3f9796407","datavalue":{"value":{"entity-type":"item","numeric-id":2464138,"id":"Q2464138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$D87E5BF1-CA44-4E8A-8361-60448DB05605","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68afb333fba13f97c109ff91349172a87d2d8828","datavalue":{"value":{"entity-type":"item","numeric-id":5862519,"id":"Q5862519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$B37C3EE5-FA7D-448D-B58A-A9CAD2722D7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5862528$635223E2-1C26-4F8B-B068-CF86772E112A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862528$6C6F0862-0F2D-41D2-B450-67D555FAAD39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e1f1c5054157bd197f9c0ef03c8e321cd039451","datavalue":{"value":"7486589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862528$D213DC66-EDDE-4DF2-B239-F81AEAF8FAB5","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":"Q5862528$FF9C01B8-E60D-4BFD-8757-DBC879F1443C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eee812705f6766d0182a320f64253edb2a2e50f","datavalue":{"value":"https://doi.org/10.1007/11863908_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862528$6645ACCE-3DD0-4E00-8BD1-BF03C7F900D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"832b78ab88772784cf015c5c6fcb1cd885dcb2c2","datavalue":{"value":"W1499912117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862528$BA19B4F6-03DA-42B3-850D-BF81A370B6AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5632424fd240eec5b55466f40f697e80e5ad87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$8E4790AE-8F72-4065-90CA-EAF08BE32978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56658c0f1c23c8e6d167b1a6ff1c123b84e63f98","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$ED135CEA-81BE-4B8A-9921-D743255FF928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2274b4a592bb83702fecba1e161643ae9d90f3e2","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$EDFDF670-430E-49D7-A34C-48000EDCDA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d2245f09c5f6e1aefe0802d0b6add6045979d9","datavalue":{"value":{"entity-type":"item","numeric-id":5901765,"id":"Q5901765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$A2E962DC-B130-4D5B-99A4-24701A9A0BF3","rank":"normal"},{"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":"Q5862528$2293C1F7-0FD6-4D76-AE31-B04B159CD6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aa1936344e75960723041aa0f8eee694263b40","datavalue":{"value":{"entity-type":"item","numeric-id":5716777,"id":"Q5716777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$FAE8E4C3-682B-47AB-A500-3F8CAD994F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2e73fe6a151d88d584472b7b88f172ddbe8ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5898364,"id":"Q5898364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$922C6A22-F75C-4CE3-9318-4011690355A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c27cdfcb4652478c3b3c81824033c1714edb4f","datavalue":{"value":{"entity-type":"item","numeric-id":4542530,"id":"Q4542530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$28C69D54-701A-4EE2-B739-935713465ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b4a359949859f317aaab703c585ea574a6fa3f","datavalue":{"value":{"entity-type":"item","numeric-id":4737255,"id":"Q4737255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$C9C3FB06-B4CF-497F-B085-F75B83C338E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff131d5a7bfa17fc7bdfe323ab1816673f9ee24","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$024E596A-00DD-45FD-AF5D-A90633A7AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0ce442b35dbcc1ee36bc549c0d130af91bd5a8","datavalue":{"value":{"entity-type":"item","numeric-id":4783717,"id":"Q4783717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$1CA4287C-0F35-4AE1-B111-268755F6EDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c53fa51e4b081c5a7358e8fa99a55c8bf04b4","datavalue":{"value":{"entity-type":"item","numeric-id":4364570,"id":"Q4364570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$9752F63C-1EA1-4852-A109-F4D1EA5BA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc453d9916b26f0198b780a4b2091b5933194b2","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$46B7A4EA-CB52-4350-BAA2-5EA2E2BB986E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59e5b9ba33863b7a4b90fd61c0bf47d060abb4e","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$602AC606-9C7F-4B3C-A379-9BCFB40CCAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a02a7b29347f944f593d59d369d68d56f349db","datavalue":{"value":{"entity-type":"item","numeric-id":5191499,"id":"Q5191499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$50A82CF7-068E-4FCF-A72F-E7E225243336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd9f28c62b36fb1481665e28752045df687ed51","datavalue":{"value":{"entity-type":"item","numeric-id":5862307,"id":"Q5862307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$2243CE31-EDDC-40F5-8564-C213CFB07A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e262605de3748950c95c0e00a42a0dd21930251","datavalue":{"value":{"entity-type":"item","numeric-id":4536407,"id":"Q4536407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$B09F8818-D208-448C-AAC1-D88679149A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e7c275656b065cfc7f52f87dfa7161ed8104fe","datavalue":{"value":{"entity-type":"item","numeric-id":5714435,"id":"Q5714435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$D4BFCB14-C94B-4625-AE3A-BEBAEA79FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cd9ae076b03f5666fc617caadfb5663d6a977e","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862528$F6BB4EB5-93A3-4227-8D00-58FF2F06AF20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831fdf921549fb7e6c277ea080f02501b3028f24","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7149cc2e503e901db7f4bac6abf5ab971cbb6c0f","datavalue":{"value":{"amount":"+0.8412432670593262","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":"Q5862528$BE03B5C9-C93C-4661-980E-F612041D7003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09886e57337241ee208b392f033f5ea5ee8ada55","datavalue":{"value":{"entity-type":"item","numeric-id":2866733,"id":"Q2866733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3ee296e9ebefb8e6c62d23190e239ec51d365f","datavalue":{"value":{"amount":"+0.8341814279556274","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":"Q5862528$830EA677-A663-4902-B6E1-DFD29EED30C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb12409f1c7205881794da3192558c79524b3b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5458826,"id":"Q5458826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8716044fcb3d743859d33e3d561fe5deb3d42d","datavalue":{"value":{"amount":"+0.8162181377410889","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":"Q5862528$9A9B06C5-8E45-4B6F-A698-213DB4F49D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d17899e20f0b0345e35b4c6f62005d856f6280d","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c2d928a19e651382dd6be7e1565284eef6c495","datavalue":{"value":{"amount":"+0.7673043012619019","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":"Q5862528$209D7729-4683-4432-ACFD-BCD0A72640EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103c8f044fffdbf7f9b7f104661fd10a1bc96997","datavalue":{"value":{"entity-type":"item","numeric-id":5446172,"id":"Q5446172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ccb073498cc7388ae21063ca3834503f12e814","datavalue":{"value":{"amount":"+0.7640323638916016","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":"Q5862528$C0ACD2AF-CEFF-4900-B05A-B9C328A503B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862528"}}}}}