{"entities":{"Q2571499":{"pageid":2582242,"ns":120,"title":"Item:Q2571499","lastrevid":44387301,"modified":"2025-11-22T13:54:22Z","type":"item","id":"Q2571499","labels":{"en":{"language":"en","value":"A sequent calculus for propositional dynamic logic for agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227992"}},"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":"Q2571499$62350532-19C0-4282-BC98-A3B679C379A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60529a63c7be8e32531c192bc4b2c9bf565572f8","datavalue":{"value":{"text":"A sequent calculus for propositional dynamic logic for agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2571499$E8B4EE5B-2948-4226-81F5-E044D4EC0983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"377e2ea2302071e918d1fa30aaff2b86633f4c33","datavalue":{"value":"1076.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$9621691F-04EE-4531-B473-E849F5460695","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":"Q2571499$9A50F61B-83DD-47BA-92CE-8BE5803814A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59508cd451bab65a68ea04963062f54c961f9d5c","datavalue":{"value":{"time":"+2005-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2571499$97912DA9-0FED-4ACB-B505-382E64673D09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$511FF695-E9DC-45BD-8489-7879A992F1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$893FE920-61A8-43FD-BEDF-AF7385528F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$56FB2B71-DEA5-432F-848E-88D52BB57A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e262f1f1aec8335a0be3cbf6fa903942fb019a0","datavalue":{"value":"2227992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$A8A7152F-313C-4DF6-B742-986682E868D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ba2cb36429902330e95e511c63a0776438d29c","datavalue":{"value":"commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571499$CC415D17-9D94-47C8-BFB5-B4BBF4D403A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571499$FE0A6C48-968C-4F81-B41F-D6BE8960F4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453dffe903df1c5b47c9d810948be9e5b7d261b6","datavalue":{"value":"agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571499$21F72C74-F92D-440D-939A-DBF1BC070B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571499$4715BCFC-6FA7-44EB-8C26-F7B2BFC4ADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39395b568f8226b6727ebe283c6a48174046bf2b","datavalue":{"value":"restricted cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571499$1BA978F4-B466-421F-9479-3736E48BF268","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":"Q2571499$E71489AD-2E3C-4522-A161-CEE4AF422D48","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":"Q2571499$4EB4D971-EB7F-4D27-AF56-DA530A305C54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03b92884f09307469acc22e8cd2686e3c3532044","datavalue":{"value":"https://doi.org/10.1023/b:lima.0000046874.58744.c3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2571499$B9946558-2C49-411D-A372-E1B86BD5F565","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8181e208a9684804402d5c7b26e9056c9213581f","datavalue":{"value":"W2143833769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$AE30A70E-085C-459B-93BF-93C491FD716D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19a8f0951eeaa86b0f3187cee2fded1771cf2bc9","datavalue":{"value":"10.1023/B:LIMA.0000046874.58744.C3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571499$DE232BB0-1390-4BA1-A120-52438B9000E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2571499","badges":[]}}}}}