{"entities":{"Q5089318":{"pageid":7118894,"ns":120,"title":"Item:Q5089318","lastrevid":39527811,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089318","labels":{"en":{"language":"en","value":"Propositional Dynamic Logic for Hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559506"}},"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":"Q5089318$3BEB0A16-7902-4EEA-BEB9-D112E50465FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94d14380408cac224f8643ab3f139ded7419915c","datavalue":{"value":{"entity-type":"item","numeric-id":2232277,"id":"Q2232277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$4935D496-7A03-4BD9-A911-59A640EA0BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$9ED12481-40B2-4550-8C2A-4A9350BED915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af35748948edba243b1c0764f78a428f0f0ff50a","datavalue":{"value":{"entity-type":"item","numeric-id":5089317,"id":"Q5089317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$18ECA107-74CF-4AE3-B2DC-AFE08375BD13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089318$3EA2EF30-1EF4-4680-9A54-E151E1045D43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26a036eacb2e87f7ee9eda85c11a8262a5c16469","datavalue":{"value":"https://arxiv.org/abs/1910.10546","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089318$8CB43913-5F00-4F5B-90FB-1E5A6AC99B5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089318$79A6D93A-4959-498C-9720-DBAC14D4C98B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b921dba65ab75c111910dddaba47e7a2267c5028","datavalue":{"value":"7559506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089318$D4448E94-3528-4935-A4AC-560B5AE0F1B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fb4cbf0e13ca5954e4557cf7a13a82938fc948","datavalue":{"value":"hyperlogics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089318$43308789-0A94-4DC5-9535-0F0433A69EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089318$DB2A3D12-2C6E-4A0C-900E-C04DF5C039F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089318$B51A773E-9234-49A7-9AF6-DBE3A1E51AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089318$21F18A23-A075-4EAF-B2DF-DCA601B7B016","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":"Q5089318$EE1DDF90-5F49-4D58-8243-7A439D6DBEF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$1765FE80-4E0A-44C5-9D3C-439660408D8B","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":"Q5089318$6805C1E3-EE1F-41AE-A5CD-BE02E40CEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$DD2D0100-D39D-4AC0-A38D-759996384DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813fff4a50327a56d55d510380ed2e072fd352b1","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$C7B2F227-270B-44CC-8DD8-FE23535AA2E7","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":"Q5089318$8E41126A-579C-4F91-9646-3CD87C4860ED","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":"Q5089318$C3008940-C695-4B72-8465-B155FD4C8203","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":"Q5089318$ACF254A6-B20A-4DDF-B9F8-9CA23B4ED6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$F7DEC01A-4FD2-4E9F-A0D7-2CBCE7502E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b1aaa12cb22baa573e2301380d3949f4de3d95","datavalue":{"value":{"entity-type":"item","numeric-id":4779585,"id":"Q4779585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$2F7C479C-BA66-49F9-B2E4-7872EEAA2E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73772cb1a9d61af11e7e7f5f6664c6a893776d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$D779D3C4-D7D7-4B41-BD90-9AA773F7925E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$53D474D2-A159-4FD4-B7F4-84762140B729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$BA229066-6BC1-4481-8588-3AAB4DC991D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089318$6118F602-2A88-43B5-8124-39C9264E6C6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b652362b97e197070d8d41ba12de5a56dccb850","datavalue":{"value":"W3081601885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089318$F5885D84-9B82-4876-B187-15614AE3FF40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f126f8629ae8ad5b7ffd68fcdf1d0d84a772a166","datavalue":{"value":{"text":"Propositional Dynamic Logic for Hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089318$FD556C3D-540D-4BE0-BB2F-2336FE3AC602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"368b53ffc2a60704674bd361a3860e3ddd77d957","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089318$8D88A56A-C834-4E7A-822B-96AED62175C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089318"}}}}}