{"entities":{"Q1015484":{"pageid":1017332,"ns":120,"title":"Item:Q1015484","lastrevid":50650943,"modified":"2026-01-14T16:49:10Z","type":"item","id":"Q1015484","labels":{"en":{"language":"en","value":"Distributive full Lambek calculus has the finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552249"}},"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":"Q1015484$E8D7074B-C96A-4DE0-BB85-936B10C69A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfa593b6a685f8d865c7f653012b97ddb68d65e1","datavalue":{"value":{"text":"Distributive full Lambek calculus has the finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015484$7CAEEED9-EA59-4380-B0F9-F8E45184DFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fcfa3f7ef805c26a848db39bb691d6610084308","datavalue":{"value":"1183.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$8E597DE2-0CD5-4503-8FAB-11E743B98F97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ced0594bbc25ccbe3005458e38633f9dc7d32ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1015483,"id":"Q1015483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$50725E78-FCD7-46C6-B64B-52799542284F","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":"Q1015484$36B7F0F8-4DBC-40C9-A80B-6EDE3A332C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015484$54626008-AE50-48C2-84D6-035F82580236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$00F26F89-F10B-4CFE-9667-103DA6E99C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$B5B3B309-4396-4015-9855-45BAD5D93CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$3DAB8DF5-0017-4EEA-B440-05D3E3EC4815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2915b88add83189a085eb581b6c200a6fe2482b4","datavalue":{"value":"5552249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$BDC3FE42-32BC-49D9-BBFF-8E4D5A6ECD18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b76b88230f365a3c50d1fc2b7b82246d978f88e","datavalue":{"value":"full Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015484$051BB447-9861-4811-ACCE-57F0201FBE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015484$D54ECEFF-8ACC-4DD6-B2F7-A40DFCC8FC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015484$56A5BF0E-6A24-46A9-814B-2731BBD1FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015484$5847F026-E19C-490A-A6F0-5C0AAC13281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015484$A16080AB-B530-4C66-92C0-7E87100DC8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70acc4487c94a262d59dce688e5372fa6a0eb0a","datavalue":{"value":"nucleus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015484$A96C828C-7815-44CF-A9EB-C99214D58B24","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":"Q1015484$9463E6CF-81E5-4208-ABE0-0359DC4515C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"767dc72ce78b8c7e9ec8d4d8bd5b97aeed2d2766","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9172-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015484$5560D3A2-8099-4DA3-A9BB-75CA044C0BDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c228b5a967f7ba56aafaef11eed0a704ec2dab65","datavalue":{"value":"W2048656560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$438708BF-6EB8-4C3A-ABAB-2D263E61A13C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$09EC9FF9-6DE5-49AA-84D8-7231D90C54AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a778046fd5c2f9e537d0087918e6275474ca33ac","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$62ADE5F3-BD6A-4933-976A-427A1CC5300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f2cab5144b1a48f2af6eca8fa0fcb14e9452","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$FC678C76-E302-4B66-B41A-36B9FFBF3205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$57A9BC55-6A36-4613-B69C-008761E82EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb552d82d874f5d37464ae5768e2173b717cc8c0","datavalue":{"value":{"entity-type":"item","numeric-id":1770973,"id":"Q1770973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$9FA6927E-3BF1-4D32-AC3A-9B0D4331EE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5cbc6e4207291864084d3942a2b63091f8bab1","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$E5D9BE73-EF68-43AE-B134-EA1BC20EF06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015484$C1176FBB-99C5-4773-A7D7-4496B7A52E04","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":"Q1015484$33B803C7-FCE9-4F07-842B-F739E199BC47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9fd3378be866a314328603fa9c8a3666700ac26","datavalue":{"value":"10.1007/S11225-009-9172-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015484$FE412ADC-62CF-4029-A85A-2139D25D0739","rank":"normal"}],"P1643":[{"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":"8e0d7848cc532ec3b8eef10672c4ac55030e6daf","datavalue":{"value":{"amount":"+0.8111297488212585","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":"Q1015484$B39C4999-10B0-4C19-9B4A-892F07F33930","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":"81c70124b57ca8cfc5a9391f203297c2853f5618","datavalue":{"value":{"amount":"+0.8010588884353638","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":"Q1015484$334C21E2-F311-48DA-9E6B-6A43AF305725","rank":"normal"},{"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":"2b761fdf1f35254f303c2d949dc1278dc8d66d46","datavalue":{"value":{"amount":"+0.7931599617004395","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":"Q1015484$2B66DDEC-505D-490A-9DC1-03DCF7CDF27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac32ad72803e408040d66cff41bcc93ecdf5a99c","datavalue":{"value":{"entity-type":"item","numeric-id":3006115,"id":"Q3006115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14da3755916d6f97ca4f88b4bac1f403a28bcd6","datavalue":{"value":{"amount":"+0.7930064797401428","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":"Q1015484$DD97948B-C3CA-4013-8EDB-BE9F00AD7680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d9ad088167e8e8b573d1c4665bf637577e2a96","datavalue":{"value":{"entity-type":"item","numeric-id":1686325,"id":"Q1686325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45da1109e0b0a4ccddbec7c9832ebe0f5564bf08","datavalue":{"value":{"amount":"+0.764207661151886","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":"Q1015484$226176E7-7B74-4E44-9EA4-A50C8A7E9852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1015484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1015484"}}}}}