{"entities":{"Q2233407":{"pageid":2244150,"ns":120,"title":"Item:Q2233407","lastrevid":57686316,"modified":"2026-03-31T22:06:14Z","type":"item","id":"Q2233407","labels":{"en":{"language":"en","value":"Generalized bounded linear logic and its categorical semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410427"}},"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":"Q2233407$33942600-0D8F-4CA4-AA06-7A185DE969BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0253dc8326a117c13693ea2193fe999a1b21d8fe","datavalue":{"value":{"text":"Generalized bounded linear logic and its categorical semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233407$0506D205-89D4-4B2E-961F-0F39115DE9F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d1ad0e16bccceb75fcf429a90b4ea97cb3cf199","datavalue":{"value":"10.1007/978-3-030-71995-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233407$D0C7E6F4-B038-4D11-B6BE-7A961EE5CB6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17deca53bba8ee0274a327aa8b8adf4cbf00f433","datavalue":{"value":{"entity-type":"item","numeric-id":2233406,"id":"Q2233406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$1D793011-456A-42B9-A2A7-36570B099FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$974B766A-25E1-4618-A62C-D7431033EFD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233407$6DE3816B-3C5F-4D70-8E20-6145E6AF2429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233407$BCC6DE21-0B00-492C-B987-EE52AB192ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233407$2D26338D-922C-4E80-8B44-79E28B39CC87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bd223279126036c9956d907436e6bb6905eff26","datavalue":{"value":"7410427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233407$094B8D91-D681-40DC-A3CF-7A1FEF3D749E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233407$FE1253CC-99ED-4CAA-9535-D930777C5816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233407$A151A832-C94F-4423-8FEE-6CADB990DCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7fb247254005fb9e0b127843a084aaff718bbc","datavalue":{"value":"linear exponential comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233407$A66716C5-7897-4D19-8CAC-BD2E39AD72CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4da3f4692dc1014baff7e68b4c4ccb9edb6a5c","datavalue":{"value":"graded comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233407$A0B4AC9B-C31B-41E9-AA1D-0B5B38FEFE0F","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":"Q2233407$E5468D59-AE34-4D95-9FCC-76A6F819B83E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d35b9abb250dc6c37bc420002f3bbc5f7434645a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-71995-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233407$FFFF15F3-0D3B-498E-8AFE-EAB12CCE07E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae663cdb39e222cfd147291a50380242a5f521ca","datavalue":{"value":"W3135295277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233407$FF884DAE-94DF-4FD9-ADEB-49552AEB675F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889330d43eeabee0fdabbe31695a44bf8742a83e","datavalue":{"value":{"entity-type":"item","numeric-id":556821,"id":"Q556821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$39405502-CDB5-4EF8-9F6B-5F5152913C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b669d99f34e65c2bfc2f278974361852e47e27","datavalue":{"value":{"entity-type":"item","numeric-id":5370888,"id":"Q5370888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$8526D87E-5942-41CF-9BB0-B062F0455364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$A79A06B4-A387-4655-B121-DD5C4176C76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb8e51ca95fbf36069e21c53bf693f0d8aae789","datavalue":{"value":{"entity-type":"item","numeric-id":5351981,"id":"Q5351981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$D809F1E8-D0A9-46C4-AE8F-9E4499EED9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$95F7D997-9E37-416F-906E-EF49917E1B1F","rank":"normal"},{"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":"Q2233407$94F06C68-8FF4-47F9-A401-A13EF2DBAD80","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":"Q2233407$F8F99FFE-9DDD-4D20-A099-D3600CE49BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1306cf5971ea6ae481c5f8330b5b35e143e8527f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$D8A1AE11-5A78-4EA6-BA7D-D872ABA54CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0ef026fdb50210a464dd504204943def4364b9","datavalue":{"value":{"entity-type":"item","numeric-id":2931812,"id":"Q2931812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$365A57EA-5426-4858-8840-F518FB85D9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e3d52810814c579c973630d54a8096a771faa","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$E46EF0B5-9CBC-4921-9799-0B5EB18A1545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe212947f5528215b692a0b52aa33dbd786744","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$B16A5AA0-76D2-43FA-B1C7-230B70DE4B63","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":"Q2233407$12879D27-2B6A-4E18-A4F2-E7558E31327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$AD6E6DBB-16BF-406E-893C-8A3FE7AD2C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b754b4ffba74b447aa78b1d933a6c549223f47e","datavalue":{"value":{"entity-type":"item","numeric-id":2948550,"id":"Q2948550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$359C2E0E-A909-4896-A566-58B2DC4005B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a9228e2a8a9ecc397608c3c54840958f59a3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5351962,"id":"Q5351962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$E8FF65E1-388F-4945-98FC-4987CBEEF4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998e5a2d437a0ab5e5dc5d27be5b655cf47cdd9a","datavalue":{"value":{"entity-type":"item","numeric-id":1827395,"id":"Q1827395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$6B5D9368-D80A-441B-9CF3-1B17AE545F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9549264e499cd9de82a729202710d2eba85139","datavalue":{"value":{"entity-type":"item","numeric-id":3608428,"id":"Q3608428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$AE2713C3-1C2B-49D5-9F5E-3B3F7BA8F34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41f90f9ba74ab10633050ecdac3c2fca2cbd707","datavalue":{"value":{"entity-type":"item","numeric-id":1850100,"id":"Q1850100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$BE16B053-C7BB-4C36-AA7B-4FF9D3268936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1bb18d3b822c9e12aa8c5ea6a6b880b7e378bb","datavalue":{"value":{"entity-type":"item","numeric-id":1652971,"id":"Q1652971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$A3C9BFDB-F86C-47A6-B37F-16AFBECFD7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0681b4c1bfd42d7aae934d4a4bfa295399a68c8","datavalue":{"value":{"entity-type":"item","numeric-id":3454221,"id":"Q3454221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$8271AF4D-ED2F-4F0A-AAEB-E92820D88155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$1B69D458-66B4-40C3-A68C-8364C5317FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8eae90b3712e039a2cc5ccb788b8ef094b8aab","datavalue":{"value":{"entity-type":"item","numeric-id":270034,"id":"Q270034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$5ACD4E59-A11C-4EF4-8252-4475D58D6491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3785eb7c2d8899e9e8a79ece17285320e2b73054","datavalue":{"value":{"entity-type":"item","numeric-id":5020617,"id":"Q5020617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$B135B60D-E443-4682-917F-22E2E28D8C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4acf48c088e1bf6cdbbead4e5b78479dba27f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5327449,"id":"Q5327449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$77AF60BD-86DF-4CE5-8114-E1164956BB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233407$4B699333-ECA2-4BB3-AB63-79282EC3F301","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":"Q2233407$857CD096-5558-42F6-AFBA-389126B19160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233407"}}}}}