{"entities":{"Q6546446":{"pageid":14157600,"ns":120,"title":"Item:Q6546446","lastrevid":95751113,"modified":"2026-06-05T09:42:06Z","type":"item","id":"Q6546446","labels":{"en":{"language":"en","value":"Introducing asynchronicity to probabilistic hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855855"}},"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":"Q6546446$D85190DD-91FB-42FD-A109-114D151D09EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60697f6b40bbe5c96faa8f598f60ee2ee01cbc4e","datavalue":{"value":{"text":"Introducing asynchronicity to probabilistic hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546446$05F96743-F6AB-4C53-9DDF-8955E45041F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915f2d5795bc5c84f41d973bee9222b71a696f79","datavalue":{"value":"10.1007/978-3-031-43835-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546446$666B439D-DC44-4A37-AF92-3213494EF45B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c60f3b5b88d839f322a2343b077ec0de3917715","datavalue":{"value":{"entity-type":"item","numeric-id":6546445,"id":"Q6546445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$A09223FF-DC76-400C-B335-4EECC491CEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7edd4e9ceb648426cb5dc813feceeeef6b37b366","datavalue":{"value":{"entity-type":"item","numeric-id":2105473,"id":"Q2105473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$ACD2D59E-7D0A-45E9-B6C4-82CDFD51E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$E478396A-5E95-4082-BF7A-67BC6B3D25B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$B267DAD9-CA28-418F-B112-34C5AB92E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$D2C46E9E-005C-43FF-BC49-0EC87CB72E31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546446$BC34FA78-9663-463C-9D80-21396EF7DECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546446$B7FD707B-52CD-42AF-B22F-0EDF7217C2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546446$A1B5EBA3-700C-4464-AF40-1BFCC3C24BBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"360ec27cc66d867dea47ba7637d94f6b38236055","datavalue":{"value":"7855855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546446$46397035-0DD7-44D2-9A8C-16591EE76904","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":"Q6546446$D00121E2-71BD-4B1D-8A9B-4AF7B7A796A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4487bbf1975ec8a8efa423b9a88974b14b2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$1C72CE2D-23EA-47E0-BDFF-9A7C8531F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$943D1B1B-5733-44BA-A4B1-9D364FDCAC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172794cc6d13649d0166d25dee722d6acdb3f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$B7B04600-F765-41B5-97B9-4034F723FA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$4149D5DA-5E7B-4CC2-B3A8-11E1FCAD1200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6969f6af5f82cd88a8086914aec223c2fca89cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2152640,"id":"Q2152640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$68AB0952-39CE-4346-9925-E2250BB36CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$35914D59-8F17-4B7D-8327-C64D3CD09A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a61fc61652a4e833852385a8191ca3ffee37d00","datavalue":{"value":{"entity-type":"item","numeric-id":6135762,"id":"Q6135762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$FF1800BB-28FD-4360-A425-C872A82040AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$94DF28EC-A5CB-4734-89A3-B90ADADC8D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839806caf5a65a073d1c277b709b43ecd8f87f4e","datavalue":{"value":{"entity-type":"item","numeric-id":6587135,"id":"Q6587135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$5B12F2E5-CB69-4B69-844B-8A17140A7E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$44D09882-3D61-49C1-BFBA-87D41C41C4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$B5EFC9E2-5A3B-473D-ACCB-0375EA09D6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40531d341fd8cf721b83d156f266c394aeed15c5","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$0D5EF25A-214F-4981-8BD8-0BB9F1B5A16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71317b38eecffd934b87c821f676752df0b0563","datavalue":{"value":{"entity-type":"item","numeric-id":2105474,"id":"Q2105474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$B0FBA2D2-9D7E-4414-B1A8-48BE225A71BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$C9CD6E76-67A7-4617-802D-29C0CAA06BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$209D53DF-236E-433D-A0E5-C50DCBEBD735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546446$2EF0E491-ACEC-47D1-9AA6-1D467649BBD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a541187b1c7a49873d959cdd00515c96e3f616a9","datavalue":{"value":{"entity-type":"item","numeric-id":6651942,"id":"Q6651942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0432f6b19a196faef55d1f169f701ae1256bffe8","datavalue":{"value":{"amount":"+0.857252299785614","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":"Q6546446$3144F16C-77BF-43AE-9ABA-25F54D29573F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af82bde9559b30a3de873fffe47dc2d4f0df70a5","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c2569e528bb1c1ada2309a237e6038fa98093a","datavalue":{"value":{"amount":"+0.8474449515342712","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":"Q6546446$8BF5B226-FB6D-4D96-BEEA-C5646B999FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e27ffb4ae9d7da23a5ac37c428f13cd688867cb","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4b56422970381188c23b05954a5607276a213f","datavalue":{"value":{"amount":"+0.8165590763092041","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":"Q6546446$BB40F9E1-C13C-4317-BD0B-D37CDAD1D5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370c73d2ce1fffad1356c6471069bbeeadcb49eb","datavalue":{"value":{"amount":"+0.804887592792511","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":"Q6546446$F6942FC9-97E9-4184-9BA4-BDCB1B43A1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aef54c234756b948016b96b86871a47d7ca205","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fa60e0285027942553b63c71175d8733c04152","datavalue":{"value":{"amount":"+0.8040998578071594","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":"Q6546446$6F1AA68E-3569-4ED5-8E4E-AB9B83CA9D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introducing asynchronicity to probabilistic hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introducing_asynchronicity_to_probabilistic_hyperproperties"}}}}}