{"entities":{"Q832224":{"pageid":834072,"ns":120,"title":"Item:Q832224","lastrevid":64674651,"modified":"2026-04-11T21:28:23Z","type":"item","id":"Q832224","labels":{"en":{"language":"en","value":"A temporal logic for asynchronous hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498162"}},"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":"Q832224$44578D62-2911-457B-814C-EDFD434D26DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96bf577ecd1a44a8b968f0f538c41fa828d103bb","datavalue":{"value":{"text":"A temporal logic for asynchronous hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832224$5BADAAFF-9AA1-497D-A382-9B8751AC042B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d7dbcd0f1237d247d01d71a79828038a9870364","datavalue":{"value":"1493.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$49FA044F-932F-49CE-BEFD-6DFB3299DE02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8655e45e56aead36f819f4fcefa99933f501d682","datavalue":{"value":"10.1007/978-3-030-81685-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$BF37771B-DA3C-4B39-A3FC-CF0C7397AD89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9f0eecc60f4cdcd013293c25e7d294fad6094e","datavalue":{"value":{"entity-type":"item","numeric-id":832221,"id":"Q832221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$3567F9A6-E858-4F96-BAD5-4EFFD63F933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3e594330a8e5c9f6ec76f65cd50182a98a8380d","datavalue":{"value":{"entity-type":"item","numeric-id":832222,"id":"Q832222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$5E48F8B8-3E3D-4D10-9352-B099AC402EB1","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":"Q832224$75B9E006-D720-472F-B81A-C6E0C4D9A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$8AAF9E86-824D-473F-8C52-A70A40EFD94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$674643ED-F06C-4CF7-9715-9E72B77188E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832224$1F1ABF82-6B59-4B1A-BA8B-3741B19A34F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9e62061f5ae46f006db97905e302e3a8f4264eb","datavalue":{"value":"https://arxiv.org/abs/2104.14025","type":"string"},"datatype":"url"},"type":"statement","id":"Q832224$0971BCAB-696F-4862-8847-F40D9293E92D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$99A4BB10-CCE4-4676-A194-14B4E400D405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$B5A46EEB-674A-44DB-ACCA-4C6DF8896058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$8C1E5147-F135-45D1-8584-1C204A8D4457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c3bf1b049a9ebd36357302f5626a730304c5c80","datavalue":{"value":"7498162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$5DB1A7E5-4B68-40D3-BD9A-94233A0C6436","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$7182D4E3-8368-4DF6-AC7E-AFDEBBCB6E98","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":"Q832224$6F7289B3-6092-47A1-8D09-2E60C83720FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3c04ec1be6e46b7f7cbfb4185925906cf5747f1","datavalue":{"value":"W3184417962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832224$9837D182-ADEE-4D28-A83A-6267E60C0D6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$E8AC87CD-954D-4DDC-89D1-FFB306426620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a415575615b2e42302790d11e106d39b1608f","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$951101E3-E083-45A1-9166-C6C6E9C1FB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$10222040-00C8-4556-80C0-3420DF5DD18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$42178B00-2471-40DE-9D07-90E0E2F294BE","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":"Q832224$23C3900C-C7CB-4965-9E1D-BDEDCF5C7C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$4B42C8DA-E80A-48D7-8BE3-1DF26FF63D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd78993361ec2a07ae709f703c3917387366066","datavalue":{"value":{"entity-type":"item","numeric-id":784104,"id":"Q784104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$140D4222-4103-4E71-884E-D5F6E05E69FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$DEB5737B-F03B-40EF-9141-6220F9917FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccf005e0492f34cf4c0302cfe56dc8ebd41fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$4B8DB97A-DD41-4B92-8F02-0214E6341921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$72C6C084-221E-4029-9166-F85D55B0B710","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84696068cf400124b230fa71e2a7a60ce9cfaeb","datavalue":{"value":{"amount":"+0.8614113926887512","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":"Q832224$D5883076-4E24-4EA2-8E41-1C14E36375F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c44b5356fb1393dfaf678c97977399a1e1995d","datavalue":{"value":{"amount":"+0.8300080299377441","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":"Q832224$CE3EC013-FD87-45AC-BB48-C6A2823209D8","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":"6c9192e7215cd64fb41f9a18cd115805868a0ca6","datavalue":{"value":{"amount":"+0.8269464373588562","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":"Q832224$F4E13837-99A7-4B1D-ABE9-E401C34E6900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf97aa032697978b1d4047d2358e58848a20cea","datavalue":{"value":{"entity-type":"item","numeric-id":6487563,"id":"Q6487563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f564b571c2121493a89b2d7eacc5195e848f54","datavalue":{"value":{"amount":"+0.8220639228820801","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":"Q832224$0851A1C1-AE3C-49A7-BF32-9C2C971F7482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd6441ed8651f4837fa5a8c5fee11f790855ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c90b59f05b2fc17cbbc40cba92b66f513fd8f06","datavalue":{"value":{"amount":"+0.8195187449455261","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":"Q832224$20181214-48AA-4D87-8D2B-958362845728","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832224$FCB3395C-C438-44D2-86AB-ED117261930A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A temporal logic for asynchronous hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_temporal_logic_for_asynchronous_hyperproperties"}}}}}