{"entities":{"Q852274":{"pageid":854122,"ns":120,"title":"Item:Q852274","lastrevid":42729744,"modified":"2025-07-09T15:31:38Z","type":"item","id":"Q852274","labels":{"en":{"language":"en","value":"A sequent calculus for propositional dynamic logic for agents with interactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076498"}},"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":"Q852274$74F47ED1-D0CD-4144-81EB-C2FF2AADB5CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd978b390abeaaef594845211101798da91ee357","datavalue":{"value":{"text":"A sequent calculus for propositional dynamic logic for agents with interactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q852274$1C25E06E-4A96-43D8-A9CD-35CD13DC6409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ea597ea3ce4b3bdd1296bf308104530c42b3a15","datavalue":{"value":"1109.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$A8A7E552-F8FC-4905-82E3-9DF6B0FF6A4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852274$F3935519-D5AD-4FD5-912B-D7E30C700077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e67fedbb3d01d0fbc82d1e830a965c105bf1f72f","datavalue":{"value":{"time":"+2006-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q852274$8DE52A5A-8FAE-44BE-A720-9E385C9BFAD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$98E39E61-8C00-492A-9945-EA35F7C4B375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$121192EB-6547-4CD5-9EF3-0B37EF10F1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$3ADED1C7-131E-4A6E-9AD0-174BEEC74133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$F06B27E1-0469-408C-B775-026429FB3256","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a86c6da3619fa5ffc4b5c0499ddc785b9b477921","datavalue":{"value":"5076498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$23447734-9747-4D1F-A552-4D341975D204","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$0E910F20-4947-417C-B730-EF76116CC25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f293fa65e31cc5b6232c506be6c872215d7a38df","datavalue":{"value":"wishes","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$8BB45AAD-CF28-4499-899B-4A9C2C1AA376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$FBED6DC7-5979-47B0-856D-AB2200DB81B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0de8366ac43c8b9bae86936b4bb9760f3e0496","datavalue":{"value":"interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$0DA5E414-C2A0-4F34-A465-075B0196EE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$6D5D3242-8050-47E4-B642-F64AFD7F4B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$103B1ED8-1B1F-448C-A50D-1D3F87BDDEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ba2cb36429902330e95e511c63a0776438d29c","datavalue":{"value":"commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q852274$CB0DF901-B7C8-4FC3-88BE-CB940766CD00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852274$6CF07617-AA16-419B-8DF3-CD9609246DE5","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":"Q852274$8F7D16F1-4B8B-4D72-B86D-056753BA42AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"716a7f1f08e778fd4ba91b66786c6d2e1b5eda17","datavalue":{"value":"https://doi.org/10.1007/s10986-005-0025-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q852274$6C8752F8-5EDF-427C-9563-C77D269364F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4e3deeff710ad3fdb5bfe4e31a0c851f42fcc24","datavalue":{"value":"W2025571074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$C208DDC8-CFE1-40EA-8FBE-54BB89266371","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2af68434b117ad9dbc81b13bb80747736ac8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1770620,"id":"Q1770620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852274$0C33293F-AB93-4CF6-ADE5-6E267225CB4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86f8b7435cf8b283072a3c11eb420570966df24","datavalue":{"value":"10.1007/S10986-005-0025-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852274$6BFE6F46-B113-406C-BCB8-9AC22CB56F97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d9a33f6b387829739085fd4a26359a1de8a594","datavalue":{"value":{"entity-type":"item","numeric-id":2571499,"id":"Q2571499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ea9ec65f5469d37d7146f8e91c4df9cc76fd4c","datavalue":{"value":{"amount":"+0.98408127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$65AD96E5-DDBB-47CF-BDA9-D44F60E14147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06906f1f73d7ae535485bd8d122ab906f5b4554b","datavalue":{"value":{"entity-type":"item","numeric-id":3224882,"id":"Q3224882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28639eb6aeea5200f0e1d589e7fa02c43a26eed8","datavalue":{"value":{"amount":"+0.9201914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$71245C8E-53EE-40EA-BB39-A35254E62617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187217a4a8ca9471361536ccf66dec0a2cb82f6d","datavalue":{"value":{"entity-type":"item","numeric-id":2734941,"id":"Q2734941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748ae8dbb903cbdf9195972fe883a4e63242c1ce","datavalue":{"value":{"amount":"+0.91533613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$036B1437-3DD5-4AE9-81C4-9C6DB8930631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9569e0bd2f0d06187355c8a2b170deaa99922c8","datavalue":{"value":{"entity-type":"item","numeric-id":2859100,"id":"Q2859100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a33461f010802d68fd1e8f0b8ca7a2c4691f88e","datavalue":{"value":{"amount":"+0.90621054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$E1F316CE-F22E-4E87-9F55-0B4F41D487AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581893484c116a4441e797fef5ea8e041dacf106","datavalue":{"value":{"amount":"+0.8974991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$4770D095-3197-4892-A805-F4293580064F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3858961c8d4f61b37623ce25c4266f40dc59db85","datavalue":{"value":{"entity-type":"item","numeric-id":2151417,"id":"Q2151417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2d446a03e4e7ccab97f9bac87d74e89b5f75dd","datavalue":{"value":{"amount":"+0.88766265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$DF67EFDB-8CEF-404B-B3C9-3185C03CEF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61affd34089e7e43a6b50b51c0dbab91de126c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5283435,"id":"Q5283435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53cd91f54ba5216bc033c1181e4d360996379dc","datavalue":{"value":{"amount":"+0.8875458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$4BB3B007-1A39-45ED-B3D9-F5D7A4DA2D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a685107da4b8502f20fb5021c59c8109dce20","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53cd91f54ba5216bc033c1181e4d360996379dc","datavalue":{"value":{"amount":"+0.8875458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$D6929541-178E-44EF-9535-A994EE3955DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b07cd02df71af02910942109d7eb853cbd498","datavalue":{"value":{"entity-type":"item","numeric-id":4539645,"id":"Q4539645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d03eed5297097383bf97cea32e24b926095f29e","datavalue":{"value":{"amount":"+0.8819944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$97C3460D-38E2-4854-BD19-8BD4F19B496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f87e3dab5d140aec91f4ceb5699d4c0d102bae","datavalue":{"value":{"entity-type":"item","numeric-id":1183594,"id":"Q1183594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a5f9b306195e4e5fd46e0484ed03394f9d1a89","datavalue":{"value":{"amount":"+0.88017213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q852274$155B648B-645A-46A5-9977-E2044FD42565","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:852274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:852274"}}}}}