{"entities":{"Q5283424":{"pageid":7312998,"ns":120,"title":"Item:Q5283424","lastrevid":52864499,"modified":"2026-01-23T16:23:41Z","type":"item","id":"Q5283424","labels":{"en":{"language":"en","value":"On Lambek's restriction in the presence of exponential modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751236"}},"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":"Q5283424$C11A671A-AAF7-4A47-9FF9-9D2A9F33C26D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55d140169e69ba6ac7f3e5311f0c47d61cbffe7a","datavalue":{"value":{"text":"On Lambek\u2019s Restriction in the Presence of Exponential Modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283424$72A6291D-FF6B-4D26-BE9B-24127BA31C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3552ee4258d68efb8ae7c4d09ea6d7c1228a7a57","datavalue":{"value":"1476.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283424$A9049F3C-3E36-456E-BF65-899981D8FFC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0e0a95a38e7cb9f86d1986936e8956adc5a5cb","datavalue":{"value":"10.1007/978-3-319-27683-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283424$6B61D0AE-E1EA-4C6D-945F-9F3ED3ED6956","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$3D51889E-2224-4196-BED0-7C2E07B59314","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283424$8AA7B942-4BB1-4BCE-8D9F-0A7B3BEDEA93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283424$AA345575-AEF4-45ED-B31E-CBDF88CFF833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283424$96624AA5-89AA-4450-8DB6-435BBED76136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"409502bf2466f11ca6b86998cf6509c928d23838","datavalue":{"value":"6751236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283424$608CD8BA-07CC-4E7F-8459-DFE10129DF01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283424$DB325F6F-B831-4C3D-9C34-7FE6863818AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283424$E5A430FA-1826-42F6-A2D7-30CFF854D23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb3f0a9fba78fd21aaaa3434b3f6af5793bfaa5","datavalue":{"value":"exponential modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283424$C470C01B-3B53-4B49-8E76-A1F8271408E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf67210d986acd5cab5ea3d8aedd7c5fff2f800","datavalue":{"value":"Lambek's restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283424$72F5EC5B-C73F-4E95-B9C9-E795F8D771A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283424$77518082-0C8F-4710-9C46-E9A1F1AE138A","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":"Q5283424$C3E96DD4-60A5-47BE-9929-87449CAB6348","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":"Q5283424$1D440D1A-0970-40A1-96A9-5D1E0D067501","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":"Q5283424$DC26A63E-1427-4797-90EF-E453485878B0","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":"Q5283424$E83E0930-45A3-4040-BF35-A17DC9A686BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1494168a7102cd3b22b950b426da2b2e364a83b4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283424$8F285596-334D-4692-B84C-B4ECA81C6556","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a29bec96c18a10759526885e491e5a123e51171c","datavalue":{"value":"W2239942373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283424$614623C3-2766-41A0-9DC6-DC0E36CA83DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424fda4e3751a18953d6f63bb36a80f5c7bc40b","datavalue":{"value":{"entity-type":"item","numeric-id":5750847,"id":"Q5750847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$79AC3E58-F9EE-4EBF-826B-DF33BC0EB0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$3F8B6C6C-FBCC-45E3-B506-1316D1BE3633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859ef89c6ac39d72628b3698933598970664fee9","datavalue":{"value":{"entity-type":"item","numeric-id":3964532,"id":"Q3964532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$1C886C3D-C2D4-4301-85C3-022A5FFDE769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3cdb608da99a747ed026b3faabe579742a536d","datavalue":{"value":{"entity-type":"item","numeric-id":4398333,"id":"Q4398333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$DB825F30-FEE6-4B4E-A6A0-E4C65C03099C","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":"Q5283424$E9E48D2E-671E-4C44-A57E-3592757E4C7C","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":"Q5283424$CFA1D8A3-A77A-4548-BC80-2FEB14C9866E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$EAD322B5-BADF-4304-9EB8-941BE23429A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c9b6f9ca3d171dbf2d02621061387dde3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$EE117198-34E7-4527-8D9D-4276C60F5B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b14c9de09c716ce973c858275c4f624e7356c38","datavalue":{"value":{"entity-type":"item","numeric-id":3541726,"id":"Q3541726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$C2A20DB9-76A8-4271-8A05-D6FEC9BC02F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$9DDBB13F-1865-4C91-B5CC-C003B38AC928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d4fbcb7c7ae3b11aa88344bfb9d1b9163ccb84","datavalue":{"value":{"entity-type":"item","numeric-id":3503645,"id":"Q3503645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$716FF2A5-8307-4BFE-AB39-D5FC245B11F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0154aba13d18066b6642c001da9e4d3b1784c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3605542,"id":"Q3605542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$AB13B8F7-FC7F-418D-84E3-E9BD0C8795C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283424$A2B05CA9-DBC6-4497-85A0-E9877B2561ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32bf92be4dff4ab09f5ba3601c34737cd967e34","datavalue":{"value":{"entity-type":"item","numeric-id":5108024,"id":"Q5108024"},"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":"Q5283424$A64CFCC3-6D28-4CE5-8673-7398EFD769AC","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":"c09ed82d8d18c83a406c2e28746a8179e61e1f99","datavalue":{"value":{"amount":"+0.864441990852356","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":"Q5283424$5B5BC68B-D8D3-491F-A3A1-9E990431E09F","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":"fe704f07c3261216b9cad065367bed68a1b7d884","datavalue":{"value":{"amount":"+0.8426381945610046","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":"Q5283424$25D44374-9FBF-4618-BE3D-BFD2F811CA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196c7b6c63cdaac0475c33312b0b17a7366e0d07","datavalue":{"value":{"entity-type":"item","numeric-id":1194112,"id":"Q1194112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64581fc716b73b8a7d50d10334416bc039d2817","datavalue":{"value":{"amount":"+0.8298667669296265","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":"Q5283424$215B3963-B40C-4438-9A12-975F177BD5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb50c0a66031ae753b861dd521ff92223c823a1","datavalue":{"value":{"entity-type":"item","numeric-id":5014595,"id":"Q5014595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1825a96b53c8ed81067ce43f7d0e9375b86c5b8","datavalue":{"value":{"amount":"+0.8257842659950256","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":"Q5283424$E3076A17-AA74-4518-A474-D6FEC2B1F61E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283424"}}}}}