{"entities":{"Q7325541":{"pageid":31366441,"ns":120,"title":"Item:Q7325541","lastrevid":105125608,"modified":"2026-09-17T14:26:05Z","type":"item","id":"Q7325541","labels":{"en":{"language":"en","value":"Extensions of HyperLTL for asynchronous hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8251823"}},"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":"Q7325541$AD186B7F-1E0F-4E2E-BFF4-634777F67BB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9530f94aac113236db7c6316b30084597e04bebd","datavalue":{"value":{"text":"Extensions of HyperLTL for asynchronous hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7325541$E9A6BF09-1EA9-47A4-B22F-B9E504F003A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85147dc79e86970dc878ce11e2ab3976432522d9","datavalue":{"value":"10.1145/3815107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325541$C38FC624-D1AC-40FA-B65F-7AC9CAB24D52","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":"Q7325541$CD9BF704-659E-435C-9BCE-205E841E9BB8","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":"Q7325541$EAD30604-6D87-450D-BD51-C9CE17BB117D","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":"Q7325541$E1C12CA0-8B24-416C-BC98-F5E7C84B638F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$710BADD9-86A3-42BB-8A82-59E04875E857","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872c14032389646afc449a111a40c6a7cea5e0bd","datavalue":{"value":{"time":"+2026-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7325541$F3147363-E94B-480F-B4A8-8F743B4EC3FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325541$98919D55-61BD-493E-AE5C-DD664479DB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325541$813A0D8D-A058-43E4-9D6C-2B942862D2AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83802745895ad0a7d12d2875af0a8a811b0f5126","datavalue":{"value":"8251823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325541$B21571B4-F078-4F43-846E-73EA08D24F21","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":"Q7325541$5CB6C82B-99BC-4BD9-B5B6-A7F3D235A44E","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":"Q7325541$9AB4CD53-69F1-4EF5-A8F7-CD92BEBB06E3","rank":"normal"}],"P223":[{"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":"Q7325541$53CC4ED3-1674-4A9E-911D-D6D3543B54E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af4c8628c39415db8532d7ed1923a812de2f281","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$83C9B7C0-2101-4E25-9AAF-C3FF9AD347F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c34d0fd3dc296bb7050a1892906d2d31cff1b7","datavalue":{"value":{"entity-type":"item","numeric-id":6535541,"id":"Q6535541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$E550D864-F011-4423-88C8-610B44690F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f53c8dcb4793dee730581d8a3ff7a8b679df5a","datavalue":{"value":{"entity-type":"item","numeric-id":2152493,"id":"Q2152493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$7D178611-F249-4049-8B7A-2B2A7D1B3DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1103bf2be22a56e26b2e58baee3dc819c473948","datavalue":{"value":{"entity-type":"item","numeric-id":3449766,"id":"Q3449766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$1C79C6B2-6A7F-4753-9396-2A9D49A5AC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca2fcee1fd6919a0db354b6be3a6754db0afc06","datavalue":{"value":{"entity-type":"item","numeric-id":2949438,"id":"Q2949438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$5CE34871-6C16-43EF-988B-D997311224B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19620c250c7c146c091f49035e11565f2887a27","datavalue":{"value":{"entity-type":"item","numeric-id":6651942,"id":"Q6651942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$5ECE7E7D-C7A8-4239-AED6-C9990772549C","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":"Q7325541$97BBB140-8985-4426-BE2D-9641F0827A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$28D08547-0818-4D94-982E-A2934B60795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d6693d512649b81b3d5089191781b47a2d178","datavalue":{"value":{"entity-type":"item","numeric-id":6654505,"id":"Q6654505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$5B61D060-BC6B-4DB2-AD5B-7D56060F9D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307327b3b020f23facd8f49e050ed758261e2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$643997E2-86F0-46A9-8B47-AE179D3CF217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$9FD72F47-3E81-4912-87AE-1631C7B9F096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48cd9b21419c0b0476f895370752ead060b8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4608665,"id":"Q4608665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$3C902ECC-8198-4BBD-BC26-6D24B17AF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0694cdc39b22e204737c487ba74f53cbb8e1ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$B8548A81-29B6-48E6-8DDF-55CE5AD5DF5E","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":"Q7325541$1FF12C54-0B7A-4C2B-95FF-21FA00961F8D","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":"Q7325541$3F054D8A-89FB-4391-BB83-330608DC1DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$AC182E3F-F544-4B3E-9F78-FEA1620E4202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519552f6bc98e6e39e5902ca620b73726341552a","datavalue":{"value":{"entity-type":"item","numeric-id":6649479,"id":"Q6649479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$266B09ED-F59E-4815-A7CC-4E190D4B03F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6be44b04451278abe476d0cfa64e44423da4a55","datavalue":{"value":{"entity-type":"item","numeric-id":5089318,"id":"Q5089318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$6AD8D6A8-941F-4E53-B76B-D66851F82674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$3EEAF435-3E4D-48EF-BA36-4DA71AAFC6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a935d3dc1ea1f2269858b5033452f05d566f8b84","datavalue":{"value":{"entity-type":"item","numeric-id":6535338,"id":"Q6535338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$38A22638-F081-44F4-A6D7-BE5E08139248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99beac329e11d5c5d4b30ea1e65a39423ca87393","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$B639482D-4D8D-4256-A66F-90191A66975A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$600F3510-31AC-4AEA-AC1C-2463137B8B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612aae72181384189269a9b1cb968c0297bfb4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2193280,"id":"Q2193280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$0CE45ACF-EDC6-4CE9-8B3B-5AD329DBB2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$48E417FA-ACB3-4527-8A10-7BF82DB19129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$67D79D2B-AE9A-478E-B64E-DD6CBB13C8FC","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":"Q7325541$82DE2EAC-5446-4AF7-8753-78B8373EC5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$EB24D51E-2834-459B-AE63-C76F6AD79665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$4BD30532-0825-4FC5-8728-37B38BC1643B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$6A167E8C-0798-4298-A443-36F1C118FDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$AEDF37F1-BBFF-4962-BA45-523798183173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41c9e0943a021eb029c183b54bb62feacc24d2d","datavalue":{"value":{"entity-type":"item","numeric-id":6187072,"id":"Q6187072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325541$88AA5628-7D13-4FC1-BC84-5B00F5458DF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions of HyperLTL for asynchronous hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensions_of_HyperLTL_for_asynchronous_hyperproperties"}}}}}