{"entities":{"Q3075441":{"pageid":3086157,"ns":120,"title":"Item:Q3075441","lastrevid":51188621,"modified":"2026-01-17T03:44:25Z","type":"item","id":"Q3075441","labels":{"en":{"language":"en","value":"Categorical semantics of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851812"}},"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":"Q3075441$DDEB7EF2-869E-4AD2-A477-5237738997F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cefeb30d4fea4a258e7dfde75ecae694361a45cb","datavalue":{"value":"1206.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075441$63637764-9982-42A5-9805-021018EA3D22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075441$29ED9B6A-71EE-4B98-BC85-9A925B60EA83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075441$3BD78FA3-310F-4F95-9E10-481899752756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075441$BDDDE610-797D-4A1C-91D6-94DDE5DC46A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075441$5EF3E27A-6D21-4111-B117-1D8075167BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075441$0FE3996E-6709-4AAB-8E08-D75BF6FB6844","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"165a75854c60915c66f6ce0680dc7a9cedbac33f","datavalue":{"value":"5851812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075441$B97DCE6F-6E5A-4C5F-B09D-3C2BFE4B71C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$0ABE27A6-E18E-4940-8ED5-5F1462CBC7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$A688E8AB-31C7-4AEC-B14D-44ABAA0AAFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$3BD4696A-62F8-40F7-BFB8-8DEB0DA6B1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$48E6E98D-194C-4BCD-9D4F-7D01CA213D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b551c277673b7a69c89f76eabbb26a82b1d665c","datavalue":{"value":"coherence diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$5CE0CBB0-DC8F-4DE3-ABAA-F943D530151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f8966ce99e0c9e0c8bc1b00dcfa6c22bde4670","datavalue":{"value":"categories with structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$45BCD666-5AD0-4680-8D39-4E4FF9BC5C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$5734FE84-740A-4010-8C23-4FF8C9708B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$445601FB-235C-444C-88A6-ED975AE53B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$23EAAB26-F064-4EF7-B1C8-25E849F89AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$ED5CBA83-2755-419D-A679-714062B8B2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$350C5EE5-C93D-4EE2-B8F8-96BAAFFE1912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075441$593C77C5-A2C4-4B81-A299-F3D6B0A8054E","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":"Q3075441$2973B438-5152-4E74-B6DB-FBB9618DE502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f4f8401d5cf55d723cd3c020bc965659309bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3367300,"id":"Q3367300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e0e3e979f849be80621a83267d5a4667a7aa49","datavalue":{"value":{"amount":"+0.7821514010429382","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":"Q3075441$8437B8D1-EB01-4FC8-B9F6-89B8B4DF220A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc2d6a22da579c1d4fbf32c42a0633df44845d9","datavalue":{"value":{"entity-type":"item","numeric-id":5957852,"id":"Q5957852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5d677e798270189421b4aef01e107ecb2911f4","datavalue":{"value":{"amount":"+0.7703790664672852","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":"Q3075441$B5EEBFF8-8C56-468F-8DA3-DA5F4D922577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03da4b6b3513810b613f5f467d21802b524db7f7","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13a88751c47d870e2c35bb76664b3d81b3b813f","datavalue":{"value":{"amount":"+0.7659763097763062","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":"Q3075441$8105A01F-AFD2-4613-83DF-1AF8F420B7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925b450be9b4d5d921f2659bb097f778ce16d56f","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf6a8342bce468608747fdee8944d23d781f07e","datavalue":{"value":{"amount":"+0.757560133934021","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":"Q3075441$B8AAF5EF-7C30-4A85-A24D-07EA33C75EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d7fe7665b9779afc2aa2e2df852fe9d3e2d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4928272,"id":"Q4928272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0d3b82f26dbaabdc39cbbd7599fa12c0a4642b","datavalue":{"value":{"amount":"+0.7568410038948059","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":"Q3075441$B34EAB5B-4A4E-44E0-8CFC-5E11E09B4E47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075441"}}}}}