{"entities":{"Q4221772":{"pageid":6251373,"ns":120,"title":"Item:Q4221772","lastrevid":46593483,"modified":"2025-12-25T03:54:31Z","type":"item","id":"Q4221772","labels":{"en":{"language":"en","value":"An analysis of (linear) exponentials based on extended sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228628"}},"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":"Q4221772$F9D6150B-CBE4-451D-A66F-774373BD2D29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38f59df6403a75668a3851caca63206b27904c2a","datavalue":{"value":{"text":"An analysis of (linear) exponentials based on extended sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221772$0C2A10BC-8971-46DE-80CD-FC177F3C33A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37ea702bd3d4d444cc5a22064c9f73c17c4f67a2","datavalue":{"value":"0934.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$999F74FD-4F6B-4AD8-AADA-FD326E7BAE8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221772$90700AD1-F486-4C5D-84E8-4C4B51515DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221772$B5642F95-1BB9-4258-A327-B8F4A1F65D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221772$D65CA092-7BE1-4EB0-A646-CC164A0A881E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a66464017b31b9d8b8b905d3c7463defb00ed3f","datavalue":{"value":{"time":"+2000-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4221772$CDD6064F-48DF-4C0E-B235-072C0046CCFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe04e40f1120a8bf7ee39b5178860ec0ebb3c64f","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1086&context=ircs_reports","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221772$7C9AFA2B-0FE9-4ED0-800D-170B2563EC2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$03053278-31F1-449A-8789-3B9F702FFAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$D712A788-0B61-4686-A29F-EE9DFB508E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$854B1E91-D349-4143-A110-BC0B16AAB604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$EACBF923-A70D-4FE6-91D2-BDB534356070","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc2e838ca04b79de33d0ecd385aef7687adc41e","datavalue":{"value":"1228628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$ABDF10E6-62BB-4CC4-A912-D8E6AAE9A7F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$E2E6E82B-A2AC-4C17-BC0F-535A6E02ED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d07cfcb0c9f6181cbaefe0cc0eaa469989a2f8e","datavalue":{"value":"2-sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$009540A4-4D96-4C5D-9D43-351B392AD75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$242A79AA-2C51-47D4-A825-D1B91B0F5011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc8dae32d0c27d89faf7a2732bf337ef7900649","datavalue":{"value":"polynomial cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$F30E7D75-657A-4F50-85A1-57B3122D6A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b52c35b6e162125be8f1e3d6df1df5d9798979","datavalue":{"value":"elementary cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$0D6DA3DE-FF51-4BBD-BCD4-89E5EE34096B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7128e2eaf7386cf31ea996a19d88ad8a8e3e60b3","datavalue":{"value":"light linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$35739F31-E794-4B7E-8652-1AE43E298F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946cc5bfb2854e7b4a827b1e352d6fb2debc4fdf","datavalue":{"value":"elementary linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221772$9D418144-571E-4428-A0F7-E5A37A487DA6","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":"Q4221772$446EDA54-1D0D-46E6-AA27-239B7BC48699","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e01509526c56769729f73cab7dc4299d0b9cbd30","datavalue":{"value":"W2148358839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$189FC1B9-91B3-4FAD-9DA2-93FF423B7954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d016968fe4e98dfc311c477a2dc98239c6bc217","datavalue":{"value":"10.1093/JIGPAL/6.5.735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221772$E22AC7E1-6381-47F3-96E6-D88844598E90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221772$81F8F62F-B128-44A4-BDE9-017B5142B4C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a85074aaac2c37798d506f8ac803283f611572","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0e402830d791fe718a8926e38793de7d009a25","datavalue":{"value":{"amount":"+0.8491982817649841","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":"Q4221772$8C32F224-F751-4C7B-BDE1-508D302D9D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a8524c4fe28afdc261acf1e7d44211fd10cc7","datavalue":{"value":{"entity-type":"item","numeric-id":4222846,"id":"Q4222846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4453a0dabcb099e68b9102888bc3650bbcd231","datavalue":{"value":{"amount":"+0.7952168583869934","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":"Q4221772$82F15CC9-97CF-468F-8C6D-A411F6C559F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e8ae0e8374153d9de23ee7b7c27b221577f0cb","datavalue":{"value":{"amount":"+0.7873916625976562","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":"Q4221772$663E16B3-4A76-4E4D-A006-A6CF65A25448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b973aa698753b140293751269338506d45ae6c3","datavalue":{"value":{"entity-type":"item","numeric-id":408540,"id":"Q408540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b62f27390bd6703a9f6d86a893d08f0e767d735","datavalue":{"value":{"amount":"+0.7860565185546875","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":"Q4221772$822F2CB5-6FC2-4245-BAC9-E0B02CA3BB91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4221772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4221772"}}}}}