{"entities":{"Q1679987":{"pageid":1690728,"ns":120,"title":"Item:Q1679987","lastrevid":73121742,"modified":"2026-04-14T14:37:48Z","type":"item","id":"Q1679987","labels":{"en":{"language":"en","value":"Undecidability of the Lambek calculus with subexponential and bracket modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810964"}},"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":"Q1679987$CCEEC8C6-9E15-459B-B2B4-789C885D896F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54eca89d4fb9bce22042373c706fcb7c45b293d","datavalue":{"value":{"text":"Undecidability of the Lambek calculus with subexponential and bracket modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679987$0D257A69-519D-4BED-BFB8-8AB23458D0CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3006b9bfb8da7b6e9edb9d578e5d9697b6cf991","datavalue":{"value":"1495.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$9323C16B-045E-4D4A-A7D9-B1A978D99033","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9394dbabb59ab0d6aef5d74b7aab4160950970fa","datavalue":{"value":"10.1007/978-3-662-55751-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$C424FDC8-59CA-4F1D-980C-7A8967B69E8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679987$7A435AD9-C8FD-44F3-99FA-3C654B4FB557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679987$08ACCC96-7823-4416-A201-43530B99D7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679987$3ECCF693-0857-4D38-BF42-C48077CCD91C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679987$5209B99A-2DB7-4093-B142-3006D720CF9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6379e89dfd94c5504a604eab38090012906a08c5","datavalue":{"value":"https://arxiv.org/abs/1608.04020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679987$54A39E86-A8DC-430F-B9EF-02319A422400","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$22CF4FB0-7DE7-41A7-837F-F2AE95D8384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$3689AF3C-E80E-4B17-A3FC-9EB37132ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$2658D074-6EF0-4878-AD86-6A47AD31108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$B2002801-9E64-4EB2-BACA-3D6F6F33F90F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49f37daf90bee9e6bd68f89ef86b6e3cc7b877b1","datavalue":{"value":"6810964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$A5915DD8-D144-45D6-AAA3-62BB0FBDE047","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":"Q1679987$4AA1A04E-DB68-46AF-A056-38861F2C7961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89226ceeb9ac11844cb8725b7485301b6ee424b7","datavalue":{"value":"W2962744611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679987$AD29E689-5120-4B2B-AB22-7D63C6D31AD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66189e9c5a826bb534c7ce1c7523221755542e9","datavalue":{"value":{"entity-type":"item","numeric-id":2835058,"id":"Q2835058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd17d09433871da2a51d07aea7ba81a1d4e0dee7","datavalue":{"value":{"amount":"+0.8809758424758911","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":"Q1679987$1D795664-7A00-47D4-B447-AA3D55FB455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac790f857b1080bc0734bd5f3fe2b9b620b209a","datavalue":{"value":{"entity-type":"item","numeric-id":2066100,"id":"Q2066100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbe05310376908753669dd1b96eacf9884e30ef","datavalue":{"value":{"amount":"+0.8434271216392517","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":"Q1679987$A3507A93-BBD5-4E4D-AC43-CFA80E9E85B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a35544205ce0f74d0f34df33b212fca9f87ca47","datavalue":{"value":{"entity-type":"item","numeric-id":5283424,"id":"Q5283424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe704f07c3261216b9cad065367bed68a1b7d884","datavalue":{"value":{"amount":"+0.8426381945610046","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":"Q1679987$9E6566E9-562A-4707-BA4E-323DE74363A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32bf92be4dff4ab09f5ba3601c34737cd967e34","datavalue":{"value":{"entity-type":"item","numeric-id":5108024,"id":"Q5108024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544dfd88626daeac89f74f3ab796cf322fbc394d","datavalue":{"value":{"amount":"+0.835404098033905","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":"Q1679987$7064CE81-5B88-4AAD-9701-FA0656028136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1352773e3f44c308c1017d2f9c51bdb012179f49","datavalue":{"value":{"entity-type":"item","numeric-id":2035845,"id":"Q2035845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb2dc677005d2ac8e2ae22b4735b79f5a229fa8","datavalue":{"value":{"amount":"+0.8209491968154907","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":"Q1679987$AA6BCF16-AFC0-4F3B-ACB0-06D928C30316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the Lambek calculus with subexponential and bracket modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_the_Lambek_calculus_with_subexponential_and_bracket_modalities"}}}}}