{"entities":{"Q5006458":{"pageid":7036035,"ns":120,"title":"Item:Q5006458","lastrevid":57188766,"modified":"2026-03-27T10:25:55Z","type":"item","id":"Q5006458","labels":{"en":{"language":"en","value":"A \\(\\mathsf{MALL}\\) geometry of interaction based on indexed linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7382044"}},"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":"Q5006458$A9BEA6A6-4603-49D4-821D-181F24775F77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fc59febdd801f53047d26bad960136c7e031ad4","datavalue":{"value":{"text":"A <tt>MALL</tt> geometry of interaction based on indexed linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5006458$964153A6-1B2B-4F1E-B45A-6EF10CD77524","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7080d64966e3642226a8beef709dfc285573a2b9","datavalue":{"value":"10.1017/S0960129521000062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5006458$6F81DB7C-E676-4CEE-883D-E78B36D12E65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fd10e0677a47c7fc103d0a61f6c004fc8766f5","datavalue":{"value":{"entity-type":"item","numeric-id":705529,"id":"Q705529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$A5EB5CB2-3B5F-4443-820B-EEF51C667C5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$28B76AC9-B74F-4A00-ADCA-677594EE76D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"509f91048bfebeb2e3809071f1ccdd7172b43404","datavalue":{"value":{"time":"+2021-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5006458$3973041F-AFBB-48BE-B69F-7A7E863D0E29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9342369d65500501013dc08e54632ad2b586ca40","datavalue":{"value":"https://arxiv.org/abs/1704.02711","type":"string"},"datatype":"url"},"type":"statement","id":"Q5006458$9C7AF648-30D4-4ED4-879A-475095857F8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5006458$30319790-9827-4BEA-89D7-B74174C12DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afbc7dbae75e8b6912499f8e0b414e65fdd0d9b8","datavalue":{"value":"18M45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5006458$73272CFD-F3C1-4282-B3FC-F83EC8BEEFCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af90ea14e627cbafce186c7b77213754de95341","datavalue":{"value":"7382044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5006458$2491B5D3-2661-4AE3-A46C-0FA440CA93D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5006458$E77F13B6-6FA0-43A8-AC21-EE82D3A7B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccd45f8358392c3ec5433cc328747270355d7a87","datavalue":{"value":"multiplicative additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5006458$A96C4665-4F9F-46CA-801F-9C129BF6F1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5ca6132adcb22327a1aeb9988fe9620ae5f24e","datavalue":{"value":"indexed linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5006458$B3748EBB-5832-45F7-853B-E5FCA47C0424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5006458$BB024A89-9CFD-4434-B421-6DBD5B302507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f9cac4818536e03dc73670485e1a132cc05b087","datavalue":{"value":"traced monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5006458$C12A0A98-0003-4D0E-B279-D1A11117EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4bee0dc279fa5019ab6a86b62e7eb3e163208a1","datavalue":{"value":"execution formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5006458$C8C09A00-399C-4192-98EB-56122D6C5B3C","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":"Q5006458$C425736E-135C-4713-A2FD-71F8C5C7C32D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cf1f7cf0461dc347c4976ffc8e3da8d98a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$36C2B14E-A77A-4B66-89E1-57F2B7A7F5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$D27FB192-8C6B-40E4-B5F7-77A7CF92C958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$94544A0C-E4CB-4F37-85E4-342AE20C25BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$16E2A8FA-9D8B-4D9B-9924-073BEAD30C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3d96665670ba04fa010c756d53babdec44ea88","datavalue":{"value":{"entity-type":"item","numeric-id":4842981,"id":"Q4842981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$632E518C-9E7F-4627-9BD5-757E13F4BBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85736c7696b1d84c1b4c9368238d719c038a9cd7","datavalue":{"value":{"entity-type":"item","numeric-id":534694,"id":"Q534694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$F137F63F-66F1-40C4-9871-C809A076336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5d548584c028db5c5bf0690cbeb3e9237fb5b0","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$34544AA7-5453-405D-9AE9-5F8FC1128161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4fba24566a128fd9a8134e472d3f5ee6f0c21d","datavalue":{"value":{"entity-type":"item","numeric-id":3000923,"id":"Q3000923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$E19625DF-4C7F-4485-A56F-977785AE6190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb6b63b8ea3cf4596419955ba0d7da9834a9b53","datavalue":{"value":{"entity-type":"item","numeric-id":4617970,"id":"Q4617970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$A0B630DD-55DD-4628-8EFB-A01C93AE0A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d3718f995501e562c3a304e635c2832f3e3389","datavalue":{"value":{"entity-type":"item","numeric-id":3540184,"id":"Q3540184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$877E0D4B-00F9-4086-98F3-1150824C29B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$13B16124-654F-430A-804B-F44769052BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea51183ece9ddbb92e46f947617c1dcf4595f84","datavalue":{"value":{"entity-type":"item","numeric-id":892169,"id":"Q892169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$84986E23-A224-4272-A284-F8DA55440C4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a58832ee93bd087e12a135150825109d1ac6f03e","datavalue":{"value":"W3167878776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5006458$DDA49D59-AD07-43E2-98D6-A98306F128F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd568f7079952588af9b327317de6ba336000d22","datavalue":{"value":{"entity-type":"item","numeric-id":892169,"id":"Q892169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa493614d07bfc129dcd3457bf0997f983a872a3","datavalue":{"value":{"amount":"+0.847985029220581","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":"Q5006458$1BE18113-6B67-4604-92E5-E318793C66E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c779f40b7645f657f056573daffcbd82b0dd50","datavalue":{"value":{"entity-type":"item","numeric-id":4617970,"id":"Q4617970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff15f293c842e5ade56824bc56ccf3b68bb357ed","datavalue":{"value":{"amount":"+0.829679548740387","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":"Q5006458$3AFA8462-E592-4BA1-8155-1A1930E3BFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc07f04b83305505ce68fb2e28a30592f6b333a","datavalue":{"value":{"entity-type":"item","numeric-id":3564345,"id":"Q3564345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f6d430909a9182309464dfdbd926536547e840","datavalue":{"value":{"amount":"+0.8022263646125793","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":"Q5006458$8746195D-51F8-457B-AE8C-44107C6F17B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4736240ea9c8198c5eac1f3cff0dd84db0548e48","datavalue":{"value":{"entity-type":"item","numeric-id":5394579,"id":"Q5394579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73a7d8e5b50f36680b067e9b1403680f53efbe3","datavalue":{"value":{"amount":"+0.7928698062896729","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":"Q5006458$A97887D4-6726-49E1-8987-C13700D13746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e489536e520f634927e3874e6cbf028a8baa7086","datavalue":{"value":{"entity-type":"item","numeric-id":5415631,"id":"Q5415631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0bfd89e2eeb1940187a4d169430368e6e477d9","datavalue":{"value":{"amount":"+0.7890174388885498","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":"Q5006458$9E348146-AD4F-462C-A026-92E271A113FF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5006458$C9E17AC3-5BFE-4C87-9CE8-683D67FABEC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5006458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5006458"}}}}}