{"entities":{"Q2277257":{"pageid":2288000,"ns":120,"title":"Item:Q2277257","lastrevid":49483321,"modified":"2026-01-07T06:09:08Z","type":"item","id":"Q2277257","labels":{"en":{"language":"en","value":"Linear axiomatics of commutative product-free Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195934"}},"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":"Q2277257$03AA1ADC-C851-4F48-AF10-52753604AE8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0bc7cccf46a39d6213ecc977304283b119a4859","datavalue":{"value":{"text":"Linear axiomatics of commutative product-free Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277257$D0D6CD95-48C5-4D1B-B6FB-A9A5B0FF868C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d3d4aad252bdb561350ef7e068cb08c6a0b2524","datavalue":{"value":"0725.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277257$F9E8D645-AB8F-48E0-A43F-294F0F1C7D84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68bc4024558aed0a47d17d88fbb6225326bf1ec4","datavalue":{"value":"10.1007/BF00370162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277257$F3C15250-6FE4-47D4-BB8B-7DF49707DB1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"371051b807333e6b3e21f623f1262fb01adc833a","datavalue":{"value":{"entity-type":"item","numeric-id":209452,"id":"Q209452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277257$08D4D59A-5684-411D-9F41-499A1C572657","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":"Q2277257$C62E0D79-C013-410C-BA28-0373F45D956D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277257$E611E838-667A-422B-A099-96A327C1FC38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"26c94b447da80765fc579812f597d2a22f90f88b","datavalue":{"value":"The author deals with the linear axiomatization problem [see \\textit{W. Buszkowski}, The logic of types, in: \\textit{J. Srzednicki} (ed.), Initiatives in logic (M. Nijhoff, Amsterdam 1987)] for the commutative product-free Lambek calculus [see \\textit{J. Lambek}, Am. Math. Mon. 65, 154-170 (1958; Zbl 0080.007)]. Two variants of the calculus have been considered: \\(CL_ 0\\) and CL, which does and does not admit the empty string, respectively. It is shown that CL is not finitely linearly axiomatizable. The paper is written very clearly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277257$5F81FB10-6B35-4A44-9335-A1909C55B885","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277257$4CD6A290-66FF-4D9A-BE83-54B3D3ED4FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277257$C0C89A13-1C8C-4F34-B53C-2A310B070659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7feb56b82f68afb44df43dabfa74f31058e2d82f","datavalue":{"value":"4195934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277257$13225BD6-D81D-459B-9E0C-6F9B171210E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ba9d4af9d54c5dc28e87aee7e2193ad6b77efa","datavalue":{"value":"linear axiomatization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277257$367DD5BB-6109-45FE-A89B-F78CA4033538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0241b4ed96f21f9ab86023615d0c81c9597bca02","datavalue":{"value":"commutative product-free Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277257$815B200F-C8B3-46B8-B66A-76D1DBC370F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277257$4419755E-844A-43AF-81E2-0D51477CB05E","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":"Q2277257$8272AB64-2532-43A4-BF41-A184A66E1FA2","rank":"normal"}],"P223":[{"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":"Q2277257$10F2F010-9520-48BC-8F44-C97074E269D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffb4f11af47bde4ec936a8884e7d645e9d23f45","datavalue":{"value":{"entity-type":"item","numeric-id":3787984,"id":"Q3787984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277257$A024FDAE-3179-4FF0-B1CC-A619B5D68358","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":"Q2277257$F86421A2-5443-441F-AF4E-2DD3CFCF39D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3431a8171f3028aa45a6d870ec5ceb9f057a1b18","datavalue":{"value":{"entity-type":"item","numeric-id":3035262,"id":"Q3035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277257$9386ECD5-C01A-4E28-91DC-EEFDBB934CA0","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":"Q2277257$AE3146B0-BA18-476A-9AD4-77A9EAB98709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7699ded2bb750f38e9d4f5b9952fec74e72d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3919680,"id":"Q3919680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277257$9923A1CE-5D70-48EA-B9E8-23C348399631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f0290397befcd43424ad6f0ab3707a7c0c49fe","datavalue":{"value":{"entity-type":"item","numeric-id":3030800,"id":"Q3030800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277257$4A691F1B-FF93-4E6C-A96D-FB7406EDF345","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8965fef4ddae10eff9ee02ed53144fa76e8125b","datavalue":{"value":{"entity-type":"item","numeric-id":3030800,"id":"Q3030800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9a45c6e67337c77bd46254cfc4abe45a7bcc3d","datavalue":{"value":{"amount":"+0.8450345993041992","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":"Q2277257$C4489897-6467-438C-9754-23545C113685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c384ba8328795ea091eca166675f8c940e9d78","datavalue":{"value":{"entity-type":"item","numeric-id":5946341,"id":"Q5946341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d832cee427ea456c0e109a621b4f31f40dda8694","datavalue":{"value":{"amount":"+0.7980474233627319","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":"Q2277257$4378F725-6DBB-422E-8E25-92B43D7A4AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fa931c1b05414aaafe5ab2a813a2264e3843dd","datavalue":{"value":{"entity-type":"item","numeric-id":1582323,"id":"Q1582323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ddbbf4fed2ade85acc549457391f48d934da3e5","datavalue":{"value":{"amount":"+0.7976337671279907","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":"Q2277257$5083C37C-74E1-466B-81CA-C0D068CA91D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af330c46f32215efc2eae1dab6bd3bf68579ce82","datavalue":{"value":{"entity-type":"item","numeric-id":1611249,"id":"Q1611249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea7a4de20a46760bbe74fe1a1d80124582061af","datavalue":{"value":{"amount":"+0.7948400974273682","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":"Q2277257$B0848C15-CB58-4813-9389-D6B3F07ED4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0ced920ec4a2afa36c9fc4232cf06304fa63dc","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e45ef25d7d312ac913f375210573ec489129244","datavalue":{"value":{"amount":"+0.7942417860031128","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":"Q2277257$FADF67E2-C8A7-40AA-89A4-BA8341972925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277257"}}}}}