{"entities":{"Q1401367":{"pageid":1412107,"ns":120,"title":"Item:Q1401367","lastrevid":43085299,"modified":"2025-07-21T08:43:58Z","type":"item","id":"Q1401367","labels":{"en":{"language":"en","value":"On categorical equivalence of Gentzen-style derivations in IMLL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965374"}},"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":"Q1401367$C7D821FB-F52F-4484-B700-46DBA1D0FC68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a10915c8be2e02f23b7031652b61673238ab3b","datavalue":{"value":{"text":"On categorical equivalence of Gentzen-style derivations in IMLL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401367$EF658A3C-F265-4182-9729-F904B7B07E31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"701f71b38a385a549b81e80e083df1624721153f","datavalue":{"value":"1019.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401367$48AB0B5B-E252-474C-967C-01C3CBCEC45F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"649cb01d1b63dadd9a3a8918d05068fb33f9f7fe","datavalue":{"value":"10.1016/S0304-3975(02)00454-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401367$CAB518E2-51EE-40D7-835D-4284EAD42B5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1087d4a5752c2deceb0633c396d73fde1a27586","datavalue":{"value":{"entity-type":"item","numeric-id":1401366,"id":"Q1401366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$23D1DFA6-344E-495D-9A1D-23772272619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b243572f25465f3ae7a32f2d3b06ae2073b8520","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$C61E796F-5E78-4C3D-A928-90FB0EF3490A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$185400FE-347D-4AFC-989B-279595DC619F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401367$A2663CFB-32C5-4E55-80B2-60D532057A9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401367$C93BFDE6-556F-4342-BADD-FCBE11870AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401367$6E0CC90A-BB9B-44D3-B482-0F1F093F1AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401367$C822E3DF-17A3-4584-A451-17A3918D0048","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc20e3222e4f1c0bddb47de8a81a52660b064de3","datavalue":{"value":"1965374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401367$1FB8AD28-FD0F-496B-B363-3DE405E8312D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289b54330d5627361f5c524049f9c1107fa454f5","datavalue":{"value":"closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401367$CEEBCA13-2290-4D89-94B3-41EF13D1F8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401367$3D4BCDDC-FEF0-4CA7-B465-526361583ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed3c03d073edd75776ae6d295df42a38c15c7af","datavalue":{"value":"categorical equivalence of derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401367$DF875603-D5AC-444E-B119-60EDE6933B73","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":"Q1401367$2CE9E625-B4AA-4E6F-B1F9-6CD3CFE7AEEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$097A8ECD-DA07-444E-B7B0-17A78CF47CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8eafabf0cddf70d8185a67fa02863c2bd424ef","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$ACDC8FDB-9843-47D8-BBD2-6B46A3F2D3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$157219B7-5F0E-4CA0-8692-897C51D34B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$E6BA47D4-BD60-4132-BA7D-CF9FB2DF9CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb3bb322eb5f7ffcbda2e3d2673048224e6f41a","datavalue":{"value":{"entity-type":"item","numeric-id":803265,"id":"Q803265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$6EEE2948-C198-45CA-8B86-F49099CAC6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92ece36eb0d36ff3dfd339c47de57feea19421","datavalue":{"value":{"entity-type":"item","numeric-id":5654208,"id":"Q5654208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$54227D0F-A737-4DC3-94AE-79155CF7A1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$D96ED482-FD12-4918-9D6B-AA289BB7FA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$28B23945-8F31-4E17-9D55-B8DB70C50533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$80B2A98A-E6F7-481C-9685-CF4BF271E21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c17fefc3bf7c4e7c64821785423560055c9954","datavalue":{"value":{"entity-type":"item","numeric-id":1147133,"id":"Q1147133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$FD8D6584-07BA-466D-9994-6A8054CAF718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6861d973cb15ec8fb90a53ea1c7afc2a2bf67a","datavalue":{"value":{"entity-type":"item","numeric-id":1577345,"id":"Q1577345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$A374C6F3-1C6C-4309-8975-CF4DB84C0161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30df818bfd03003a38ac93471e94dac39302e1f","datavalue":{"value":{"entity-type":"item","numeric-id":757581,"id":"Q757581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$CB1C4FF1-5A1F-47DA-AA53-ADA47A565B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96af186f5ddb12266f197bbc27fb9c5f4f0d53c","datavalue":{"value":{"entity-type":"item","numeric-id":4882488,"id":"Q4882488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$3326542D-3A0B-4DA3-8A15-6A4F98AEA17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b5a4b97f55c08f1cce8f3c927cc9b5d48fda8b","datavalue":{"value":{"entity-type":"item","numeric-id":1377606,"id":"Q1377606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$625EE16A-2B6C-4278-9B9F-4E60863F5C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b219ba863492022768abad5a30354cc8e2f59a","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401367$9B1E11EE-F80A-47C9-8312-9D711E7CEA01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd927bbd6debf5b0d2a33b8b68c645af2ee03283","datavalue":{"value":{"entity-type":"item","numeric-id":4495044,"id":"Q4495044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd6dbf3071dcebb36076df232c0887691fb88e2","datavalue":{"value":{"amount":"+0.9043073","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":"Q1401367$28322316-A924-46E9-84EF-26DE4EA5FD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e85eb2bf01710f6b2753cbab58d95a07e99678","datavalue":{"value":{"entity-type":"item","numeric-id":1916026,"id":"Q1916026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569c6f15d7d7492f690950cf7df12b710c144d48","datavalue":{"value":{"amount":"+0.888734","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":"Q1401367$8DAF0351-6310-409F-B1C8-55D9CEA9D8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104058297aeaafa64582d90b696a89fab4e51bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2379254,"id":"Q2379254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d870d54d0c1b25d4fba946da44a0e691e21f82c","datavalue":{"value":{"amount":"+0.8733853","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":"Q1401367$582E672A-93DE-4F4F-9CA9-7C0E909FE698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fde440d06a9987c5d511a372bc9f1c1ab9f368","datavalue":{"value":{"entity-type":"item","numeric-id":1621587,"id":"Q1621587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6dad628879833cd4906fb09d5c9e3dc39ec72f","datavalue":{"value":{"amount":"+0.8708381","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":"Q1401367$A1AA6772-EDD3-4D2C-9839-22D9BE34D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4225dfa6e411607ff0db4c9123de52a01b3a0f35","datavalue":{"value":{"entity-type":"item","numeric-id":1817230,"id":"Q1817230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d990b456d38266dbf4ff3774085b4594dcc0a06d","datavalue":{"value":{"amount":"+0.8700249","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":"Q1401367$4AAA65E1-9F6A-4DB9-A3A2-DD03E4D73CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f921a9298cd4a6cdd070e32677e02c9d554a2019","datavalue":{"value":{"entity-type":"item","numeric-id":1825932,"id":"Q1825932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb29139f72088efb1ddbdf1cf4cb7e10544fe507","datavalue":{"value":{"amount":"+0.86902213","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":"Q1401367$D9C77E66-4311-44BB-941C-CBDC95336083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4262c0704c296cc0b1fc2feabecf408f558f133","datavalue":{"value":{"entity-type":"item","numeric-id":6094259,"id":"Q6094259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9804734608fa2a1c965d3b78bc2bb242bf7405","datavalue":{"value":{"amount":"+0.86752707","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":"Q1401367$FDDC3900-CD8B-4FB9-971B-F22340CFCE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c15d86c93a692da87f4a5b8042201235ed7df7e","datavalue":{"value":{"entity-type":"item","numeric-id":2971292,"id":"Q2971292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb90e0b023bf3af573afe37aa00402239fffd179","datavalue":{"value":{"amount":"+0.8671524","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":"Q1401367$7C41616B-53F9-4703-8CDB-C96FA903C8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316fa04b53db31ec7908b03634df956d37c986b8","datavalue":{"value":{"entity-type":"item","numeric-id":2947122,"id":"Q2947122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326f4f94bd476e88bf38997b4a5d1d42fef40e49","datavalue":{"value":{"amount":"+0.86505425","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":"Q1401367$ECBED63F-FD77-47B4-97BC-5EF09A6B2580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d530d413bea3e65c0982b46f6d80dfdc0dd1ac","datavalue":{"value":{"entity-type":"item","numeric-id":2737551,"id":"Q2737551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82a68d691de2897fb3e22dbf9c6a042ada78074","datavalue":{"value":{"amount":"+0.86480165","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":"Q1401367$C2DEED1B-895F-4DCF-8F4F-32666CBE0D01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401367"}}}}}