{"entities":{"Q1825185":{"pageid":1835927,"ns":120,"title":"Item:Q1825185","lastrevid":73878384,"modified":"2026-04-14T17:35:49Z","type":"item","id":"Q1825185","labels":{"en":{"language":"en","value":"A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120152"}},"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":"Q1825185$3D653E75-9769-4257-83B3-1638E87676B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2c52e823bf4522d39a031a9735908bddc2ae0bd","datavalue":{"value":{"text":"A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825185$A7B1B534-247E-4F30-A427-882EC175CC31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2de00ad12cc41cd70843c62c11f99f0fcd734722","datavalue":{"value":"0684.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825185$4683701C-29F4-453D-8D14-B449CEEE2D83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a961d9751cd9e4a7f8c447c3ec6075d20817114","datavalue":{"value":"10.1007/BF00370632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825185$289ACF62-FC6F-4D6B-9E81-1E64752B8045","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":"Q1825185$C05F7824-2253-4D0A-ACBE-8A59D2E7F2EB","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":"Q1825185$7426C75F-3518-4550-BEFA-3008B61BB47A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1825185$B630A723-A3F5-4CB3-962B-F308200842A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1dcd93729b8d99cc6a11b0cdb71bf16465cb07fc","datavalue":{"value":"Results of earlier papers on the same subject by the author [Z. Math. Logik Grundlagen Math. 27, 215-224 (1981; Zbl 0467.03020)] and \\textit{M. Kandulski} [``The non-associative Lambek calculus, In: Categorial grammar, 141-151 (Benjamins, Amsterdam, 1988)] are generalized with extreme simplification of the non-finite-axiomatizability proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825185$A60C48C2-4D11-42C3-8E70-CC3A48574086","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825185$32514D76-5CC1-41BE-A527-9635F90C726D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d65f9c482f1ab05bbf9d760c2534df3dea49c14","datavalue":{"value":"4120152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825185$F7519B10-78EA-4A1F-B6A7-3EAC27299CFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a1afebe4273aed5e233da25b6656cd467970b8","datavalue":{"value":"syntactic type calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825185$186724CA-A34E-4034-B90D-48D301B7F6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825185$DCF9D05D-9B19-48EF-8708-7AFA125AB332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5844c4fd8c1442a559b80b5443954d0dea143bba","datavalue":{"value":"Lambek calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825185$C267F58A-96A4-45BE-A7B4-466593CE342E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825185$6E3DDB29-A7D1-4DDE-8C6B-93A8498AD64F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"120593207a84ab2e34c27bd7d3f4ebd1f29a3ef2","datavalue":{"value":{"entity-type":"item","numeric-id":259587,"id":"Q259587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825185$9C1B5CAB-19AE-4B12-8A57-16374C58D7DE","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":"Q1825185$873C82F5-D42C-4272-8F10-FFAB0E4298E3","rank":"normal"}],"P223":[{"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":"Q1825185$85B13D9A-DE9C-4857-86B7-F41F82FB2064","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":"Q1825185$652F4FAB-8D97-4A14-9A38-E4BD9FD497C6","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":"Q1825185$622F72D7-F267-4195-8364-80775E1AD28F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ab7350afccd149dfe6eeedfbcc86c64aae0db3b","datavalue":{"value":"https://doi.org/10.1007/bf00370632","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825185$59C0A8F8-8193-42BC-B6EC-03BB1DED3DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bd0c84b8a433ddb511664cdb4ba1414b408fd9a","datavalue":{"value":"W2086902772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825185$567FD50F-25FB-4D7C-9BA5-E780185474B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18ef98c5a4a1c87ebb3962e6710ece34635719","datavalue":{"value":{"entity-type":"item","numeric-id":4761669,"id":"Q4761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46027b69c1a56a4038d3e72b0839e72f11a65aad","datavalue":{"value":{"amount":"+0.8006284236907959","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":"Q1825185$899A2B49-46F7-4CDA-9523-61A0E93340A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c76793fba61a9fafab10ac23315aad68bd1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b8cef2e3d5194f073bd0eb02246c5effd207e2","datavalue":{"value":{"amount":"+0.7956885099411011","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":"Q1825185$55982BA6-3B8F-42BD-9AB2-8815CE6F069D","rank":"normal"},{"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":"7887a0bf830538158317f6b622b0df5347805e22","datavalue":{"value":{"amount":"+0.7911465764045715","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":"Q1825185$6CB916A0-3577-45EB-97B3-77AE2B9004CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459a5922378febad32c9441b36425d894473e680","datavalue":{"value":{"entity-type":"item","numeric-id":813074,"id":"Q813074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3211401f9e97f4e458386a6a28fba8aecb42e5ca","datavalue":{"value":{"amount":"+0.7881484627723694","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":"Q1825185$7549DCD8-D3D2-4ED1-B650-B1B6A2F0FBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116bbfc36455a29f4e6449622f9132d7f420994e","datavalue":{"value":{"entity-type":"item","numeric-id":4014404,"id":"Q4014404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2483918700f6445a8edec29b4d6659cbbabe67c5","datavalue":{"value":{"amount":"+0.7869358062744141","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":"Q1825185$00B25069-6832-4DF6-9F87-489FC99E6F8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi","badges":[]}}}}}