{"entities":{"Q2281649":{"pageid":2292392,"ns":120,"title":"Item:Q2281649","lastrevid":53626094,"modified":"2026-01-25T11:12:23Z","type":"item","id":"Q2281649","labels":{"en":{"language":"en","value":"Automated verification of timed security protocols with clock drift"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147579"}},"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":"Q2281649$F98AB33F-C28C-45F9-A82B-B3154B631611","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d73262615f4f0c74dc4f871fdbf8b2afc222aced","datavalue":{"value":{"text":"Automated verification of timed security protocols with clock drift","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281649$5685B277-DED5-4CF7-AA57-172B281FAE82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0c21693ffc1ef710612a600ae0e606ca17c4619","datavalue":{"value":"1427.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281649$84130D77-1864-44E4-BDFB-12343A009509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c486a1d3f374b8af7ca0bad7a56e1c8b5ac8aa","datavalue":{"value":"10.1007/978-3-319-48989-6_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281649$7E202FE0-3153-484E-A18E-913E3646EAE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d85ca94fa2338e8ef7f7776fa997a7be0895e9a","datavalue":{"value":{"entity-type":"item","numeric-id":318516,"id":"Q318516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281649$42A024B6-5098-42E8-B4C3-2A7E5F85FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281649$309B97B6-9CF5-4BC9-A420-01191206DFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281649$37CDC16D-F426-4B7B-AFB9-B19E4FAE1E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-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":"Q2281649$ED7D9161-92AA-42F5-B540-66D5E761533B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1253d43ff15807813c33fb684882c6d69749ebc","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281649$258B788C-A1BD-42AE-B962-7350C192B6D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281649$3B2950D1-023D-4024-A91E-3EED52878597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"147fbabb8f8ef7748e9ddc8153a9b747ac042985","datavalue":{"value":"7147579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281649$717A1853-459C-4DD8-964C-22DB8B1D474B","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":"Q2281649$F7C9DECD-4730-4AC4-8E24-6FB9A29B7AE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8a66b48ae0dc807ad20c0789f48288b2c3c1335","datavalue":{"value":"W2556775489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281649$C9EA9CB4-4ACE-4E55-B969-2DBDCFD21B98","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":"31774e9f69ca13858e69d02ebf5c6910c1fb41f4","datavalue":{"value":{"amount":"+0.798694908618927","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":"Q2281649$1D427A2F-8C9B-4DD3-A2C2-2A3AA0E759EF","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":"9cad44c1a6503837efebe50934c8018601f5d44c","datavalue":{"value":{"amount":"+0.7977468967437744","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":"Q2281649$22C08F0F-B33F-4607-BB69-6546FD306BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625b378698298b15de36ff69fdf7fdec2b1b1e47","datavalue":{"value":{"entity-type":"item","numeric-id":5415612,"id":"Q5415612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677679da7482a2f8905a981f168570fd62bbb340","datavalue":{"value":{"amount":"+0.7861844897270203","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":"Q2281649$3E384026-101D-4188-A07C-153B4AF453DF","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":"ffa4b302b94d1595d7590295bf9b289227314c02","datavalue":{"value":{"amount":"+0.7813006639480591","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":"Q2281649$FA1ED911-0A50-42EC-BD1B-7C6A3FDB68E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0eae367b05ec54f3cd8313f4e270dc091581c6","datavalue":{"value":{"entity-type":"item","numeric-id":5902546,"id":"Q5902546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d630425d95cf1f8566d52183b8c5df40d8b7f7","datavalue":{"value":{"amount":"+0.7766842246055603","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":"Q2281649$1E1E71B4-2511-4EFA-9F4D-BDEA9E165251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281649","badges":[]}}}}}