{"entities":{"Q1398475":{"pageid":1409215,"ns":120,"title":"Item:Q1398475","lastrevid":71094870,"modified":"2026-04-13T19:26:40Z","type":"item","id":"Q1398475","labels":{"en":{"language":"en","value":"Chu spaces as a semantic bridge between linear logic and mathematics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956199"}},"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":"Q1398475$F54148D7-DD0E-42EA-BB78-C1AD4B10051F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"457fd5e911f90467d56a814230e0275fb3c9f6fc","datavalue":{"value":{"text":"Chu spaces as a semantic bridge between linear logic and mathematics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398475$790517B5-F864-4727-BB5A-6202170B1765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da98a8758c508cda8f6cd82bb3a2c9648d370e44","datavalue":{"value":"1042.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$00B1B4A3-F83C-4417-8272-B6B4DF1FD5D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"812c8194899eae89251e4e4d7e0451a19d6fc41f","datavalue":{"value":"10.1016/S0304-3975(01)00169-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$2688D0E5-AFBD-4E3E-9889-C6371D23E9DF","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":"Q1398475$ADB6981A-9210-46F2-B80F-0CAF8F9DF719","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398475$2F9D654F-EDA1-44B3-BF0F-9F0835A73A3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1756006e962e943b5f31432a7e80e8b651f9b6eb","datavalue":{"value":"The author has for some time been a strong advocate of the usefulness of categories of Chu spaces in both pure mathematics and theoretical computer science. In the present paper, he gives a brief but clear overview of the constructions and basic properties of the `big' and `little' Chu categories \\(\\mathcal{C}hu (\\mathcal{S}et,\\Sigma)\\) and \\(chu(\\mathcal{S}et,\\Sigma)\\). He then shows how they may be used for modelling linear logic, and also describes how arbitrary small categories may be concretely embedded in \\(\\mathcal{C}hu (\\mathcal{S}et,\\Sigma)\\) for suitable \\(\\Sigma\\). His thesis is that linear logic is `the categorical logic of general mathematics', just as intuitionistic categorical logic is `the categorical logic of cartesian closed mathematics', and that just as \\(\\mathcal{S}et\\) is the `exemplar category' of the latter, so \\(\\mathcal{C}hu (\\mathcal {S}et,-)\\) is the exemplar category of general mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398475$5380E4F8-1C32-4BF5-B8C6-F2CDEF730FC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$16B4F762-C942-45B7-B4D0-7B2C4857757F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$25E41D2B-8EE5-45B8-A2D8-018B673A80F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$D40D6513-9C82-48AF-ACF4-253D9BE9416A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$AFA39E24-EB0B-41EF-98C2-D4E47167BD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$D695DC40-D04E-41A8-B488-0DCCD271C92E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28c1d4860ab2bf9c222f7006b0f4fdca4949700f","datavalue":{"value":"1956199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398475$B8F96654-7609-4B27-91B6-058100A31D19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1234a4b53e47d360f02c5330b4f9d263a9e90ac","datavalue":{"value":"Chu spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398475$7AD4901E-D5C7-4EF4-A8D5-A1CBC3D91EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398475$7BF8ABFB-2701-42B4-85A8-EB915C9E6136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb5a3838f33cf7b9abb69c3a48b95b3bfb4cdf3","datavalue":{"value":"universal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398475$A6943178-5CBD-4C4B-BD39-AAA5D2B48432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daf04d2e542c2ae6d281c4a9ddbcc3ed8dba4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1134755,"id":"Q1134755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$82AAFF47-A91F-4A3C-A2E8-4FC28C596205","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$62F4D4E5-0D7A-4B4C-A8AE-D94CBBC8F3A3","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":"Q1398475$65D25815-9BBA-4472-8657-429E38775D07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$42C02979-C9FD-43CE-B357-1D10DE630E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$92F0B798-810C-45A8-9234-34B337CB17C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a37e1cea15f374069f32e15730dc1397414b0","datavalue":{"value":{"entity-type":"item","numeric-id":599898,"id":"Q599898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$70984F18-93AA-4A51-BE9D-BB324227AB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$DCA6E41C-FDF0-41F9-BC61-38AB667968E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9467d2d31b048996e8a0bfe5e2d70d552d9563b","datavalue":{"value":{"entity-type":"item","numeric-id":4715677,"id":"Q4715677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$4DB25FCE-0838-413D-A178-013F0C1083BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$D543502A-20B7-46B1-9136-E3C9062EB249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91162405d4eea68e25195c368ce334188f72fc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4882498,"id":"Q4882498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$D5D64FAD-E711-4939-BDB2-F7109E2FDE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$4A6B87F9-7CE3-4B81-99BB-148E1D836B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b098ecb891499554ffb76b3254fe3ef5ec8f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4254690,"id":"Q4254690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$5D881B1F-3112-4108-8D63-3E5E201EA227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daef3621812e0b568d810dc5cea608ca2e5bff6","datavalue":{"value":{"entity-type":"item","numeric-id":4006231,"id":"Q4006231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$A9A26F82-6806-47A2-BD24-2414251907D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$F2F78CAE-3B64-4DEF-B1D5-FB7B74612C47","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":"Q1398475$8E607EFA-EED8-42F2-B9A3-975246A42135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6105bb89fce02892938ee6914c56d48367a0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5096268,"id":"Q5096268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$99ACDFC1-4935-4099-96AC-8E34F179FA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$54FAB2A4-3478-41C4-B0AA-25851D0AC53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$B2B55E2D-BD08-43F8-B3E1-C96F3287BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0b635912c38547346c0bfb2a4521ddd2065526","datavalue":{"value":{"entity-type":"item","numeric-id":2542522,"id":"Q2542522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$166CC10A-2362-4006-B7BC-ABBBADAECD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$A475E4C8-58D2-43B1-8F33-04FBC26C1BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5747b033f4a69bcc10ee85ac833eb9331bcc38","datavalue":{"value":{"entity-type":"item","numeric-id":5840601,"id":"Q5840601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$EBC942BA-72C4-45C6-8798-6554C5537968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$BA545682-B883-43F5-A478-461721E58048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdafbfd12e1c1d851fd7b33063fc4ccb2b7482d","datavalue":{"value":{"entity-type":"item","numeric-id":1295522,"id":"Q1295522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$BBDD0CE1-B6DF-4C3D-9AD5-C71760328198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$186C05B0-A186-40EB-9969-C40CCE68FF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$4BBDB49B-654E-45C7-BED9-F1FEA69B9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121f12eba3cf85af910020d641a4407053cb90e3","datavalue":{"value":{"entity-type":"item","numeric-id":4260365,"id":"Q4260365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$39626E97-B9A3-4645-ADA8-93601C2D9B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aca8baecc200ba2552df3e414ef8dd6d2664e1f","datavalue":{"value":{"entity-type":"item","numeric-id":4222900,"id":"Q4222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$63A4A8FF-EF46-4C74-88DC-0FDE9A47D90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$5393FEC0-E7AA-4ABB-B542-2BD2B27051EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8e46ef52666cad0a0233a0d565b5ef97ed9d50","datavalue":{"value":{"entity-type":"item","numeric-id":5546812,"id":"Q5546812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398475$510E562F-D434-4136-99F4-B1AC6602527A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d178ace3e6ef69bc9f0dd36da63f4015ecfbe11","datavalue":{"value":{"entity-type":"item","numeric-id":4222900,"id":"Q4222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544b104d578362218707ead958a72c65ee707558","datavalue":{"value":{"amount":"+0.8284463882446289","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":"Q1398475$19201F8E-42E3-4700-A2B8-B1BC000B5778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a79d838d0c0adb9f14ccda3a1947faaac85e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4501691,"id":"Q4501691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190630efd1251cadb039c4a7b190ae7144113ae5","datavalue":{"value":{"amount":"+0.8159466981887817","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":"Q1398475$089435F3-66D6-426E-8EDF-A33F99954CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb16c485c814e4b2039848fa6e93cacfd02777c","datavalue":{"value":{"entity-type":"item","numeric-id":4222842,"id":"Q4222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29e5e188246780eb342fc09cd2ae22bc5753ad4","datavalue":{"value":{"amount":"+0.8126333355903625","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":"Q1398475$2C8AF0D4-C5AF-4D12-B75B-430288845310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89adaeaceaccae8762deb55ce882d6b4688aa004","datavalue":{"value":{"entity-type":"item","numeric-id":4870819,"id":"Q4870819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482d1eaf438aaede570289dd0df52313b6377ee3","datavalue":{"value":{"amount":"+0.8115763068199158","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":"Q1398475$957619A1-A728-47D1-BF1B-1E31779B9824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a602d07cb7e538f00c8a004f04ce154947f98b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2852359,"id":"Q2852359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a857ff7f1fa34f4b367bb73f4dbc669052b764","datavalue":{"value":{"amount":"+0.77489173412323","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":"Q1398475$64426C99-0F53-4024-8906-EC69C4C7F506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chu spaces as a semantic bridge between linear logic and mathematics.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chu_spaces_as_a_semantic_bridge_between_linear_logic_and_mathematics."}}}}}