{"entities":{"Q1781095":{"pageid":1791837,"ns":120,"title":"Item:Q1781095","lastrevid":69051471,"modified":"2026-04-13T04:06:50Z","type":"item","id":"Q1781095","labels":{"en":{"language":"en","value":"Relating categorical semantics for intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2176363"}},"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":"Q1781095$BCE21A36-472A-4E06-A73D-FC3A34A86D75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8a39c299b5bf366bc26b38b8e51d39e26c1b78","datavalue":{"value":{"text":"Relating categorical semantics for intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1781095$631620E5-DA61-4A93-8387-82574E3EA80D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdbda2d60ba4188d35b047acd01c5790515673f4","datavalue":{"value":"1067.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$F16FE907-9E45-40F7-A31C-1CA04FC997C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$87948FC7-89FF-4B7C-A931-222004BF7BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b9b9f2d75d37a56ef661a20afa3bb433e303862","datavalue":{"value":{"entity-type":"item","numeric-id":1781093,"id":"Q1781093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$D974BFDE-834C-443E-866E-D147AA54BA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$59E038C0-A602-46DD-8601-B5D381CF80B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$57B65535-8D48-4861-B0FE-A1081B99D38B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$288F4B95-59EA-4A31-BF4E-088320A6B1B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eafe75bd1c5dbdfb5bb9f91bc6b16760cad7672a","datavalue":{"value":{"time":"+2005-06-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":"Q1781095$A2B69975-94EB-4520-AA90-80582FFC2FC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$0E90C171-D770-4913-BB32-E09B2B3C8BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$939E01E1-DB9B-4C2D-B5B8-2C8A51095F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$452D62EE-DA43-44B8-8AEE-365C781DB69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$4863CE99-C1F6-497E-8029-507021D4C133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$C8D59E7C-0CAC-44DD-A1B9-8348F9B96D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e4fefb9c95056ec5ca69bca787f98cbea9561e5","datavalue":{"value":"2176363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$742956E0-AFD1-4D69-B6EB-3E36DA427372","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1781095$81455A87-9FBE-4FD6-BC82-6CA0EB95C328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1781095$9BF9D2C4-9CEE-45CB-94AB-F78EA8F02D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0faee14ffea00dfe13ee740667a652bfc9e2248c","datavalue":{"value":"symmetric monoidal closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1781095$87AC6E4F-CA2A-4575-8612-21340C504FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f493822dbea62e38f7ff44a58eb660be4867c8e","datavalue":{"value":"symmetric monoidal adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1781095$0EBD3B22-FB2E-4D05-87A9-465BAF61A5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1781095$F55A5DCB-58AA-49B8-AD44-F0A566D2EDE6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"55bdbc9c9b01c3e54010044910f78cf5511986ec","datavalue":{"value":"Q56994542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$01263403-598C-46CB-8328-99EF7D8AB7EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$1E813F28-620A-480D-863F-CA90F55570A3","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":"Q1781095$56C19D73-0CBB-4B71-96BE-B0868DCA923F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf3711c2bee7271e52e03791617f6c3848e26dda","datavalue":{"value":"https://doi.org/10.1007/s10485-004-3134-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1781095$A114EB0A-D08B-4548-961F-CF7142577A23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e27de46b4787aaa2ce9a407cfef83bddb5a0286","datavalue":{"value":"W2006319938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$A1BB847B-A53A-4B6A-BDC9-A5E41318DE9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$01C0602C-437C-4D9D-B931-54543B45EB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$3039CBC3-04CF-4777-830F-A2E80D491017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$F0EF5252-87DE-485A-90DF-80B0D2D70C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8eafabf0cddf70d8185a67fa02863c2bd424ef","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$0DE986A2-0B18-44F2-874C-D4F4D84BCB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2c8292e83c6a8dd597f45e964fcbaf4ccb4d69","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$B7B025D5-1871-406E-BB0D-F234408306C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$783FD0E5-2FC7-4A8B-87E9-BCDC71AA9C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfa964f55f2ef74f21d27e9bd8a3aa00682e204","datavalue":{"value":{"entity-type":"item","numeric-id":4444908,"id":"Q4444908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$E57F49A2-1249-4995-8592-25C23EC5DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$68935CF4-3807-4DC7-A5D5-CD525D9198D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$A2BCB962-A1F1-4B84-B983-CDBAE8043FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e3796e0e9981547b336df2010293442ce0452","datavalue":{"value":{"entity-type":"item","numeric-id":4499228,"id":"Q4499228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$D1C73427-DA11-4A49-A052-58CEEBA82D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$C9D5E85D-1E23-425E-B791-DBDD791D8BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27581c3adec16ad411a49285db15b7b733801efd","datavalue":{"value":{"entity-type":"item","numeric-id":4499227,"id":"Q4499227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$CDE4666C-1BAE-4DA8-BE7F-65D8597011B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$09842247-59E0-44B2-B5EE-21701DCEE3C6","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":"Q1781095$FCAD3799-0F0E-4A94-AA8A-6F174A19657E","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":"Q1781095$AD96630D-1C64-4D99-88A0-B54F997FBD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039d97201652c4283dba241fd4e1b87cdbf197b5","datavalue":{"value":{"entity-type":"item","numeric-id":1320337,"id":"Q1320337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$1C557CCD-8922-4A2A-A620-96B08BD0EFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c40d2e8e181fc2400d9bb9e8f019ced7c5619b","datavalue":{"value":{"entity-type":"item","numeric-id":4508305,"id":"Q4508305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$C3865033-B411-4F09-8008-D3FD74A4E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781095$1828BB7A-4F8D-4EAE-B5B9-A0950BF41F94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b2a1c7d4243ca733d6ba2c74d65e47a4e6bea22","datavalue":{"value":"10.1007/S10485-004-3134-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781095$433271CF-4ACF-4B4E-8614-E38AC4CF2807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be723dc276127637240b81a4dd062cc4f1eace1","datavalue":{"value":{"entity-type":"item","numeric-id":5251192,"id":"Q5251192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bb8356857c65359ec5d4394f658097581bd2dd","datavalue":{"value":{"amount":"+0.8443574905395508","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":"Q1781095$202FE612-5C5F-466B-B8CE-78B89C8B0686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1301fb52b89ef74f42f456c47fc225033b134c8","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef24fc0f6eee0a20ec079f4302c21a2fbc3aebd","datavalue":{"value":{"amount":"+0.8411498069763184","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":"Q1781095$227D8882-01EC-4B5F-927A-1692C2C4504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a1195afb1c3c601a1561a604730c0b6a152933","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74740a466e232277fe5c82b976d18a7055409844","datavalue":{"value":{"amount":"+0.8012765049934387","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":"Q1781095$C14C0491-2306-4F8D-A932-5960457AC202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3a8d409999bdabd979f08134ccfdbe43bd8eb5","datavalue":{"value":{"entity-type":"item","numeric-id":4357099,"id":"Q4357099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20be49e9f9975866bf97f8eba33fe4a050cf692e","datavalue":{"value":{"amount":"+0.7961129546165466","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":"Q1781095$64D81992-982C-49C3-B9B8-516D5DDE7422","rank":"normal"},{"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":"94e5d624af5a526b7739789d90a893628d4cc4df","datavalue":{"value":{"amount":"+0.7956756353378296","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":"Q1781095$D0C57F8D-3C2F-4B47-A936-CC48C78E501F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating categorical semantics for intuitionistic linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_categorical_semantics_for_intuitionistic_linear_logic"}}}}}