{"entities":{"Q2165489":{"pageid":2176232,"ns":120,"title":"Item:Q2165489","lastrevid":57754437,"modified":"2026-04-01T07:10:34Z","type":"item","id":"Q2165489","labels":{"en":{"language":"en","value":"Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573703"}},"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":"Q2165489$465C3F0A-1EDB-48D0-835A-00004B4A6913","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa6aa995a7a4a358c639341e1860d3c2ac5a6b99","datavalue":{"value":{"text":"Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165489$AC252AE9-01F1-470E-8074-BFBDE7775312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f552349d7ef41149d5807d2bc26277f511a873a9","datavalue":{"value":"1499.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$E399E0DE-055A-43DB-9470-6563754441FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"376b6f3ead0027b99ae0d60c70eb701145c904a6","datavalue":{"value":"10.1007/978-3-319-45741-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$8862813B-C992-47DC-BAFE-9BD1E6B2554F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165489$5507C39D-DF8A-4283-AA2D-B2FDE87FE2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165489$1C45DE61-D166-48F4-81FA-D461CDF48306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbf27719943d05535282ce22981be36830a006bd","datavalue":{"value":{"entity-type":"item","numeric-id":2165488,"id":"Q2165488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165489$DB18F981-60DB-4145-A96C-B44DFAD52673","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165489$0CAB1A14-7EB9-4B69-87FC-E620B84A69BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b40efe2c6c8b8841347641b920855d5d17c9a75c","datavalue":{"value":"https://arxiv.org/abs/1605.08563","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165489$6D600B17-D3CC-476C-98B6-BC29819475F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$DC878F27-FD51-4077-8586-1217D1F37365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$839EE439-97BA-44DA-8539-8CD42B81AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$FBF742B4-5C66-49FD-B74B-1204472910EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c872208cccc5531648e5bf3932a6ba0764609236","datavalue":{"value":"7573703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$88C2A4BC-EA3D-4EC6-8C34-9DE401C88FA7","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":"Q2165489$4793E7B4-3001-48B5-B16E-95ABB0ED3C57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"329fd23c68eb77db91cb07435ea309cdceacd40a","datavalue":{"value":"W2395334218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165489$4B7E5AA8-63EB-4868-BC02-BEB97363E2D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5549dc8080b9d24517b6c5e99008b305ba2035a","datavalue":{"value":{"entity-type":"item","numeric-id":5192937,"id":"Q5192937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3467504872d2d5bd2a33c4db7401678df19793","datavalue":{"value":{"amount":"+0.8046847581863403","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":"Q2165489$E6160F60-8FC3-4DF3-8786-B90A0F818C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5642cd758972f62bdfecc52283095b9dd61ef10b","datavalue":{"value":{"entity-type":"item","numeric-id":3508516,"id":"Q3508516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79a905f3c3fad0c7de7aa3685bb20e4c043f3f3","datavalue":{"value":{"amount":"+0.7531601190567017","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":"Q2165489$257AEA5D-3AD4-401E-A39F-0FC8BDF085C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181ed5802c9597d1ee2e37dbd6b1bd463e8e134e","datavalue":{"value":{"entity-type":"item","numeric-id":2281649,"id":"Q2281649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e48fff843709e07ef093e5dc21969c2359f17c0","datavalue":{"value":{"amount":"+0.7395222187042236","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":"Q2165489$668C86BE-5AA8-4545-9D74-AC019FBE1853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584c138efbe4aec37b292fe636503bda2186ea6f","datavalue":{"value":{"entity-type":"item","numeric-id":5422283,"id":"Q5422283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fe476f63df17456d7ca655f5ef9365136d57da","datavalue":{"value":{"amount":"+0.739405632019043","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":"Q2165489$8CBA97F6-08EC-4F97-9231-9EE82B36EE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757d0e8fe8457a7fab7174ef123819d10a7c6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308417,"id":"Q5308417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8448ec7b36dcc5800a839b160c4ed693d583279a","datavalue":{"value":{"amount":"+0.7218052744865417","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":"Q2165489$1741EDC0-36D4-4DBC-8B39-CC0CCBB1F81A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165489"}}}}}