{"entities":{"Q2900177":{"pageid":2910902,"ns":120,"title":"Item:Q2900177","lastrevid":51516377,"modified":"2026-01-18T14:35:35Z","type":"item","id":"Q2900177","labels":{"en":{"language":"en","value":"From model-checking to automated testing of security protocols: bridging the gap"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059073"}},"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":"Q2900177$A520F4AE-C255-4285-ABC4-E4FD23D4009E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d64697672fc74d400dc31d42e5af358f3ea72622","datavalue":{"value":{"text":"From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900177$ACDB1A4D-453F-4B2F-829C-AF8DED68A06A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8af516bf968cdb4cf893ce3a77e5cf16cde3dba1","datavalue":{"value":"1354.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$E176E749-9645-43DE-B5C7-85A1F7A73A35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c38d18132ab40b527995216b29ca285a4b85e6e","datavalue":{"value":"10.1007/978-3-642-30473-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$91B83023-E84C-43A2-B416-8B89544B732F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900177$CB85C4E5-FA45-4456-A7F5-099680BE6E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e711e6ecdeab2f65bb3f93a249b5189ccd1f0b0","datavalue":{"value":{"entity-type":"item","numeric-id":1993401,"id":"Q1993401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900177$441E6D61-02B9-4B02-8F2C-BC330DE0D2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7304a416be1a8c502f71d7ff34bcaefa1256efb","datavalue":{"value":{"entity-type":"item","numeric-id":2900174,"id":"Q2900174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900177$5B250EC9-45BA-47F4-B4B8-BEE7DE5424D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eefb28b067c54a48e9e62f09211b305b06c1da2f","datavalue":{"value":{"entity-type":"item","numeric-id":2900175,"id":"Q2900175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900177$7DAFABA9-15B9-4912-9B3E-63C3E7E2AB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8418b67cb1c62db766007ab8e5e713aed95d876b","datavalue":{"value":{"entity-type":"item","numeric-id":2900176,"id":"Q2900176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900177$B8C23453-BF80-4994-967B-AAFA779931C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900177$0DE3531C-B5CC-4FD6-B7BE-6E0CA05CFDB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900177$BB1B2594-60EC-4E5B-949B-A774373CBD5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$325DDC98-EACD-4623-A8C8-87C9129192F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$7D477572-AA40-4440-8832-1B8AC3FD822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$768CF70D-7873-4D57-A125-B26B06B7A8A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7454f8d61887c947f9e6caa7f518fc0125d4b63b","datavalue":{"value":"6059073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$74A15EDE-7482-4C87-B643-32B16DDB43E8","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":"Q2900177$69458EE1-6F6B-4306-BDDB-9A8036EC278F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10690e91a61f1387469c7e14843a36d8fc009b6c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30473-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900177$CB2D98FD-E72C-4167-BAFC-561556F5F7A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67ecf2cd96f0d84f08ab1d134357aa7c6c0783f9","datavalue":{"value":"W1538882499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900177$05E1C729-9101-4A92-AF54-AF9CDA8A81A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e2a7747b731a7010871a1b09c3d1e8e4c93844","datavalue":{"value":{"entity-type":"item","numeric-id":3176380,"id":"Q3176380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3039c2cc57f08468309330341554fc870688265f","datavalue":{"value":{"amount":"+0.7650608420372009","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":"Q2900177$DAF3B101-881A-4FFA-975A-6BE9936C9600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6053e323a27611f98e7005fc48ae11452c45b63b","datavalue":{"value":{"amount":"+0.7368081212043762","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":"Q2900177$A7FB7EDC-0A51-4B85-B9D5-5E4E0F633B45","rank":"normal"},{"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":"6cdc379899ab5dd249b6c50012935eac64c42141","datavalue":{"value":{"amount":"+0.7355769276618958","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":"Q2900177$4A378837-0967-479F-BE1E-CE4C96468014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfeeb4e6539c27e9dae5d059b6cb33d4f2d33b13","datavalue":{"value":{"entity-type":"item","numeric-id":5418256,"id":"Q5418256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f0ee6af044d1819a2e879f069cd9c2056f47d7","datavalue":{"value":{"amount":"+0.735118567943573","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":"Q2900177$BBDF47C3-CF28-4616-BF86-50702D75345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07047b2197714a8819b934f0de4fdb4e050e5c62","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b04ca3684ca3c734503ef57e31615892a60031","datavalue":{"value":{"amount":"+0.7299181222915649","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":"Q2900177$6708778C-3F6F-4263-A965-978341480154","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900177"}}}}}