{"entities":{"Q5387888":{"pageid":7417462,"ns":120,"title":"Item:Q5387888","lastrevid":50366465,"modified":"2026-01-13T21:58:33Z","type":"item","id":"Q5387888","labels":{"en":{"language":"en","value":"On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279570"}},"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":"Q5387888$619BF9DD-5F55-4418-AE95-1E36D15DA0D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e76679d1022212330f24a1dba37f70283853bcd1","datavalue":{"value":{"text":"On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387888$31783C5E-96F0-413F-905F-94D288728CB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9d8d12a9d00db1ae1cec761d2053a95acbc653","datavalue":{"value":"1165.03345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387888$01369BCB-6E6F-4015-8879-DA00AED1ED6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af6a6860e7744f5affdf11ab35e769041d05fd1f","datavalue":{"value":"10.1007/11916277_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387888$7FB1586A-171D-4086-9184-245D157EEAA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e99b0756d94234ec5b8de37512b98b6fee209039","datavalue":{"value":{"entity-type":"item","numeric-id":1409299,"id":"Q1409299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387888$71B6E987-B4BD-499D-A328-7E94C3C077B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387888$13B3946E-8C66-4B11-84E9-084F3123995B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387888$7D523567-9B2C-44A6-B6D0-B524DCBA3BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387888$86D9B0BD-89B7-48A4-9450-4945F1BC0D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387888$613E847A-455C-4EC0-BA52-227063F5DEB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1de8f1b57a5cf7bba9c0ac4530356eedb948868b","datavalue":{"value":"5279570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387888$25920A25-24A1-4836-9051-039EB676B85B","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":"Q5387888$83F49071-FBD2-4E16-9C3F-A67CBE9A8A9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcb35c2abaa6ceb2c17f2226f7f4ae29fd735b90","datavalue":{"value":"https://doi.org/10.1007/11916277_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387888$4AB7A6A4-57C6-458E-85A8-9C12F46ABEB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ef5405d330ecf1afa10b917e0ddc853fd872186","datavalue":{"value":"W1562648369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387888$186F12B2-D68B-41EC-B97E-F89A0279A6BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825978af4493bf09c69ca57b64a5c7520885849","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b518cf854deaea3519c2cfa128e01b08a8b078b","datavalue":{"value":{"amount":"+0.8717249035835266","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":"Q5387888$220668FD-989D-47A1-991F-0521F6AF5C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eacba26f64e9b0661a140d49fec758111680ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5425341,"id":"Q5425341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07eafdf5d193918fc1b6f34b205df22a34021b11","datavalue":{"value":{"amount":"+0.8515055775642395","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":"Q5387888$61A77D49-DF13-4486-AF20-3B0E6E096D13","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":"1b6074b7e697210f80980c9f71f1a6ae40a5d0d6","datavalue":{"value":{"amount":"+0.8452696800231934","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":"Q5387888$9A17528E-D417-4888-AAAF-A90D9C2FFD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6074b7e697210f80980c9f71f1a6ae40a5d0d6","datavalue":{"value":{"amount":"+0.8452696800231934","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":"Q5387888$D8818EB1-BE9A-4111-A520-AFE271031B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8086fce4db2f660f1696abcf2a31ce4c9a872e62","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7240df14c3757680304032b24d0a67df0cdc05","datavalue":{"value":{"amount":"+0.8288920521736145","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":"Q5387888$60ADBE24-2B38-4680-8ADC-E9F3AE5FCC10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387888"}}}}}