{"entities":{"Q2810127":{"pageid":2820865,"ns":120,"title":"Item:Q2810127","lastrevid":83328923,"modified":"2026-05-07T07:14:49Z","type":"item","id":"Q2810127","labels":{"en":{"language":"en","value":"A short and readable proof of cut elimination for two first-order modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587816"}},"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":"Q2810127$28AFCC81-3DE0-407F-B982-6E3C42BA86B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31469ce14a6daa1f5d6daadef0cd5d497e189692","datavalue":{"value":"1357.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810127$718F6715-A02F-4D11-AA38-8C2F3C07D8F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b5ac7cda37f5db629484ab721c980287b08e135","datavalue":{"value":"10.18778/0138-0680.44.3.4.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810127$A0612C8D-7418-4E34-AA7A-7FF34682C6A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810127$69B0A533-DAF4-4B7C-A971-1A9ABFAB4A3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a49183d98fdb45af485077728faee3522a457e","datavalue":{"value":{"time":"+2016-05-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":"Q2810127$8F03AC68-6022-46C0-835A-E82431AC10C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87b58c27501a78b9e313b977a3f5885023e632fa","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/44_34_3.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810127$461ED6FA-7936-4B6E-96CC-5B67B8E187A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810127$20BB1B5C-9E45-4571-8A42-E35A34263977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810127$2B9F714C-D42E-4654-B2B2-3F014D870CAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"376ccfc7d1c7c39afd02c9ac1240e0a0e81ad216","datavalue":{"value":"6587816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810127$4EF0A3C3-5A64-4A41-A3C9-B9F2BF8ED958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"876e794bafdaf7e8989f20e6b6045e77a6839427","datavalue":{"value":"Hilbert-style modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810127$D7B30F7E-D919-4EEF-B596-7616B20E0802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d37ff01218ae4aa6cfcac1d1e4e86109fe2863","datavalue":{"value":"Gentzenisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810127$02DFF3DD-8CFE-4DEC-83E0-F398A8C9EF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810127$7C8404DA-5D2C-434B-97B5-75E60A483B3D","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":"Q2810127$6C317197-DDBB-4207-B708-7A70628E0724","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1abe9c65d2773848029f578fbd51b7739a6b0b99","datavalue":{"value":"W2345246322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810127$D9CB81AB-120A-4138-98F2-5C51F4669614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b3622edbee3269998963c5d7cf573c8ae3bcc84","datavalue":{"value":{"text":"A short and readable proof of cut elimination for two first-order modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810127$BB43108F-06F1-4E19-A097-B09B815321C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"071d996aeeb204cb0f1ef294bd5dda66f765a6c8","datavalue":{"value":{"entity-type":"item","numeric-id":6072581,"id":"Q6072581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810127$1C7AE451-8D71-4F47-8DF1-9DAA3BE82507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810127$0A2EF086-E081-46DD-86A7-CE6717A815B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44900fea966451a6666b697ebfa2032f7c577d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5413353,"id":"Q5413353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483cbc618acb38d0226a540c584e32327c89d485","datavalue":{"value":{"amount":"+0.8286604881286621","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":"Q2810127$2F16BD7B-3D9C-41CE-8679-4DAC84035573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c96d03bf83c500c0e4c8bad3d1bf16c1844e250","datavalue":{"value":{"amount":"+0.8147053122520447","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":"Q2810127$9C41F227-2777-42D9-A8EF-16B0DE486718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e8c6ac464e3aa60229d9f9510ab7bba5f58ba","datavalue":{"value":{"entity-type":"item","numeric-id":4982513,"id":"Q4982513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307b95a329997cb93e87402bb421b8c809433242","datavalue":{"value":{"amount":"+0.8018803596496582","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":"Q2810127$277871BE-10CC-41B4-AD9A-4F98CC9FFEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6d33d9deca46906e5d4c43b2e5e49039ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":3338219,"id":"Q3338219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcb1bb89f23a072e2d41e23f2eb5ac2d0894cb7","datavalue":{"value":{"amount":"+0.7871200442314148","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":"Q2810127$F2F7F043-ABA3-4AF5-B7A2-D68686F5FE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58e2fd04fe6e156355b67382ac2dc824adce3cb","datavalue":{"value":{"amount":"+0.7863315939903259","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":"Q2810127$FEF1F172-914F-4FA6-ACA6-596130B6B426","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810127$39620AAF-0C67-4AA5-8079-12B832A86FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short and readable proof of cut elimination for two first-order modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_short_and_readable_proof_of_cut_elimination_for_two_first-order_modal_logics"}}}}}