{"entities":{"Q6562529":{"pageid":14173684,"ns":120,"title":"Item:Q6562529","lastrevid":40561874,"modified":"2025-03-06T20:54:58Z","type":"item","id":"Q6562529","labels":{"en":{"language":"en","value":"An arrow-based dynamic logic of normative systems and its decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871912"}},"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":"Q6562529$05D83FD0-7D94-4C65-8FE4-2436506D0745","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"333ee80ec6fa1644f511a265d5c406e6cb6680df","datavalue":{"value":{"text":"An arrow-based dynamic logic of normative systems and its decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562529$2230350D-68CA-48E1-8CBF-AB7A3D41B37E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8f7f2ac331c888eb5c1e1c306e0c7734595ef5f","datavalue":{"value":"10.1007/978-3-031-45558-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562529$8CD793CF-264E-4645-94A6-4B3AA7B3AA4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$8BAC7D62-3940-4297-9D5A-BDFED8DA3A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbb5d074cc37bc4dd852800ec4ca1c72f5d2102","datavalue":{"value":{"entity-type":"item","numeric-id":343912,"id":"Q343912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$C423A514-54F2-481E-8D73-EBA854F4F0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe99f88148659439ee3682ca1ad6396fe87480c","datavalue":{"value":{"entity-type":"item","numeric-id":2055758,"id":"Q2055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$17C4025B-3A7D-4439-B868-78F24869339E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562529$699892FB-7964-42BE-B49F-64BE8AE7DED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562529$9CFEBE23-BF4C-401A-8074-CEE0680862EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8c392913c20020630f06d45311fe32fbca03775","datavalue":{"value":"7871912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562529$25DDCA59-90C0-4358-A926-9EBE3C238E52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1207a0ad09160a749ae8339c6b88a4577d1eb63","datavalue":{"value":"normative system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562529$64AC05EF-AE80-4383-AE49-0A8F9BF30AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d117e81eeb863039fc4f7a37d0f08f0c7d60d784","datavalue":{"value":"arrow update logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562529$BD4328BB-DF54-471B-AF31-FC81301B2811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562529$A6552992-7ECA-46B7-984F-79804CFA56EF","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":"Q6562529$17CFAA3F-7B1E-4A2F-B7D8-856F50062CE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e273302eeca0b902df33d378fb618dc6b095455","datavalue":{"value":{"entity-type":"item","numeric-id":3600564,"id":"Q3600564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$D44F154F-1222-4CDD-BCBC-7EA09C36BBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d14c7950f49f325d3cf777132b6b53ab447a2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3550951,"id":"Q3550951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$1CB06EF8-AA98-49F2-9DDF-55FF2D9F590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$0D776D3B-6CCA-46E4-BABE-9F5975AA1556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29f9444dd5f12e34ee0221426b9175efb3074b2","datavalue":{"value":{"entity-type":"item","numeric-id":1353841,"id":"Q1353841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$9FBE3644-5BEB-45AC-8EFE-487CF2AD9755","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":"Q6562529$FFD09D54-E47E-466E-8D30-5FF9346B0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505b7d871db17167b125a9aa975afc23853fad6e","datavalue":{"value":{"entity-type":"item","numeric-id":1575182,"id":"Q1575182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$E044CA05-C8D1-436A-B45F-E6FFBF5AA8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec35a71825a7df012d0ea488d0948495cfd075e","datavalue":{"value":{"entity-type":"item","numeric-id":5635426,"id":"Q5635426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$2904D6AF-A642-4591-A0B7-3B76A72F9E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8394779242df5e11b4f2bb1a6e8c0760b8d9f561","datavalue":{"value":{"entity-type":"item","numeric-id":5422030,"id":"Q5422030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$EB222F1A-E0E8-4615-8373-A777FEB722EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34689292e5bd7eb31eccafd276a7cc2b9d5e8161","datavalue":{"value":{"entity-type":"item","numeric-id":3224046,"id":"Q3224046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$B758FB86-5515-4B85-8F57-23D3D2280EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$2F169EC7-B44C-4712-909B-02C74122B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b17ad044b2ae0903a51e8cd4893678d98f555e","datavalue":{"value":{"entity-type":"item","numeric-id":2675279,"id":"Q2675279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$2B9EC563-E6D5-41F0-A0A2-1DDC3623C6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762373560241d51ab0e810bced62ea9e737106e3","datavalue":{"value":{"entity-type":"item","numeric-id":4885627,"id":"Q4885627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$3656A97A-DA77-4D3F-919D-B8031C44FF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b720e9eca27463dedd6e8df3fe29ac7bc976eb","datavalue":{"value":{"entity-type":"item","numeric-id":343913,"id":"Q343913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562529$59163D99-880D-4160-806E-ED820FBEB4ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6562529"}}}}}