{"entities":{"Q5108024":{"pageid":7137600,"ns":120,"title":"Item:Q5108024","lastrevid":100257482,"modified":"2026-06-05T21:42:43Z","type":"item","id":"Q5108024","labels":{"en":{"language":"en","value":"Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7194699"}},"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":"Q5108024$10D10700-D61D-4DE3-A7DC-EB5914DB9440","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af88cc2c3fa2f52179d612c23cf85c4b79fdcb2c","datavalue":{"value":{"text":"Reconciling Lambek\u2019s restriction, cut-elimination and substitution in the presence of exponential modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108024$62061B53-0EBD-4540-9F43-A098F5D874E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce2e4d67bcb4c2c2fdc795276eac481d2c3c6d16","datavalue":{"value":{"time":"+2020-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108024$3E8CC6AD-9FCB-4EA0-B549-E1C844E0D1C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d0778f9de6704a698c181eaa2832981cff7dfbc","datavalue":{"value":"https://arxiv.org/abs/1608.02254","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108024$16CB9AAA-EE28-459A-A841-0E378FCF5768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108024$CC30F5ED-2EF5-45CF-A581-1A53E05B00F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7953fda15dfa2a4900addc13b355d4e10aff85e1","datavalue":{"value":"7194699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108024$BC4FC9FF-60FF-4AD8-B4F3-B617E8452016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$4D2B9581-DB9E-42B2-B82F-5500FE7A9775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$EB768419-6125-4A50-9D6B-512C3DF8C550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb3f0a9fba78fd21aaaa3434b3f6af5793bfaa5","datavalue":{"value":"exponential modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$A04D9466-4036-4F29-A0A0-072F12648B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf67210d986acd5cab5ea3d8aedd7c5fff2f800","datavalue":{"value":"Lambek's restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$AFAFEEF1-6BFF-4B02-BBA0-AEFABF5B6576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$7FC23291-FC0B-44E3-932E-ED7262DF8D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$971560C9-580A-4EA6-848D-F0508363B98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108024$09AA8781-DAA1-4310-95B2-88EF41A7AA85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108024$5221A2CC-91BA-4897-AE0B-F5D2106A2C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108024$0A7FE20E-6A77-4182-A753-1DD73A711769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108024$478D5D3B-E8E4-4667-9B16-7489CE29CAC0","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":"Q5108024$916614A4-E2C6-46D2-9CF2-2E7D91FA81B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"601650eabc29a7fe97c3206be489373f4013f5b9","datavalue":{"value":"Q115538314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108024$B10BBE43-6177-4320-B038-774DB9088787","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf218dc911cfc06369c42f9085016c177feba295","datavalue":{"value":"W3009004147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108024$B38DE34E-646C-4C1B-9FC3-E8D107FDFFC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21b5d69b4725fa73c8250bf600236b56313c4d49","datavalue":{"value":"10.1093/LOGCOM/EXAA010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108024$DD450178-A706-439F-A2F7-F872CFA61C0B","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":"Q5108024$4B1BF6E8-8A4D-4FED-AB6D-09AFDE9102EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a35544205ce0f74d0f34df33b212fca9f87ca47","datavalue":{"value":{"entity-type":"item","numeric-id":5283424,"id":"Q5283424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e7c0368c8aa6b64c2dcc430aecc16afe5831cf","datavalue":{"value":{"amount":"+0.9476871490478516","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":"Q5108024$5AC792EA-2D86-49FF-AB72-10E88B5D130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a758872128adacafdbc862a430968ca336b455a0","datavalue":{"value":{"entity-type":"item","numeric-id":6160496,"id":"Q6160496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f2c7bc3910b5a95611d64acf65903d70a1c02a","datavalue":{"value":{"amount":"+0.8553450107574463","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":"Q5108024$FAE70DE8-5843-421D-AFFA-5A77F26E1547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66189e9c5a826bb534c7ce1c7523221755542e9","datavalue":{"value":{"entity-type":"item","numeric-id":2835058,"id":"Q2835058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568e6977b4fbf7d83dc18fe3795a167f535f5558","datavalue":{"value":{"amount":"+0.8501487374305725","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":"Q5108024$65E58427-1B2E-41C9-8F0E-A193C4EDD56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec79e83f38d10c66015489f26b30566f7d69d4d","datavalue":{"value":{"entity-type":"item","numeric-id":1679987,"id":"Q1679987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544dfd88626daeac89f74f3ab796cf322fbc394d","datavalue":{"value":{"amount":"+0.835404098033905","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":"Q5108024$289CDE3D-6FB4-427F-8D19-6F9399CD0BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51bd0122c95ffcf913dd237ce4b076c72091900","datavalue":{"value":{"entity-type":"item","numeric-id":4866992,"id":"Q4866992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6fd8a9df46d235b80d9db34d4d76cb8edcc2c16","datavalue":{"value":{"amount":"+0.8081746101379395","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":"Q5108024$67F45C9F-0DC0-4C06-9FCC-020D87862CB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities","badges":[]}}}}}