{"entities":{"Q2957976":{"pageid":2968695,"ns":120,"title":"Item:Q2957976","lastrevid":58075737,"modified":"2026-04-03T17:14:04Z","type":"item","id":"Q2957976","labels":{"en":{"language":"en","value":"Multi-type display calculus for propositional dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679301"}},"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":"Q2957976$B9F0EE36-F5AC-4E2F-8E0D-51D2BF0BA46A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e79b7acd606a2ebc3cb3eb96106a47de2257986","datavalue":{"value":{"text":"Multi-type display calculus for propositional dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957976$D2DC1789-B202-470A-8475-70EAC9A2D603","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6605803051d8f94c66848fd1e606ba008a5126aa","datavalue":{"value":"1403.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$0A5C9BE6-5D27-4BEE-A118-101CD127FF1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc867214b7b4689a846e89d501237ace7cc2786b","datavalue":{"value":{"entity-type":"item","numeric-id":1791145,"id":"Q1791145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957976$9FA513A3-F59C-4E3E-90EB-4BD02B01A79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957976$C1E4D2FF-36F2-4B9E-B1CF-DD7C45CAEB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957976$ACCA154C-12BE-4E35-ADB2-00F0E4C8B2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957976$F3BDD734-2FB1-4666-AC3D-BB77EE64913C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"815303437f00d43bf102b8558cec57c99154e522","datavalue":{"value":{"time":"+2017-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957976$DD1D3379-C5D7-4BFB-B25F-37C4C420E99A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5bf22012c33aefac6e08556f21a3895708fa1e9","datavalue":{"value":"https://arxiv.org/abs/1805.09144","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957976$FEC3C06C-E54D-4F6F-B045-20FAED55DC89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$8C1BB628-3C8E-4EA3-AFA5-F2D41054444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$EF0A25B2-72BE-4ED0-9245-6DC97FCEEC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$7DB118FE-EB6B-4894-9479-D15C60161BCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58cdebbca12803396cf91714479fafe7556bb13a","datavalue":{"value":"6679301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$864EB48B-C8B0-4F62-9C5D-485312D3B073","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957976$38021E15-D798-4B42-AC36-215303B17265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957976$8855C279-B7F5-4E70-B362-914FBF6C20D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51338a880164b395e9cf42c826c2afd0ed91c555","datavalue":{"value":"multi-type proof-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957976$66A2F5B1-0E31-456B-82BD-87DEF7839C3E","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":"Q2957976$D3653ED6-ED5C-4924-89D8-2790F4F13CD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e21122925b6de782d3b5e57e852827adf623d04f","datavalue":{"value":"W2102609718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$7F5EC363-FA0C-48BE-B55E-5C833466E06F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"533d5b3524cd4e24a2db147a804cfccc32ddf5fc","datavalue":{"value":"10.1093/LOGCOM/EXU064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957976$D99FE6F7-B72C-4084-9BFD-3BE9D4D87499","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957976$C859274D-93F6-48C8-9904-B33151497E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957976"}}}}}