{"entities":{"Q4923557":{"pageid":6953139,"ns":120,"title":"Item:Q4923557","lastrevid":51721781,"modified":"2026-01-19T16:38:13Z","type":"item","id":"Q4923557","labels":{"en":{"language":"en","value":"The emptiness of intersection problem for languages of \\(k\\)-valued categorial grammars (classical and Lambek) is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165924"}},"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":"Q4923557$8B0EDA0E-3BBC-4D79-A76D-0272BB1A9A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba72b946c1f113eb8c42ac5c3b5239a18e7b00a4","datavalue":{"value":{"text":"The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923557$44F6A042-E6DB-4EBA-B603-418E779ADDA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"943e6f7af4cd0ca6d1d97ae815a5e3a071defe1c","datavalue":{"value":"1263.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$88EEEAF9-6706-4ADF-B545-279C21E9B8CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d12756bf280f371a7e7d5981f423b3394abdae","datavalue":{"value":"10.1016/S1571-0661(05)82576-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$F730EEF8-283D-4144-B8F2-DA7836526712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"036f2dc8825ec801bd484ab13458145bd5b8e1b4","datavalue":{"value":{"entity-type":"item","numeric-id":442140,"id":"Q442140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$C5BE8EA8-8648-482A-8CC3-ECD01F3DC22A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$2223182D-0DD9-4AF7-A7FB-2D4BEDACCCC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923557$396B8AF8-8E22-4B7F-9B28-E307ACA6B62A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$5CAE5A97-4996-4C89-9256-BF196511F126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$27C5B009-17C2-494A-82D8-5B99A2CD032E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$F288F62E-5288-45A9-87D6-BDB3C2ED2A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$864CEDB7-8CC3-4FC0-BFC7-1DB818F36106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c8e6e9f285bf126bba1640cee068fdf103bb69b","datavalue":{"value":"6165924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923557$4EB19F0A-AB07-4E98-A1A6-28924C24DD45","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":"Q4923557$9D1B1722-F426-49FD-AAB7-899306DB6273","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"660350abd029fe02a0649413dceac4b42f1f6946","datavalue":{"value":{"entity-type":"item","numeric-id":5536273,"id":"Q5536273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$7E8FDE44-1765-4752-81B9-85F8C45EBFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$BDFF4048-E514-426A-B327-249C96B8E680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$DDBA9C5A-995D-4F03-966C-830EC42CED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956d898af512173ad3e3bf780fca11528bac3879","datavalue":{"value":{"entity-type":"item","numeric-id":1768792,"id":"Q1768792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$25F596BC-19B5-4A26-9E28-4080560F7AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6406c7a1d697089c353eaf33ddd0187c239edce6","datavalue":{"value":{"entity-type":"item","numeric-id":4223176,"id":"Q4223176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$146135AD-B76C-43A9-8050-BD20A1E88975","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":"Q4923557$936A2BD0-D768-4859-918A-A4B6EE904C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f28db7f96068e5ce3938c306e6d15e9aefa614","datavalue":{"value":{"entity-type":"item","numeric-id":3915990,"id":"Q3915990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$4D30C632-F985-4C4D-846B-65947ADD043D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a67d0e61838aa36d3a1f24aa1ad220953e70947","datavalue":{"value":{"entity-type":"item","numeric-id":1923840,"id":"Q1923840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$53A53A4D-E9D9-48A1-B486-D3C084A25191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4572e78885d1d761d3921cf459ccf6211831645","datavalue":{"value":{"entity-type":"item","numeric-id":4358060,"id":"Q4358060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$BFBB24CD-367A-48C5-9040-B9D76320B3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923557$49E6D06D-4DAF-4E76-88DA-1EA789CB009A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e86f2b62d5bb2cad246b291923b6501b00671d","datavalue":{"value":{"entity-type":"item","numeric-id":596298,"id":"Q596298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5c093cd932fcd34e3c33fa5c5cb3f9329da9b1","datavalue":{"value":{"amount":"+0.7468677759170532","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":"Q4923557$DAD9C844-44E8-474A-95C5-6ADED3DA4368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16458e62228e40de835d22b78c2bab79d7b9abc5","datavalue":{"value":{"entity-type":"item","numeric-id":5706925,"id":"Q5706925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51c7a4e6eeadf649ba3974486dc5abae4da7cd6","datavalue":{"value":{"amount":"+0.7462694644927979","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":"Q4923557$1B903173-9565-447D-B109-90E25F03FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da59f1c5d5640533cbc56fd06446db896e6d26e","datavalue":{"value":{"entity-type":"item","numeric-id":4440390,"id":"Q4440390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d70d3a8eff2b43b5f5b483f4978e6bc6e3cc3d","datavalue":{"value":{"amount":"+0.7417460680007935","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":"Q4923557$5F303FA4-BFDB-4D51-8CFD-36EBCF5BEE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740ffc78cb2166f4c073bc39daabd690442ac0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2820784,"id":"Q2820784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415a90789b760f1d34f2338dc95f990918095c64","datavalue":{"value":{"amount":"+0.7409867644309998","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":"Q4923557$32C3F810-E0FD-4776-BAFD-E9E9FB5DB78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6aefaea029edf474285f144aa615183eceb953","datavalue":{"value":{"entity-type":"item","numeric-id":4263490,"id":"Q4263490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2824621495878bd1295c258004b857c078d291c8","datavalue":{"value":{"amount":"+0.7324588894844055","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":"Q4923557$A299BC4B-AFB5-49AA-A191-DD13DA02256C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923557"}}}}}