{"entities":{"Q2201275":{"pageid":2212018,"ns":120,"title":"Item:Q2201275","lastrevid":56881794,"modified":"2026-03-24T10:25:06Z","type":"item","id":"Q2201275","labels":{"en":{"language":"en","value":"Using probabilistic automata for security protocols verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7252036"}},"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":"Q2201275$8C7C25FF-4A5F-425B-94EA-006FB3161A45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3be2e2b7376dabb42e6f1e857abdecc2db2756bb","datavalue":{"value":{"text":"Using probabilistic automata for security protocols verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2201275$9091B779-02F7-4EFB-B764-44ADBEE9C53C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb00471abbb192f51680b1690743bca56246ac21","datavalue":{"value":"1462.94060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201275$D3F37C14-A100-4D2F-B722-346D0D75C7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e8f02529e96b702d8750ce776646f13255ea6c1","datavalue":{"value":{"entity-type":"item","numeric-id":2201273,"id":"Q2201273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$AFD02019-E44D-4F52-ABEB-9BA427C64A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e94a3bfcb7060bedfdffd65ed1424b52603946","datavalue":{"value":{"entity-type":"item","numeric-id":2201274,"id":"Q2201274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$48ED4C77-5550-439A-91AC-D46D97992448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb084eff956615cf19e3d77dab11b85a58278cb","datavalue":{"value":{"entity-type":"item","numeric-id":2201161,"id":"Q2201161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$A71FEEA7-67BE-44C6-B53A-56890677731B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6d0beb7422d3f653a9a2bd4740397ff9b999e8df","datavalue":{"value":{"entity-type":"item","numeric-id":530092,"id":"Q530092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$F9E14284-ABAA-44DA-95DB-C90BA1E6999F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f63dca02034e21096b86319b256878ddcc5495a","datavalue":{"value":{"time":"+2020-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2201275$F5F6B561-112A-4A8A-8EAC-C84DB8703866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201275$27E6CE2B-D4EC-41B0-8DC8-9B404AE545DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201275$245E9DC4-A811-40CB-B695-C9A8983E1666","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9c89cfda6da79fc0ec4f44a3f8de837c85d50b5","datavalue":{"value":"7252036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201275$C7119E26-A3F3-4635-9E2A-E20DE353AB3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54cd9cfb5a95dcd60096f24baef02facb68f33dc","datavalue":{"value":"verification of security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2201275$25490500-7B04-40E2-80B6-475D73E36256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cae65688d3385aec26afb1fc9e9a3ede5455e6","datavalue":{"value":"probabilistic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2201275$D9978622-B6AD-4C80-9198-87AF723AE6D4","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":"Q2201275$EEBFF82F-C412-4B85-A45D-BCD2A7531C72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd9ec88387b6c89f7cd4609e33054dd9e767738e","datavalue":{"value":"https://doi.org/10.17512/jamcm.2016.2.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2201275$67938DFD-72AC-4B7C-A02F-33129CA24690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ea138354ffb6341f1ec8c1b880b223989d910c4","datavalue":{"value":"W2465002466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201275$B3AD4E42-AD9B-4253-B205-E1F735AE622C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$9DFB4108-6882-4ABF-BA58-B2150CFBFEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b1dc51f51b71b99c2287cb85e63189fb6e29e4","datavalue":{"value":{"entity-type":"item","numeric-id":5422290,"id":"Q5422290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$DF7D1CC7-DC55-4FB6-ADEA-5016DF7FB002","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":"Q2201275$9A9FED29-0F97-4F07-B267-C43A13FFF2A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48a83ca8a6728012b90d9e45a3566f58dbdc5306","datavalue":{"value":"10.17512/JAMCM.2016.2.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201275$280EF1FA-3C71-4AED-A4EA-5121DC760EE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65f6d5cb7e20f4b499bad794491ac5505d28710","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ea0e2a16a65263e696c88b87966f2b81512698","datavalue":{"value":{"amount":"+0.7722005248069763","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":"Q2201275$A73F02FD-ED2B-4258-B04C-A66944F7894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d36f3f7b34303c6e21e3ed1fdb5154ee6274cb","datavalue":{"value":{"entity-type":"item","numeric-id":3369006,"id":"Q3369006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a44a024f1d438400734d1c368198b4912eb848","datavalue":{"value":{"amount":"+0.7677561044692993","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":"Q2201275$701581DB-3289-4225-B629-2D71977DF57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"185548bc2c0ebe6ad459f46b4d4c44fe5d41ec05","datavalue":{"value":{"entity-type":"item","numeric-id":2763664,"id":"Q2763664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff952c22215f0d2bfd69eb794b5bf5bacebe29df","datavalue":{"value":{"amount":"+0.7602324485778809","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":"Q2201275$7D87FB24-5112-43F4-9843-81DAF9BFA061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b81dd5c7ad198a64fb52eeb77fffdcbb8cbae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4817437,"id":"Q4817437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad32a1e9751cce3b3a63b848ef31462f248886b0","datavalue":{"value":{"amount":"+0.7487491965293884","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":"Q2201275$1C00F3B0-1B7C-45CE-816F-AE65DE559A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a767c94cdf2e612abdb8b82fc45631285e805028","datavalue":{"value":{"entity-type":"item","numeric-id":610283,"id":"Q610283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da30bb603284993f0ef5a447c915545ccbf1d952","datavalue":{"value":{"amount":"+0.7466028928756714","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":"Q2201275$CEBF9CD1-9CB6-416C-9C58-56691302B631","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201275$92C31596-853B-4033-B01F-3AD5AB5DE96E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2201275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2201275"}}}}}