{"entities":{"Q4032664":{"pageid":6062398,"ns":120,"title":"Item:Q4032664","lastrevid":55238158,"modified":"2026-02-05T04:46:42Z","type":"item","id":"Q4032664","labels":{"en":{"language":"en","value":"Extending the Curry-Howard interpretation to linear, relevant and other resource logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150020"}},"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":"Q4032664$16FD0A35-11B9-44E4-A030-B30CA0C53C34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"651ce9259d176c12757797ef3b7651deb2153b29","datavalue":{"value":{"text":"Extending the Curry-Howard interpretation to linear, relevant and other resource logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032664$7FE4263C-4A0B-42C4-9BC7-019A0BC96B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd17711431ac1db4554cda9fb688f9798dc308e0","datavalue":{"value":"0765.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$AB724032-8889-4129-BB9D-5B0790009750","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea40e33c1fad918b07309ed4613927ed6b3673d9","datavalue":{"value":"10.2307/2275370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$DF991487-D474-48A0-AE07-7C8B27DC1DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$1035B2C5-74B6-448C-9A25-67B60F84D95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$39170DEC-4C4E-46F6-AB72-D4C93CE5D522","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$2A6A49FE-8377-453F-BDB1-B3D3D1E07009","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032664$EA1CCF8B-9AE6-40D8-AE0B-F49861251C37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$89486DB4-0D8A-477E-A8B0-839231471155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$A3E11F12-38A2-48BA-9CF8-B038C7931E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$87094DB5-C219-4242-861F-47C12F86D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$3F28EFBB-D265-4846-8702-35BE905E05EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98c321397b66773c290ea18917deeccea88d778e","datavalue":{"value":"150020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$E3D4F7FF-1496-4625-9A22-12811999A326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0479a516bbc24af4409b9dbbe989198d610881","datavalue":{"value":"resource implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032664$7DA7216C-3807-43F9-A571-019742AEBDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235ed685f160a1b18a0f8159be6a91574fe99086","datavalue":{"value":"relevance restriction for implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032664$07AF76C4-1023-409F-B765-5133BC9A6960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef73de9d5b167f9a26fba1f6951874dae5dd8215","datavalue":{"value":"Curry- Howard interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032664$30193AEC-9B04-470E-859F-DC4D7A2FB75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b236973945d407ef00c7eabc29511d532e8ed037","datavalue":{"value":"linear restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032664$AA6764C0-03B1-457C-9E95-405EA96B8086","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":"Q4032664$09E9E333-BD3B-49F7-91F2-0D905475D9D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9581dc4df825acb1ec2dafe1dc0337d8984245ba","datavalue":{"value":"https://doi.org/10.2307/2275370","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032664$B29A6E69-F889-4535-A00E-D63FDE1C7089","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2852327ca0ab8cfab48c3a995c8cc4917752d016","datavalue":{"value":"W2134870220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$F45165DE-F60F-43A0-AB20-2090BBEF80D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67c1298553f5e31b928d0e3d3bdd11845ed83ee2","datavalue":{"value":"Q56211001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032664$8B127C64-45B2-4CA9-A13E-4E5440AE4A91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$272FBFB9-F8F9-472E-AFD1-6EBB81E95C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$A86DA97F-53B2-423C-A34A-022810DABFC4","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":"Q4032664$51D70F0E-A1BC-4B10-95EF-7D6B9158E841","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":"Q4032664$2B3A5F4F-D1BD-45D7-81B9-4C9544F945E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bb773a7fbf7097dd8a166b0b3d807f33bdac70","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$F4FF78DD-24F8-4EEA-B05C-9A5AB65AAF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb3cb718675c3fe3133c1db7ce063709950989","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$CA74BE4A-C436-4EAF-8224-496C04FC53A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5285f261a809808960705bdad542f470e1b76494","datavalue":{"value":{"entity-type":"item","numeric-id":1263573,"id":"Q1263573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$0C40759C-781A-4F38-97B2-8BFB53644A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$A7CBD4FD-19D4-4FF1-9FD7-1327E58C8F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$4EA04DB4-2AC4-4499-88C6-FE61614337BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$69ADD80E-5AD7-4C16-BBB0-1A0775ACF506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57189ecb55e1ba61822003d7d3f2f53dca71d675","datavalue":{"value":{"entity-type":"item","numeric-id":5802120,"id":"Q5802120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$1C002161-81E6-417D-85FD-6F62726FB819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60facddfc77a4ec30a3c2b2c8df80393a115cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":5834321,"id":"Q5834321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$68A37DF5-3F2B-48C1-B0DD-59420E763084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b750af25633b0fa3864f441f9f03a56533e596c","datavalue":{"value":{"entity-type":"item","numeric-id":3479540,"id":"Q3479540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$77CD859A-0A37-4782-8CDD-6ED038145CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0688325caecac1728a5fd90457472b2f4edbb9e","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$68B7D6EE-0C39-4A41-B598-33B19B64425B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$D99B7135-6064-441B-AA69-E1A9CF8D075F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48bc2b231e5f439da737462a40549539a97dde60","datavalue":{"value":{"entity-type":"item","numeric-id":1565128,"id":"Q1565128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$8750014F-FBF4-4204-8E98-54E8B6B4375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f570a26a86f2bced5d4e19c2deb4dfc07202c43","datavalue":{"value":{"entity-type":"item","numeric-id":3830972,"id":"Q3830972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$5F8969A5-D753-489F-8B67-B4374BD308A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$08F39787-1A1D-446F-ABDB-1D8F4D13E809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$BE770567-FDC9-4151-BD53-AFAD671CB486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1588aeaade9f12629a37ef6579fc4a2867c3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1214886,"id":"Q1214886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$5947EE19-BE3E-4CFD-A86A-170F39579158","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":"Q4032664$9205AEF1-E360-4D2E-B638-87A45D9188E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032664$8A27AA95-FD46-4773-A86A-FA116DBCE8AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf2ef07dca3fc74019619692eb83bc0b769fc4c","datavalue":{"value":{"entity-type":"item","numeric-id":1580654,"id":"Q1580654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a871337b7e5eb23313b1efbeb40ff126eb09ad","datavalue":{"value":{"amount":"+0.7383952140808105","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":"Q4032664$689C8163-2C25-411B-8A50-8CA6FE8EF2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5979a47e54f8f808ab2174d37970df0ec33e1af","datavalue":{"value":{"amount":"+0.7323295474052429","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":"Q4032664$64719568-1A30-4467-9F9C-E8484088190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b636c5810721a37e0d844ecb194b01f7ee9f2bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4474828,"id":"Q4474828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbe36a8f017e9191e7194be733aab6f794f57e9","datavalue":{"value":{"amount":"+0.7301941514015198","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":"Q4032664$08320F62-D3C2-4338-B18C-7BE42827E739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3773a705de993184379d2a09e48219f6b461074b","datavalue":{"value":{"amount":"+0.7301236391067505","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":"Q4032664$577F1D6C-6935-49BF-904C-0740DD31664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b99cdc2c9c8553219427556afa682b44319820d","datavalue":{"value":{"entity-type":"item","numeric-id":3305423,"id":"Q3305423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbd107404005c8239300feab64cb1c5f470afcf","datavalue":{"value":{"amount":"+0.7233709692955017","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":"Q4032664$3718A504-C1C3-453A-ADEF-739B4C665367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032664"}}}}}