{"entities":{"Q5192937":{"pageid":7222509,"ns":120,"title":"Item:Q5192937","lastrevid":50741762,"modified":"2026-01-15T00:20:16Z","type":"item","id":"Q5192937","labels":{"en":{"language":"en","value":"Timed automata based model checking of timed security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5593275"}},"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":"Q5192937$BD8F70D7-7607-4BC3-AED9-A977D3884BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a50c6fa64cf7d5741721a35323994e1d8046b85a","datavalue":{"value":"1189.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192937$751337A7-521D-45D7-B1E4-5754876473DC","rank":"normal"}],"P16":[{"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":"Q5192937$D5E4DC4B-E352-4344-83AA-2AD8718FC143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192937$09F75192-CF46-4A95-931B-E92DC871EB01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506c1325d3a4f4147f4f3add6b73065b15a733fa","datavalue":{"value":{"time":"+2009-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5192937$52C818E6-15DC-4F09-97F9-A9C465FCAEF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192937$5B05D597-48B2-4484-8560-135C739E9B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192937$19F3C422-42AB-4360-A746-AA037E06746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192937$832357C8-9CCA-461A-9EED-FA520DAF54DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192937$A373D318-AF71-4C14-9CFE-84BC166A1E74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e28cbb11fc5079696a04dce662046b93e97e9c0","datavalue":{"value":"5593275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192937$E86BE0C6-52FF-4EC3-B6E6-132A2500E0EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21646aa2644f1d0261019e32fc8a7310469a3a4e","datavalue":{"value":"timed security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192937$D4CD01B8-506B-4A56-9BA8-3169655C5142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192937$090B595A-C702-42F3-9912-AE234884BC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192937$72E0837F-6B03-43D6-A664-977D1FC57457","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192937$29C0A154-00AE-49E1-AE62-380864230759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192937$F16FC85B-7C15-432A-8B58-370D788B6228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192937$5E3F3726-C23C-4185-BFE3-4D3D40421681","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":"Q5192937$FBB5DDF2-3576-4140-96F0-93D0B395EFC9","rank":"normal"}],"P1643":[{"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":"d0ea4d405af5af8ed27a0ce01b53aeb165fc5bf7","datavalue":{"value":{"amount":"+0.8969764113426208","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":"Q5192937$B417CBD1-1A51-4ABE-B58B-78FBE6690D29","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":"ffc9d714224ad87e9b300fd2b7b6642ee9e95c85","datavalue":{"value":{"amount":"+0.8506687879562378","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":"Q5192937$0BBC8977-2848-4130-B174-112CD5131834","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":"3b9b7d7e2b9c020d787e767de20e2341511424c2","datavalue":{"value":{"amount":"+0.8456657528877258","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":"Q5192937$C05525C9-68C9-47ED-A2CB-A068EB56CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f67717d1ff5ca60a3a7267d3106d3b5356e1b60","datavalue":{"value":{"entity-type":"item","numeric-id":5422290,"id":"Q5422290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51be4521de6148c9482cca4e44e8bf2fcd07bd4d","datavalue":{"value":{"amount":"+0.8256162405014038","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":"Q5192937$281625E2-32A0-4802-948B-A08922508979","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":"ec86383f9c3c30ea6125a75e2e9a643770cb0dce","datavalue":{"value":{"amount":"+0.8136301636695862","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":"Q5192937$103889DF-6C67-42F0-B5E8-76FDD87C75E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5192937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5192937"}}}}}