{"entities":{"Q4295221":{"pageid":6324822,"ns":120,"title":"Item:Q4295221","lastrevid":41837780,"modified":"2025-05-08T21:53:32Z","type":"item","id":"Q4295221","labels":{"en":{"language":"en","value":"CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584622"}},"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":"Q4295221$2E78E68D-41F9-4AEA-A748-B4F33D3809CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a27bafadd76b86e92d8076a214a12742e36c980","datavalue":{"value":{"text":"CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295221$B4AE4556-2AF3-4096-97F1-9652A86E0AF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b781e7f4af476b80d1fb385b559384bf7d5bd983","datavalue":{"value":"0793.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295221$37AB9EFB-F3B6-40EC-892E-2CD0718D7FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b24d8e4d78c72b401d7e46888070b50f8914fb","datavalue":{"value":{"entity-type":"item","numeric-id":1104916,"id":"Q1104916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295221$4E166C9F-A0D7-4957-B1FC-F51614B5FF1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295221$D72648E9-76C4-4B29-9D59-5DD6AF0ACCC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ac4e2fbb84e6bf6a022460d39e2286c43f73a7a","datavalue":{"value":{"time":"+1994-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295221$DE7A469C-31C5-4791-894B-15E2574F7098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295221$FD30FF18-30CF-44F3-BE4B-52DA4E290C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295221$6B1CEBFE-10EB-45B5-A213-6281A76FFDD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34bf1a071613427ae27aa1eaa79bec5dfce31b90","datavalue":{"value":"584622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295221$1CDAEAB7-F3A3-4E84-BA7B-0B340FBC8B46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1bba1c3f277f0ddecda7a091132cef4e8a319e","datavalue":{"value":"semantic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295221$64A8E525-A70E-4D3B-A907-E4E4ED04630B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295221$42392D73-7FBB-45F6-8D70-91558A721DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295221$3EFC6F05-89DF-4A0E-82D6-480DC526EC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bba5e22d7dff8312bc34f306bc40b2d1b9433d9","datavalue":{"value":"sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295221$F2F8A72D-BE6C-4B9E-95FE-28D283E20B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295221$DC30D7D2-02ED-4AD8-AB37-67D06CC65BD5","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":"Q4295221$F54814B7-53B7-4B3C-8C68-08B6A6CA9928","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52764a12c659c756f413bca60fc04833ba90b193","datavalue":{"value":"https://doi.org/10.1002/malq.19920380107","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295221$C1B39DDC-32EF-42F2-AB75-7CE800004593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ffdd4e60a725adb622f34acc6aa5367be2ef1b1","datavalue":{"value":"W2018205748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295221$A91A4CF1-D758-4102-91B8-88A639A1A792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c96011a6a978c5991814656c421afc9dd57ab01","datavalue":{"value":"10.1002/MALQ.19920380107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295221$81D0A7BF-5E91-4C25-B0B7-D854EEBA3BB2","rank":"normal"}],"P1643":[{"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":"ad2287444ea3cce5f9df484e791ef3c3af451f82","datavalue":{"value":{"amount":"+0.9020916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$68B55A46-6CD8-427A-92AA-1DC0B3A1AD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0230feeb85e9575cf80d1face694f8f1e83ec3ce","datavalue":{"value":{"entity-type":"item","numeric-id":2144620,"id":"Q2144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a8e08ede85b518a9f3af4c5a0b6b9492267c57","datavalue":{"value":{"amount":"+0.89882195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$7F29DDE4-E8DA-4FA0-B4AE-5CB388DDA867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38584f2f52deae4b10fef8e1098215a781019da9","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5411e4b43b7b78fff4a46b98a56d6f8f7d039f6c","datavalue":{"value":{"amount":"+0.89774007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$2ADDA7A2-A20B-4274-8684-517128E84B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a275a3ef2b207469a2d15d34b603cdd3bad6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2367410,"id":"Q2367410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd910714408465b8766730f966b69f941c09370","datavalue":{"value":{"amount":"+0.8950623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$62632FBC-6855-4711-A5BA-ED031F6318F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467cb278ebb903d03589dcc8bc881680aa57264e","datavalue":{"value":{"amount":"+0.8931763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$1DD2F7B0-A114-41FA-AC55-DC40A7F0FE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c225b0b342cc24fd391b79ea2eefd299975a71","datavalue":{"value":{"amount":"+0.88911164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$D80E3E81-C9BD-496F-83D3-FEACEBE77815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff7222dafdd35672ade5fa367dbdffe968032d","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdb6fbeede95c10d8908a0453545a71225c0280","datavalue":{"value":{"amount":"+0.88899434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$A5FE323D-823E-43D9-A9CA-C08F62B7E7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be49f3b855159d29a2a171ea53e69e252dc7b4e4","datavalue":{"value":{"amount":"+0.88898253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$F01F88F1-6632-4921-806C-744F775102F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be49f3b855159d29a2a171ea53e69e252dc7b4e4","datavalue":{"value":{"amount":"+0.88898253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$CC21D8AB-D826-4022-AD87-32BD771335DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6088c4f363c63f265622ba73d04c6fb45abe4988","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb166a407da47a32735742159da549ced36fadcc","datavalue":{"value":{"amount":"+0.8887964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295221$970ACFD6-2EA8-417B-9270-6C5E56C0BA3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295221"}}}}}