{"entities":{"Q5488609":{"pageid":7518169,"ns":120,"title":"Item:Q5488609","lastrevid":49922140,"modified":"2026-01-12T01:45:43Z","type":"item","id":"Q5488609","labels":{"en":{"language":"en","value":"A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5056074"}},"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":"Q5488609$8A8CD1C4-0EFC-4D57-B4A8-6EF23328E7B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"674f6f598319ea10fa75a93b7ee2b020582c3040","datavalue":{"value":{"text":"A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5488609$BD7AF297-7122-4D2C-84AB-3E59C648C364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f85ddc83533d72838570c6ab33d60efb0f30b9","datavalue":{"value":"1105.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$27B2E704-DDD3-4204-AB24-52ED0DDE5C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5589a4066d298dc1e61fcee6fb7a455e55218479","datavalue":{"value":{"entity-type":"item","numeric-id":853746,"id":"Q853746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488609$A412C057-459E-492F-B734-83E62AC2FB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488609$1279703C-E30F-40E4-AAAA-5502310B236E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0661523a3e59cc88f483e6fe108440be8c2fe38b","datavalue":{"value":{"time":"+2006-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5488609$1A463615-4CD3-4F38-A131-18312A181418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$D3F52DED-03CD-4E13-B254-5595CCA88966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$FA01D5D9-5647-420A-8364-8125BF90E8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$8C34E6FE-EC88-433C-9F03-D6BA6E958CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$9A287BC8-ED17-463C-89B1-4E7FB5247855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3ff03f5e16fd45216907f15a2ef17035d62e6b","datavalue":{"value":"5056074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$F86EFBE1-4116-4521-9092-C5B3B0C415DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eba31140d319308eba37096e7ce7266b440a64a","datavalue":{"value":"pseudo-monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$45F0078B-5549-406A-9189-0E8B5C5AED1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"432cbad00a318495f3a21e656f7bf45a2f186dca","datavalue":{"value":"untyped contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$B40CC501-55E8-4113-A558-81F626EB4C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$99002104-1699-4C7B-9972-D2069AD8D092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$34674832-FA68-404C-A6D3-13F7DF1E997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8538ae23bf609b9a4d171a6eac140a48749b66a","datavalue":{"value":"pseudo-distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$4F3EB19B-F823-4015-A0CE-6A93B0C020B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd965f12ceaf65726ca899269335303b642d3c7","datavalue":{"value":"substitution monoidal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$65EB959E-D7F0-413F-82E3-E086E12A645B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488609$4949B64E-A4E4-42EA-8556-D9BF09590EC9","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":"Q5488609$37BB0769-E90D-4228-8D7D-BA5776C6912F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c39180e588a18e9b47be8f1d1cce6ea7c52c0bc","datavalue":{"value":"https://doi.org/10.1093/logcom/exi070","type":"string"},"datatype":"url"},"type":"statement","id":"Q5488609$1F342B99-0770-43B1-AAC2-332CB05CC009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af39af8549f2fb79e64d650c5d246075d928de3c","datavalue":{"value":"W2012474994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$63D97CD2-E6AA-4BB5-A07F-1F01C7E27B66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826e6ef903d1301db0dbb82a38c4f1197daadaef","datavalue":{"value":"10.1093/LOGCOM/EXI070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488609$CF859491-DAE4-486D-91C8-A0AECFFDB9C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488609$644E0BAF-4905-4F0D-81E6-F12448E1AF0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d1c587ccde11ec9dc0017e5b4781201071be95","datavalue":{"value":{"entity-type":"item","numeric-id":5262926,"id":"Q5262926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b55af7855b1386293424e59fd8ff8a05f3be525","datavalue":{"value":{"amount":"+0.8769716024398804","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":"Q5488609$201ADDBF-D4F5-44A7-BDC8-0ECE7FFAEA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7d2bc49163167cf80db2af0a2b8ce3c02d44b1","datavalue":{"value":{"entity-type":"item","numeric-id":3532206,"id":"Q3532206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406ab7b32610f4b697b5722fd834a8f9349eb95b","datavalue":{"value":{"amount":"+0.8400546908378601","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":"Q5488609$40E6226D-E1EF-4966-A1B3-1F36B7043949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880b1d619dba183c19b8cd1f52c9dbc2c6290906","datavalue":{"value":{"entity-type":"item","numeric-id":5704018,"id":"Q5704018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b82790d0ad93c2a85f80b687f58b06d2a6f509f","datavalue":{"value":{"amount":"+0.8352397084236145","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":"Q5488609$92EDE03F-9529-4701-A496-C14440D1C057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def8df19ec7f02a07ca27997fbaf372c3a5056e","datavalue":{"value":{"entity-type":"item","numeric-id":853747,"id":"Q853747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3572232f0d2af4bdaef3061bd2b86cb5b1586be1","datavalue":{"value":{"amount":"+0.8156830668449402","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":"Q5488609$1E88E5D9-52DC-4031-84C0-B4AD710261C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4067ed38eb653844d1888dc813622655c47cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab84c2e840014652aa8f215c5efcaeba16a00e3","datavalue":{"value":{"amount":"+0.7519137859344482","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":"Q5488609$E530FCB4-0427-4652-BE27-05B9290AA52C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5488609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5488609"}}}}}