{"entities":{"Q5283420":{"pageid":7312994,"ns":120,"title":"Item:Q5283420","lastrevid":52864487,"modified":"2026-01-23T16:23:40Z","type":"item","id":"Q5283420","labels":{"en":{"language":"en","value":"Multiple conclusion linear logic: cut elimination and more"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751232"}},"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":"Q5283420$2EE78169-DEA0-4D39-BD19-C7EF2969E958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"651567879033fb8a1b49aa8e4f2668c26e429242","datavalue":{"value":{"text":"Multiple Conclusion Linear Logic: Cut Elimination and More","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283420$B04B2BF9-277E-4A23-8A42-4C655AB875E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9487de70393a450f69553782769bff8f10226006","datavalue":{"value":"1476.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$8D7872A7-3516-410A-9B6D-CA727453E950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"364dbeb0b6de6d8c433fd46aebbe968c4f70e953","datavalue":{"value":"10.1007/978-3-319-27683-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$13B74056-8438-4CC1-945E-83A01A8E6D70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28129408a06960f067faa273cf194a2f41d41a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2233474,"id":"Q2233474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$E1B54E6C-5A24-4778-A018-22D1CF03FA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$7C290EA5-EA9B-40BD-B1B7-F3A934963F47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$CD9F17EA-DD8C-4466-9708-602A31495B67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283420$11A61114-345C-4F75-858A-A320AE240D4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$47886622-5B3C-4CB2-BC35-1708AC3E9AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$73F1AB99-D723-4F84-B32D-EECA0E33C2CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3635a4e896b47900124a458f677726ff438fa5d1","datavalue":{"value":"6751232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$AE99A084-4649-435A-BE4A-18EE47C43434","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55161998414f766e758bdcdfe8e008b5d310b06","datavalue":{"value":"full intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$327A36F1-71C9-4167-9B70-10C3465264BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0077a8f3ee7a3e9641775c68ecac296a4a8d252f","datavalue":{"value":"classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$8458EBFB-921D-43BB-9FCA-A8788D2D47F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18f22d07d228ba8a7589b03cf53b82999e4de32","datavalue":{"value":"dialectica category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$5D092264-592F-44BD-B350-5C01957FFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$476C20A3-8B7D-4628-867E-4F1864E2A1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9025d465f85269e98a9467ac574c399f1ad1c99","datavalue":{"value":"tensorial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$64B8A3F8-10F7-4B18-9FA7-13D18ABDBD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b091865b1e5619a7d76ac936d128564a680e33","datavalue":{"value":"linear/non-linear models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$685A7E60-2500-442D-A0D8-6BE46F251017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$53D4CF14-F2E1-425B-AF34-A2519F33318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$7C54DE6D-D00C-48BB-A6A4-38B5659E78F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be57f0f1e5cb6badafc0b08ff9f2d24c34e70027","datavalue":{"value":"par","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283420$1516CE40-2595-4E34-9047-CC3FF1F34D48","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b696fc379b9cfec5c82e93d7ea3d602a23c3cb55","datavalue":{"value":"Q56994440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$89E313B0-B5FB-4860-990C-983EDE5E88B6","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":"Q5283420$454B0E37-49DD-45DD-8F81-7ADB1F6B5D48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae5cd73ad543857413dd28e98e47c95d5425ea2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283420$848FBB65-C349-48A6-9AEE-860D593B2AC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef14248e69fb327d8828bdc8bfe71ff85c9f69e5","datavalue":{"value":"W2295505930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$0617C750-DA56-4FFC-846E-BBBBB82E4A3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1e04ce4eeaa1b8cf13d5d94a8afa3a3780d544","datavalue":{"value":{"entity-type":"item","numeric-id":4379682,"id":"Q4379682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$543A2651-9C64-48DC-9259-1BFB362A4E1F","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":"Q5283420$ED00AFD4-5EE8-4F17-9EAA-2AE5D630E4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faab99801f99df99bbc01b702abe0f274cff8a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4218928,"id":"Q4218928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$271BCA29-E839-4D1C-B7A4-056D17551CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$FFD66E09-D627-4B22-8DE6-46CF470B76AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdaac06e68f6b31b24b191c6444d10093c65340","datavalue":{"value":{"entity-type":"item","numeric-id":3829551,"id":"Q3829551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$0ED977FD-9DBE-4759-8FEB-1F7B1ED5EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$36622B8E-9289-46E6-9A28-E92FBCB54496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fbdbd74ac1072771d7af15d76366572f6c6486","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$8C9053AC-5F17-4181-B15A-91FC11EF44C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78aaf3d3394afc6f6c4b082d0145138c19c2ff4d","datavalue":{"value":{"entity-type":"item","numeric-id":5283420,"id":"Q5283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$40A765F3-DB1F-41BB-A1D9-E73BE949D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$098A8273-E976-4E97-9715-67388FC657E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bb4eded647a6573e9f421e7f77b3f767264390","datavalue":{"value":{"entity-type":"item","numeric-id":636303,"id":"Q636303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$81472223-6908-48F1-BADF-074345DFC0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4110bde636e6225a7ca442eefb6ffae74280da","datavalue":{"value":{"entity-type":"item","numeric-id":5703108,"id":"Q5703108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$E3E65FB7-973C-4804-8080-BF6E6AEDACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$C4EE5A80-B923-4D04-85D9-B3386DCFA982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283420$F481A65E-D6CE-4497-9773-79EF5C4EC5DA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"70d552f41f7a6f057b07de88cd5cfed70ab42d6e","datavalue":{"value":"conf/lfcs/EadesP16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283420$E3E84A63-E65C-4EE0-9090-74B0731A33C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d34d3a1a7a03a8724c7b79ed6f19475aef63760","datavalue":{"value":{"entity-type":"item","numeric-id":5108019,"id":"Q5108019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c2e84b68bf80b7037d6cd3decc1ab849f252bb","datavalue":{"value":{"amount":"+0.9549609422683716","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":"Q5283420$F5E713AD-8141-4BA1-800B-D3FE0D90CAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbc9fbccb1061be4e1ad0f246bb13876b4fa1ca","datavalue":{"value":{"amount":"+0.8345597982406616","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":"Q5283420$CD69AE3D-FB35-4782-A421-726C35C4EFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c33f3b6f087e29be7eb8ab877b3ee3f34e89749","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0bb7670fe234afc1acc84d0ce817c64707319d","datavalue":{"value":{"amount":"+0.8343663811683655","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":"Q5283420$243A08AB-FB1D-423D-8127-08CB4FF0B711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e64a5c75231fe28ee166263798112284e812c","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c361440267b049d47fa47690bd2a728dee9f502","datavalue":{"value":{"amount":"+0.8266915678977966","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":"Q5283420$D887AA8F-2D3A-4DD3-9502-C9952CFBA9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff8654bb5f5f6a9c1c11906a9dfc15e2bb44f60","datavalue":{"value":{"entity-type":"item","numeric-id":2958523,"id":"Q2958523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c361440267b049d47fa47690bd2a728dee9f502","datavalue":{"value":{"amount":"+0.8266915678977966","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":"Q5283420$3BDC605B-8B4D-4BFE-AF94-8BA4F7930AD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283420"}}}}}