{"entities":{"Q5902546":{"pageid":8012207,"ns":120,"title":"Item:Q5902546","lastrevid":50871680,"modified":"2026-01-15T12:44:07Z","type":"item","id":"Q5902546","labels":{"en":{"language":"en","value":"Formal analysis of some timed security properties in wireless protocols."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655969"}},"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":"Q5902546$2BCD9FD1-0229-4249-808F-93B1023624CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902546$8235AAD1-1F2A-4E8A-BF48-F18629BDD258","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63694a334b4a667898aab69a7432da799dd6517f","datavalue":{"value":"1253.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902546$E21C8AA0-B00A-4758-90B4-61009EC7BEA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902546$CE7F067A-EAC7-4050-B9AB-0C13A09A0108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2cacc9dbdb56044ba665838942ae7852e41de","datavalue":{"value":{"entity-type":"item","numeric-id":692279,"id":"Q692279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902546$C2DF68B6-9C37-4090-888B-476EEFF6D3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c931cdda25535487455e4dea3b9aac404064a1b","datavalue":{"value":{"entity-type":"item","numeric-id":511937,"id":"Q511937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902546$106D7EDB-B685-4293-911C-C83DFA98AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"959a0ce522d24f5b67383b808f3f3145b66febb3","datavalue":{"value":{"entity-type":"item","numeric-id":3407829,"id":"Q3407829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902546$BE2A40A5-B5E7-4BCA-972C-C9CBA3F24315","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902546$7A1F1455-F887-44C4-999F-81DD479E8AA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902546$7E6B8EC4-B5F4-4A43-93EE-42ECD299B4C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902546$344F87ED-C34E-4817-95F7-ECA49DE63C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902546$181D5A8F-3941-426C-A0CA-F7493F77D08A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ebde73f6f85bedd0b4ed84d05f9c487622414d1","datavalue":{"value":"5655969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902546$D267E8AC-1FBB-4E8D-B3FA-FB735D27A7D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902546$45E30232-37A6-424D-ADD3-E5DC5FA5D834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f8479342f0046818ac88b035220d7e0bd3eb98","datavalue":{"value":"wireless communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902546$0F4ACC35-BEA9-4A53-8E93-492EE01F55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902546$1B450212-30D4-4B87-A537-659A1192061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f360fe1c89cff111dc9c58d7592edce7f1333e04","datavalue":{"value":"sensor networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902546$392E3E72-6D96-49D5-9130-AB861CA023B5","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":"Q5902546$842557AB-3403-4005-ACD0-6DB28E98958C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902546$652DE60A-7D58-44DB-81C2-28184D59B494","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902546$F72E6464-760C-4D19-8054-7A7ACEAE08AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902546$CE0E51A1-7D5F-445B-8976-FC6F12F941C6","rank":"normal"}],"P1643":[{"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":"c3b72d3a77872c085ff6a3c65b7994a731ea638c","datavalue":{"value":{"amount":"+0.800711452960968","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":"Q5902546$6502CC99-BB6C-4DD6-AC19-E2F0EC11931D","rank":"normal"},{"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":"bb8f71484c7dc5b1497229511c90e514d6a0ed64","datavalue":{"value":{"amount":"+0.7909999489784241","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":"Q5902546$A634047E-8EFF-4994-AE88-AA5E0E6A0286","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":"c714b67723fd0118d8f3c36cda09789a5623dcae","datavalue":{"value":{"amount":"+0.785101056098938","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":"Q5902546$C753FEC9-5E62-4176-9378-5BEEB29412D2","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":"11badeb9ce6ce192d51d9e9df3311b9ea86bbea3","datavalue":{"value":{"amount":"+0.7841107249259949","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":"Q5902546$DD1A5911-9960-4D1F-ADAA-4B8E410BBD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a26dc41ce2dcb9a921377d513568cc0278532f","datavalue":{"value":{"entity-type":"item","numeric-id":2152027,"id":"Q2152027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74e063bd51666d61ca071b9e4e644e1de474605","datavalue":{"value":{"amount":"+0.7795647382736206","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":"Q5902546$EB6FEB8B-98DA-45A7-A41B-468C980DFECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902546"}}}}}