{"entities":{"Q2326414":{"pageid":2337157,"ns":120,"title":"Item:Q2326414","lastrevid":43891317,"modified":"2025-11-15T19:19:44Z","type":"item","id":"Q2326414","labels":{"en":{"language":"en","value":"Non decomposable connectives of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114342"}},"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":"Q2326414$7D7FB37D-8B4A-4CB1-9449-3F9E4A4A5E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"897fe92abf88d0ff093681b0a3d6dc7930d57ba2","datavalue":{"value":{"text":"Non decomposable connectives of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326414$CDC730D7-F985-4A26-A0BE-A82AEDBEAAD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d657fdd2d9958dba10089337526015d3f6130c99","datavalue":{"value":{"entity-type":"item","numeric-id":1407587,"id":"Q1407587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$D7017244-15CF-400F-9105-FF75DBB06A75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$90742BAD-69D4-4A4F-826D-0BC6CBC208EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326414$B430E346-7016-45DD-804A-9C9D02B936F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$6CA6DFF1-4035-4948-BF07-7998524A4244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$0967DC05-4B1F-4727-A2AE-93B22585AE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$A2178EB0-AC20-4338-A686-FE235BC26C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$4F1207BF-32DE-49D1-A279-3126E5A5E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$4FB2EC1B-4324-4378-9563-A890D4713E50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c4a5df755f1824d5da7726d7dc8ef702bae742f","datavalue":{"value":"7114342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$C41B8396-0C8B-493D-8906-A6856C92D91A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326414$E7433CCB-C9D7-4736-B1CE-CCADF49F78E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d35d2a36ed12248c2f9078e35544b1c0a2cc16b","datavalue":{"value":"partitions sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326414$399B7E6C-9F8D-4C3A-AE27-954109C407CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326414$16A1E87E-DE9E-4379-8275-D1B121953692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326414$1BD405BF-C83A-4D4F-A7E0-462102BC32D9","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":"Q2326414$1E07DA93-DF3A-4A61-B97A-BBC714CBAA0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3abf0ff32c172ca0c0a519455ad2647f93b36fdc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2019.05.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326414$92C2CD15-9189-4869-B619-995D1F89E67B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"496886ce2944ba1f5a9149e70f285d09c28fa260","datavalue":{"value":"W2946847184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$7AC16F5B-F0E4-4C43-915F-5C0670F9D565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$10961255-0EC9-4399-A46F-44DA5B19A49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$F2CCED47-F1EB-4F00-9321-9CD663E77744","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":"Q2326414$7F02B614-7776-418A-AB80-00CDC55125B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275c63e713d1bf4dadcaa547865d6c0c1b528dce","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$4664C8A7-9A2A-47F6-A8E3-1113F2B6DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5923c7bd6a86f8aad90888006ae6fa710622ab","datavalue":{"value":{"entity-type":"item","numeric-id":3819066,"id":"Q3819066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$3629357F-76BA-4EBD-98A1-1DBD6911E79E","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":"Q2326414$041D0C8A-10EE-4872-B7D0-3CEC0044D16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c503eec55a1ac4f23ca138b62a55de1f3e0067f","datavalue":{"value":{"entity-type":"item","numeric-id":4263837,"id":"Q4263837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$F1F0D14E-DEC5-4924-955D-70A89379DD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db55fbec7f6c9bd80c157746fbb26b91e023c059","datavalue":{"value":{"entity-type":"item","numeric-id":3548539,"id":"Q3548539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$CFA2C992-18A5-4B97-AEFA-C74FAABFC024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ddf1630c2488d4504334d34738440408c76edc","datavalue":{"value":{"entity-type":"item","numeric-id":1766921,"id":"Q1766921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$32176AD3-6298-43B8-B309-BE419B922B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$BDC0F296-6352-4D2E-8700-138279E3E679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d0da8e99bfc79855d422c0e442391de397cb42","datavalue":{"value":{"entity-type":"item","numeric-id":4366767,"id":"Q4366767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326414$FD585C40-FC12-488F-BE44-59F2EE3E3B71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c4dc1624eaf7a833b6daeb304c6df4cdbfe3bcc","datavalue":{"value":"10.1016/J.APAL.2019.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326414$75EBD1B7-F6B8-47AE-B6BF-9E24BA7AEB76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2326414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2326414"}}}}}