{"entities":{"Q3188328":{"pageid":3199036,"ns":120,"title":"Item:Q3188328","lastrevid":86066639,"modified":"2026-06-03T13:50:33Z","type":"item","id":"Q3188328","labels":{"en":{"language":"en","value":"FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618248"}},"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":"Q3188328$E04C83F5-7125-4D98-A109-0F9931124EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88f193e52df8a782dade3bd269fcc14d1bf9670b","datavalue":{"value":{"text":"FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188328$05FEC25E-5A72-488D-BD59-BABC9AA7B3E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8902376e0de3128a23b44a78fe29046fac40d31","datavalue":{"value":"1355.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188328$F4A085C0-4100-4E9C-851C-6579AA1573CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d0e84ccf37fdb7305408634c4906ddced0fd802","datavalue":{"value":{"entity-type":"item","numeric-id":831934,"id":"Q831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$A43019BD-74DB-4730-B063-6482012944DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$EE106B74-7A96-4B3F-BE4A-93B1F2E025D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9879844046ec20ffce2e9d6f19758686f8b61ccf","datavalue":{"value":{"time":"+2016-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188328$B9F1A983-C84A-465D-B8AB-2ADFDF614F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188328$77A4A007-EE65-46A2-96A5-7C8AAEFE1889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188328$20753ECD-108A-46B3-A08B-9FA339AE77AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80f3e3075bd76f52be451391d44a1e7a31e189d1","datavalue":{"value":"6618248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188328$F1E61F07-51F4-42EC-955D-AA6872B9A557","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188328$DA940072-4872-44E4-92EF-1AA2394C1ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b76b88230f365a3c50d1fc2b7b82246d978f88e","datavalue":{"value":"full Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188328$0281D3EA-6924-42E7-A448-5E5AD8A9D28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188328$823C3D0D-8CBE-4525-A680-2814C804547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab859e418df21f8d6bb0b3dfcd580f9b43bbf0e8","datavalue":{"value":"square-increasing residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188328$E6042A6F-93ED-4F72-BB92-AA7B54BEC477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188328$D4A6CD7D-9CE0-4E83-B0C7-98318C7AF387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188328$0E329E39-8C20-492D-98CE-D4AB240576E1","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":"Q3188328$0BDB55D6-0390-440E-A3F2-3235B0CD85FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"051cb457b72a4c39bf51fa2197cca87354761bd2","datavalue":{"value":"https://doi.org/10.1017/jsl.2015.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188328$E2B3327B-0B9A-4210-9CF3-3C0F5C6A2E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a924142ca7352065a2fbd5db5250fa07390e2d5a","datavalue":{"value":"W2474875069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188328$EA3D1C5F-FC0D-4434-BA17-64E759203CEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6210a17bdbd87a0a74f71985dbcf34a6cf822e","datavalue":{"value":{"entity-type":"item","numeric-id":1181491,"id":"Q1181491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$69FD7F40-1BF7-40E5-82F6-520481E17529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c80d12f62d1042fb6dc6c4635da143b6ae731dc","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$96E1709D-539F-4334-BA1C-23F3DD927D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$8CEE5A07-8A22-495C-8177-5745E7AF197A","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":"Q3188328$8D984DCB-BC0D-4A76-9FB1-32CDEC648D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eaa97ec00f0c6b430f3f277dbe33439df44bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":2254319,"id":"Q2254319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$2C233867-339A-44BE-96AF-5EADF6DC55DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$5CB091AB-E431-4BCB-A37E-9F541A6CD263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$6BCAEC62-5234-4396-A4D7-600FBB7E6679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$6F80F6B0-A5BC-4E54-9DB0-32C286C49787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$AD97A6FE-F2F6-49F8-8EAB-0402779FD1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$2C7C28DB-164D-4A30-AC7A-8B3F0DAAAC5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6debe34f083b9995e01467df64b25c8e68da8421","datavalue":{"value":"10.1017/JSL.2015.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188328$9B3F667D-5AB9-46B0-AABA-3859400C73B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c70a7c796d0e29b0bfc49fc15e7290801f9935","datavalue":{"value":{"entity-type":"item","numeric-id":5055728,"id":"Q5055728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edf1c8707ffcbceefcab7149fc72ea6b9a619c3","datavalue":{"value":{"amount":"+0.78353155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$F8A89EE5-D634-4B5B-BD0F-06454F8A2FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26cc6b1ee36326930ecb39b533ee5221d97947b","datavalue":{"value":{"entity-type":"item","numeric-id":5055742,"id":"Q5055742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2532dc399c8da979df265da1c464264809ee91","datavalue":{"value":{"amount":"+0.7597657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$98F1E3AE-03FE-40D1-9E39-138625D763F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764599736dae83742547a7cc4f01e4f35b62514b","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a1984863a67bfea15e9770d76ca617dfa4444b","datavalue":{"value":{"amount":"+0.74728787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$51279D6E-75AE-4EAA-B61B-22633451DC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7fc3f429bbb1b4a915f69ef3ba738dcf29dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":1974693,"id":"Q1974693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e909b25c6d2ec2614fc3ac57089d712f5d046c50","datavalue":{"value":{"amount":"+0.7438983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$21501D93-FE49-497B-AF7D-3D7E8E190E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6889707d814763faf8060526ff0dad812702d6","datavalue":{"value":{"entity-type":"item","numeric-id":3819990,"id":"Q3819990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14989082bb11ddc1620adf0b95e3378d98cc1f3c","datavalue":{"value":{"amount":"+0.7433543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$83BAD949-6A62-4333-B19A-2976878B2FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fba29b8c33e16e6b5e17d1279d611ec3082c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a258752c4b20d7b2cb1eb9b4924bc01e9d254d61","datavalue":{"value":{"amount":"+0.7425148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$D561A555-BC68-4EEF-BC34-859C2859D45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de99ea9165fdcd58ec7a69836bc83c599401a21e","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee6572d2d5f6bfc41d4c3b7136425e22073cd23","datavalue":{"value":{"amount":"+0.74191743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$542585DE-A3C7-44A8-AC8B-2826266D763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193736643a3ea9386f7bd1d68372a9ebdbcdffed","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e13c4218d1d49401a166521bfbb36209431be2","datavalue":{"value":{"amount":"+0.7392137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$324EC76F-341B-4EF7-A43D-C8D31D0F57C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d91cf9171a03ec8f00ca908e615f9c56418330f","datavalue":{"value":{"entity-type":"item","numeric-id":5100054,"id":"Q5100054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac17ffdfb08933b773bd91c4342fb9112fd5ce68","datavalue":{"value":{"amount":"+0.7371084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$72717C2E-F999-42D3-ADF8-AA6D5DFF2BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209b21e2770f45d453d05d8b25aca1cc91acfe21","datavalue":{"value":{"entity-type":"item","numeric-id":5501771,"id":"Q5501771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585088641ecb831e2f0e2499a5aa8101f39bf8c7","datavalue":{"value":{"amount":"+0.73245585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188328$2763818B-4DDE-4997-AB80-398233F9DD2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188328$DC7CBD85-02D6-48C6-B501-33FC04272AF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE","badges":[]}}}}}