{"entities":{"Q1252223":{"pageid":1262973,"ns":120,"title":"Item:Q1252223","lastrevid":67348251,"modified":"2026-04-12T17:01:24Z","type":"item","id":"Q1252223","labels":{"en":{"language":"en","value":"Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3611321"}},"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":"Q1252223$262C919C-53CA-4390-8311-275D285250C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cdc5fb03607a69a8f9fd330541cacee8e762a7f","datavalue":{"value":{"text":"Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1252223$A9F47AA8-E64B-48DF-BEAD-666C32DE7AF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a947a0db5de88bfccb61a3f5e68bbc68de6863e","datavalue":{"value":"0394.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$D4D80CAB-4AEB-47DF-AB62-E5D6951DD7E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1badf348fe6c4d13d323dea5952ecee11a71e3c","datavalue":{"value":"10.1007/BF02123613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$41816AD3-EB54-4273-AB9A-D23F15AFD9B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1252223$48195141-C66E-430F-978E-154FF67EBB79","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":"Q1252223$2A02124B-0F2A-472A-B91E-C0B9DD2A8610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1252223$6BFE7F3D-D815-49EB-B662-63F45024A00E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$1A99AA51-4E64-4A05-ADA9-6044D9F558BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$325F6D58-C568-4C40-93DE-BB1EB0A2F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$D3647905-F401-4436-875C-3CE2F281722C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$926BE041-2CBC-4331-8F48-0F5B4B172D66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17da799e148aab2afcddb290718f4a8dc97b2f15","datavalue":{"value":"3611321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$0227A0F1-2717-446C-AE9A-DA3868A653AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5586517aeb28def1a481c20029cc7cd8349dc27b","datavalue":{"value":"Semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1252223$BFEB4EDB-6C18-4CB0-9BBF-D8BE84BDAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38f83664f087bcb463d4a0fb7732fdd9e3d0e92","datavalue":{"value":"Linguistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1252223$84C8AFB9-02E9-45D9-99B4-BFA275909BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f4d3c40c80fdfa899882be2749d94680b600c7","datavalue":{"value":"First Order Translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1252223$1AC9ECF9-99F9-4153-966E-81048703170C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24faaa3ef958212f2d05f6c53e6d479c4b0aad51","datavalue":{"value":"Undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1252223$5FE63677-D8B9-4CBF-BC51-B3BBDD166D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc4756f2e2acb6384dd85e3ed35a192b02845e2","datavalue":{"value":"Extensions of Ajdukiewicz-Lambek Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1252223$098BFA42-AC50-47C3-9A3C-CD7077B50DBB","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":"Q1252223$81D0B0B7-C3AD-439B-9544-570E04E9C32F","rank":"normal"}],"P223":[{"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":"Q1252223$7EAC5E46-E953-4486-B1AD-306F3ACE12F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1252223$6A768A04-4F6B-45F9-B02A-A8182ADFE367","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a552c384bdd35bf680a1af5abc93971f770fbe43","datavalue":{"value":"https://doi.org/10.1007/bf02123613","type":"string"},"datatype":"url"},"type":"statement","id":"Q1252223$37D8BA61-5390-42F9-AC2D-DBD362041CFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82fcf0f73d4d3f3900e0c76d88356be28ecca552","datavalue":{"value":"W2081200269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1252223$8C5D274E-F5A9-4790-949B-235EFE8959AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_some_logical_extensions_of_Ajdukiewicz-Lambek_calculus"}}}}}