{"entities":{"Q965900":{"pageid":967748,"ns":120,"title":"Item:Q965900","lastrevid":50967671,"modified":"2026-01-15T23:50:25Z","type":"item","id":"Q965900","labels":{"en":{"language":"en","value":"A contraction-free and cut-free sequent calculus for propositional dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5701667"}},"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":"Q965900$937EB8E1-D45A-4784-ACC1-7A79FD4F6033","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6b0c6dc988e443a8763742166ed055e8302886b","datavalue":{"value":{"text":"A contraction-free and cut-free sequent calculus for propositional dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q965900$81567CE6-CC23-49B2-B8D0-F3A2858CC3AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e08e2061c4229f2cfb2196cf2e8690a9f851782f","datavalue":{"value":"1193.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965900$00E875F1-A83B-4AB4-8332-30C4B9D1AB52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb59f6d9185e91aaaf08e5392ef43a57e77566e","datavalue":{"value":{"entity-type":"item","numeric-id":306746,"id":"Q306746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$DD31099F-8C1E-4CD4-AAB0-3405CCE9A797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$B4DC8025-7446-40C2-B03D-D26C1AD2BD32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$A660FD30-C9FA-4753-BA95-F99572E80ED7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf11706925c44dddfc197e0393a2ad75b3d2238f","datavalue":{"value":{"time":"+2010-04-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":"Q965900$10E73E16-6AC3-47F8-B128-6CBA1164646C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965900$2D4E9DE0-B18A-4A76-9E0B-716083FA648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965900$68FB81D0-1610-4DBD-BF46-FD0AF58E40BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25b0a791782039245a357e461530612f1a75c239","datavalue":{"value":"5701667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965900$4A9BD15B-AEF4-4CDB-8185-97E3C153D751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28046153e6a63b99702aeb062d78e5f8cea664f9","datavalue":{"value":"cut-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q965900$33DE71C6-A001-40F7-AF37-68E8430C84A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965900$2EC2F0C2-E64F-4234-96DA-9FBC5D915D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb98e75a2aa2cf3d72b832ae69015151815415f","datavalue":{"value":"tree-hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q965900$CD7E56EC-DFB7-4947-B29D-0BDB7396E041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q965900$9D3E9090-2379-4E2B-930E-A8B840BFF1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q965900$CC666B6D-CA5A-4E54-917D-841ADEFE0BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4ce5f17cceab2bce88593807419d2ba1409297","datavalue":{"value":"contraction-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q965900$DACF5F33-631E-4C53-9B7E-E04305538CF5","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":"Q965900$5DA210A4-E0CE-4761-B6AE-C91301903777","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e1bd76b01e7b85c9071554448e800630783a729","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9224-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q965900$2BC6D824-29A4-4DC3-ACF2-1B39DEE52320","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc96f70c6bd0a7ef6ed6c48bde0a90363e153898","datavalue":{"value":"W2085914381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965900$472E0941-CAB2-49E7-AC84-772ECD8506F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$71CAFA92-FCC0-4E32-AC5C-2D8E2D1FFE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$594BAC15-BA7D-48CC-8743-ADD1A8A2BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2dc7428a701302ee60a912ba787cecd46fa536","datavalue":{"value":{"entity-type":"item","numeric-id":5600863,"id":"Q5600863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$872FA739-8FD2-4092-8639-32E72F641050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$EEA076CF-2E66-43AD-9785-B9C5861904A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$0C688A9B-65FE-4422-99BA-1E4BFCD15902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc207fadc6ba9564432e7709593a9b3cf923d465","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$C8AE410D-87B3-4DBC-A345-79B488EDC4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64d4acdfd6fe1c0f7b472b51ec5d77f3c29c06e","datavalue":{"value":{"entity-type":"item","numeric-id":1183594,"id":"Q1183594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$FED7E3E6-7D00-4A70-8375-F28FF1F4D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$DCA45814-4DDD-4F77-A7D1-12A99A7FBE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965900$DCB1C045-6FB7-4550-83FC-A3170432FE98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"112a56f2a24e3e64e31e1ed83ca1e923dd166a01","datavalue":{"value":"10.1007/S11225-010-9224-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965900$E43F5437-EA94-4A18-A80E-312C1DBC7BFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789d1d838d92025bdf935c9eaffd4b1282f54f49","datavalue":{"value":{"entity-type":"item","numeric-id":4295221,"id":"Q4295221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2107e82dfe3db365597e8ef3f9f7bc57a12d25","datavalue":{"value":{"amount":"+0.8253723978996277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965900$5DCAED5F-A0F7-4500-A2F0-ED4BE585828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2107e82dfe3db365597e8ef3f9f7bc57a12d25","datavalue":{"value":{"amount":"+0.8253723978996277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965900$E7543C05-FC47-4A25-AEB0-1BE4CBCE095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16da58ca178e54c7a10d07eb4bad9568841249d","datavalue":{"value":{"amount":"+0.8183823823928833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965900$A9A7C185-085F-469E-8AA9-5D55D612F4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a359399600ff5eb3b417f4aa09472fe1e97046","datavalue":{"value":{"amount":"+0.8143938183784485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965900$9232ABE4-A3EC-471A-80F1-8353AD3AA2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72423d1e07b218128ab7ea1b9e9a4c082956c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":852274,"id":"Q852274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f964d590d701bf55d3d94ba3214fc5638b1cdd","datavalue":{"value":{"amount":"+0.8132303953170776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965900$CC1AE88B-3DBE-4D12-B8F0-D7BBC4C114C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:965900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:965900"}}}}}