{"entities":{"Q6587135":{"pageid":14198291,"ns":120,"title":"Item:Q6587135","lastrevid":100033643,"modified":"2026-06-05T21:16:27Z","type":"item","id":"Q6587135","labels":{"en":{"language":"en","value":"Expressiveness and decidability of temporal logics for asynchronous hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896560"}},"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":"Q6587135$6DB6AAA3-0C33-413A-B4BB-6D897B4106E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"302de822b115e2ed38b46d45227603b4be0ff6cc","datavalue":{"value":{"text":"Expressiveness and decidability of temporal logics for asynchronous hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587135$D3DB17E1-4400-4582-B9E2-45D592DB1166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587135$1844280C-7871-4961-9935-F6EA9201057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587135$E6C44382-DCD1-429A-8B2F-558BD59F9754","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":"Q6587135$E529C41D-C57B-456C-AD08-DE35FB341564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587135$66D7202C-899A-4242-B724-46EE7D034F18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587135$63B4C599-49D5-49B9-B6CF-E92EF60518CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aa357fef0f5f7c4209f6d96573331b84dc5ec32","datavalue":{"value":"7896560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587135$21433BAC-957D-4214-91CF-A0CBCC923C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587135$645B2603-CF9A-4308-A565-E459D03EF135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13189f92d68a6b102f43d33766cdeca0929a59af","datavalue":{"value":"asynchronous hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587135$B5543FA4-91BF-4036-871E-07995D3D70A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e405085774a1a9f4d6f5f46ea18aa06c61cd4406","datavalue":{"value":"temporal logics for hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587135$F30BA488-B7F5-4FF3-A53F-B27A41C2BB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587135$43D39EBF-4412-4305-96E1-584532BDB525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587135$82377D59-9367-4882-AAE1-D25932C62B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587135$B7138FBC-0ABC-4B88-9EAE-F0B681DEBBEA","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":"Q6587135$3B7F5AB3-5449-411C-8E5F-35BED8B3C4B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e3782523de61d95c264cffab1d0a7498e0b0c72","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587135$08A5C9D2-0227-487B-A30F-63F0E53DA5A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness and decidability of temporal logics for asynchronous hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressiveness_and_decidability_of_temporal_logics_for_asynchronous_hyperproperties"}}}}}