{"entities":{"Q813074":{"pageid":814922,"ns":120,"title":"Item:Q813074","lastrevid":64530387,"modified":"2026-04-11T20:30:39Z","type":"item","id":"Q813074","labels":{"en":{"language":"en","value":"On finite models of the Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5002523"}},"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":"Q813074$5F1D74D3-5691-4F62-A4D2-928185742F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9caa9862bdad15efe529c389365111811de22d9","datavalue":{"value":{"text":"On finite models of the Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813074$E04FA63F-43A0-44F9-BBFF-46B0EDD471A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a8ccf13bbbf680c3439ce41d57932c7cf654025","datavalue":{"value":"1092.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813074$D4BB03EF-6076-4DF5-A117-1A29405F90CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"499f01f1d00e11c49125435d849d2c26eb4f6a7c","datavalue":{"value":{"entity-type":"item","numeric-id":813073,"id":"Q813073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$9935DFB0-AFBF-479E-8482-7B7124748EC8","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":"Q813074$F111A026-F1C0-4773-82CE-BCA32CA351BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e85d50ed0268da19dacce71e99c4b69a3ef5199","datavalue":{"value":{"time":"+2006-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q813074$FD9DE6F8-3DC2-4C78-87F7-69B4E3FE3A17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17eec960642036ecdc6d48a37009836f1cb406ed","datavalue":{"value":"The main result of the paper is a proof of the finite model property for the Lambek calculus with additive conjunction. This is a modification of \\textit{W. Buszkowski}'s results for product-free fragments of the calculus [Math. Log. Q. 48, No. 1, 63--72 (2002; Zbl 0992.03029)]. In the paper under review, restricted cone frames are introduced. Next, the restriction of a canonical model by means of the restricted cone frames is described. Finally, using the models mentioned above, the main theorems concerning the finite model property for the Lambek calculus with product and some its axiomatic extensions are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q813074$2D0C981F-CC6C-46B9-B4EB-243E7B5FC111","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":"Q813074$91F27CB8-89E4-4E14-9563-71A0CEEB2B16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813074$AD84BF2A-A85C-461D-ABBB-45EA01D99291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c2eef0426a3573a76ef021301a871ed9d61d1eb","datavalue":{"value":"5002523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813074$FDEAB447-08C7-48EF-8A3A-4037B04A1263","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q813074$E51F7116-44D5-4424-9BFA-9247C6A38586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q813074$AF4E7DC9-7988-4C87-A90E-44CA4FEF9514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q813074$0C9569AB-2244-4AF0-B7A3-9C68A1F23AA5","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":"Q813074$D7D7537B-671D-4142-8948-512DDDD0FB68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fca5be4d5cb638e4eb17339286b23c414f332dd4","datavalue":{"value":"https://doi.org/10.1007/s11225-005-6776-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q813074$F3CB28F8-FAAE-4EB9-94A3-44226F1CB903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fffb705066540b57ec73c27c15114d5b692b38b","datavalue":{"value":"W2062909262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813074$045E1936-771B-4B2F-A2D8-2C9229C2576E","rank":"normal"}],"P223":[{"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":"Q813074$3988CBCC-87E7-4F30-A5C1-F5748B2BE807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794e881a21233b5e71621321195089beb55f1a52","datavalue":{"value":{"entity-type":"item","numeric-id":2563452,"id":"Q2563452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$BABCE50B-6387-4CF4-B8AD-14E857CDD7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3027e3f92dc546fe71540e36147d586524c4fe96","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$A6B3149F-4C41-4828-A8B5-35E9A060AFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd51ad54ca02f559512a4034c9b2d959e995353","datavalue":{"value":{"entity-type":"item","numeric-id":3677747,"id":"Q3677747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$9BEF1DB0-D88A-4229-BFA9-B0D561FE3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$9BCD8C09-B4F0-4B24-9FED-2B686FFA5A33","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":"Q813074$06D7A502-AC23-41B4-8BE6-9E95BFF58BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263106b37d64b84ed219b754558e417daad9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$0D15BC7D-5225-408B-B3DD-27431AEAB879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813074$C96AA3F8-5BAB-417A-AACF-A50D58CF554A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfdc140b57b390d269f49da67d0ddaed944fd9e9","datavalue":{"value":"10.1007/S11225-005-6776-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813074$E4BA5924-BBCE-4C1F-B2C3-06BF167C2450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61465d6691f2125cb4531bf938e94b6535d35345","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6457d0fdcfc4268281cf0fbc6e9e9afedee759e6","datavalue":{"value":{"amount":"+0.8299144506454468","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":"Q813074$CE0F8B66-6ED9-4778-B82C-F436B77BE1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621587773eb4f46fdf0f065777e4bb9c456465a8","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d438d49a5265b485ee4cdff7c943641366025e0","datavalue":{"value":{"amount":"+0.8298383951187134","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":"Q813074$0DE2E7D2-6AF2-49F7-BC88-C54BC9BBBE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64a0f36456347c5841dc4ca23649783b8ee74a1","datavalue":{"value":{"entity-type":"item","numeric-id":2398205,"id":"Q2398205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7509e17457bde2f2f8121cc47bbf7987cbe2fc","datavalue":{"value":{"amount":"+0.8288495540618896","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":"Q813074$91332D2C-25E5-4986-A21F-87BF96886E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc20b686005bc2ceb24fb0e1c146b05fd143838","datavalue":{"value":{"entity-type":"item","numeric-id":4981260,"id":"Q4981260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1146983be3b8c204ec9e3abd1823cc2e83eaedde","datavalue":{"value":{"amount":"+0.8213748931884766","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":"Q813074$4081D44E-8721-49E6-A4BC-33AF47F13B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2a4af89c66d52529d6d5fbb65a7704934347b4","datavalue":{"value":{"entity-type":"item","numeric-id":2904061,"id":"Q2904061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f892a21f525cee035d4c15e4e6213766ed1c24e4","datavalue":{"value":{"amount":"+0.805025577545166","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":"Q813074$5462D939-9A8E-4C56-A7AA-E6AC90F59154","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finite models of the Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finite_models_of_the_Lambek_calculus"}}}}}