{"entities":{"Q1194112":{"pageid":1204861,"ns":120,"title":"Item:Q1194112","lastrevid":69862131,"modified":"2026-04-13T10:50:29Z","type":"item","id":"Q1194112","labels":{"en":{"language":"en","value":"Lambek calculus with restricted contraction and expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63837"}},"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":"Q1194112$53234559-DFB3-42F1-ADC8-AA124E0ED2B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23983c8ee3c36102a7d0c8a9d69fe88a66665ce9","datavalue":{"value":{"text":"Lambek calculus with restricted contraction and expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194112$09E9C675-5E63-4606-AD43-679F554223C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebe5fe22605f69a09e002b6bc5c3e4e3bd1f22bb","datavalue":{"value":"0757.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194112$96B2704B-866C-4FE4-9D41-BBCD0F515754","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"197bfeac72b8182df7cb44b7f7a5be8efbb2d4e2","datavalue":{"value":"10.1007/BF00370335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194112$70DAC381-E544-4AF5-A3CC-D809F4E88378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a2fdf30fd0859fdd73fd10608e915ae2ad1854","datavalue":{"value":{"entity-type":"item","numeric-id":1194111,"id":"Q1194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$F6F1CA60-936D-40C4-BE1F-8778444302D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$01828A05-EC6A-4093-AD3F-9D3568D5E238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194112$ABA5B733-BC34-49ED-AB6D-B15FAD603016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194112$E27AA239-ECC7-468B-AEF2-4E6F9E2519E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194112$4F89A3F2-AD80-42E3-A984-A7599A047D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aec5556b0f1931fc02f24e92537ff04b4fbcb30","datavalue":{"value":"63837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194112$A3479C5B-49FB-4A92-9409-7059FA4A9047","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f374134eef37fdedd3814814df78f4de2f4b64","datavalue":{"value":"strengthenings of the non-directional product-free Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194112$BF2A5732-D14E-4BC4-91E5-43B62D264BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af96af9b7449bc01decf6bb49e7fc3ecad007f2f","datavalue":{"value":"additional structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194112$49FB0609-080D-4BA3-B712-3582AB119E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d62b136f56f9ba794d23c85375d2bdd81d3bc0","datavalue":{"value":"sequent-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194112$85DB06A6-6839-441E-B69A-9BE4D4450033","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":"Q1194112$875C771D-7668-47D4-AAC9-F2B10B775B33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$332FCAA3-F66B-4ADE-B345-C2169A3F6DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4e260e4c35c233048ae03676e24cb5f3145472","datavalue":{"value":{"entity-type":"item","numeric-id":3470458,"id":"Q3470458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$AFCFB6C6-0CB1-43A5-B9FE-D8FAC8757181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$0A1E05D6-D916-4DF0-8466-AB5FCFCCD3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$789864A9-B8F3-40F0-8A13-1DDF1EC53826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$4F1DB7FB-2C7E-4607-81F9-667A85DD5427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e894cf50d98f6d23776708d1d4498cd17fde0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4077980,"id":"Q4077980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194112$ACEC944B-B33E-4C18-8B9C-59787BE2EBCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55532ea0463cfa624499b5da24d8ae34d031107d","datavalue":{"value":"https://doi.org/10.1007/bf00370335","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194112$979199F6-F311-43F6-9C70-C789813EDB19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7a456f951f6e10b48e54cc032f4156cb1be8f02","datavalue":{"value":"W2010899486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194112$11B9E587-A6C7-455A-A740-8B28C7A59594","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":"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":"Q1194112$CDD0D0AF-3C33-4053-868C-7EB1687023DB","rank":"normal"},{"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":"74bf3314db5cb1ccd1342a1f4a8f762f351799a3","datavalue":{"value":{"amount":"+0.8021713495254517","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":"Q1194112$72377578-CA8B-49D1-AAF9-CC0A2166E231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422263aa66d81aa1256b236807d6c4a66b4f78","datavalue":{"value":{"entity-type":"item","numeric-id":3577908,"id":"Q3577908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43c75f24bc6a16aa8e26c34cddc386385523c02","datavalue":{"value":{"amount":"+0.8013661503791809","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":"Q1194112$977299C6-F48E-4FE7-AF4F-1F3BD1432665","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":"9733f0493af1eef97182884d21d7f631b6a4127a","datavalue":{"value":{"amount":"+0.7986016869544983","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":"Q1194112$B2E20ABE-8FA2-4588-9C29-8ABD35217B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3feb2d7767cadabafe75b0c04b8ed9452a5643d","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec511ae912b17af81a33ba9f361266e916ddff2","datavalue":{"value":{"amount":"+0.7973179817199707","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":"Q1194112$63AA138F-2D74-478C-84B1-51857A2B11A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambek calculus with restricted contraction and expansion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambek_calculus_with_restricted_contraction_and_expansion"}}}}}