{"entities":{"Q1850952":{"pageid":1861694,"ns":120,"title":"Item:Q1850952","lastrevid":70993953,"modified":"2026-04-13T18:46:04Z","type":"item","id":"Q1850952","labels":{"en":{"language":"en","value":"Classical non-associative Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845368"}},"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":"Q1850952$15271028-7C22-492E-A788-FBEE944414AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9469534df52fda23a0c226bdcdc672af5263c932","datavalue":{"value":{"text":"Classical non-associative Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850952$0E57EBAA-3D92-46B1-B8AE-1C4A0734F33F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d90196dfbae804ca79ad823bec6e79f9c141c97c","datavalue":{"value":"1032.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850952$0A177FD0-D013-4F2C-9ED0-3E3A2CB676F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860f2a8906b743e7317cc290aaa69cd01a28906d","datavalue":{"value":"10.1023/A:1020520915016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850952$D2C60532-2733-40E1-8A20-DBF7DFFDCEC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c815c41e465f4878bd238b300cc994da6be7937","datavalue":{"value":{"entity-type":"item","numeric-id":831146,"id":"Q831146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850952$56D4E17D-D619-4D8F-8470-50317FA78F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6c1c3409e6d83bd78c8052a50125837ef1c940","datavalue":{"value":{"entity-type":"item","numeric-id":280834,"id":"Q280834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850952$F2DDA721-E1BA-4C1A-B685-6F6BC6C353CB","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":"Q1850952$61E4B77A-564A-471C-9393-08408A34ABFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850952$6EF3A210-4643-43E0-932A-073D14E0935A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8de753277991eebe4f52844f1e36254da0d4dd1b","datavalue":{"value":"The aim of the paper is to present CNL, a classical version of the nonassociative Lambek calculus NL. CNL is presented as a sequent calculus, along with its associated theory of proof-nets. This theory includes a correctness criterion, which is defined on the cut-free proof-structure. It is proved that CNL is decidable in polynomial time. It is also shown that CNL can be treated as a conservative extension of NL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850952$239EFD5F-D597-4BE1-A0C3-B6AE622B4050","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a8ae310966d8907b73b3b6c369333d41663bd73","datavalue":{"value":{"entity-type":"item","numeric-id":592502,"id":"Q592502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850952$E11D6E60-3973-4F67-912F-B9D01D9BB040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850952$41ADB961-BA9C-4E07-992B-85632EF0CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850952$A77B8576-8773-4E01-B19F-0B7F0C534EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850952$EC6907C1-A754-4E5D-90DE-795A8065601C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4b303b2dc1cc137fbcc4979156cd6bf987ccbf5","datavalue":{"value":"1845368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850952$1BF34CB3-B9AF-4060-A904-80E3D083E6AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2e975f80f7fb404b4374ef26e8dd67136ce379","datavalue":{"value":"non-associative Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850952$3B6CC393-75ED-4B58-A1D7-A6AD5ED8BC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850952$399E51A9-1555-44EB-9C40-BA12877044E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850952$E8FC045C-063F-4E36-9BC1-A723165B3D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850952$DAA288C8-AABC-4FD0-B172-A55D40A31B4C","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":"Q1850952$68FCCB4E-94D2-4731-BAD3-8A3CCB27E69D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff347230f343bb1e918392d882c83b0aea3f05aa","datavalue":{"value":{"entity-type":"item","numeric-id":2963995,"id":"Q2963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee279f89eb2d18967343a11b8b283b5f795935fe","datavalue":{"value":{"amount":"+0.952979564666748","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":"Q1850952$709A7196-92AC-4815-B009-C2AD93AE6460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f1d92f9e547fb1ed97d939d7c67c0aaa9532fd","datavalue":{"value":{"entity-type":"item","numeric-id":2118967,"id":"Q2118967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6c7882bc355312d4bd9f46ebd3d8e68320d692","datavalue":{"value":{"amount":"+0.8519754409790039","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":"Q1850952$EAAACB2C-83E8-442C-971E-AD27E8EB5176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bfa494637aa4729afb89610850cf8b75def97e","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c174e9c1d75aa6f9ee813e0d5c3488d04880e514","datavalue":{"value":{"amount":"+0.8494925498962402","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":"Q1850952$FFD3E91D-0DD9-43F1-A705-1C8B26E35AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e43d0efac3737ae734aadee2758433e086ebdd1","datavalue":{"value":{"entity-type":"item","numeric-id":2425321,"id":"Q2425321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eed07db8d0584d4df02ae36facdef45534d90b6","datavalue":{"value":{"amount":"+0.8363880515098572","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":"Q1850952$8606DA89-67AA-46CE-9F8D-99161CA06DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99139888c20ecbf4766c579c46fe4577e1cc26fb","datavalue":{"value":{"entity-type":"item","numeric-id":1035836,"id":"Q1035836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1805c0c0667c7cacfffa749bd3848d24ae321ea","datavalue":{"value":{"amount":"+0.835125207901001","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":"Q1850952$65A53A4A-E545-460A-BB96-9E608E933110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical non-associative Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_non-associative_Lambek_calculus"}}}}}