{"entities":{"Q5501771":{"pageid":7531331,"ns":120,"title":"Item:Q5501771","lastrevid":52325633,"modified":"2026-01-21T11:13:51Z","type":"item","id":"Q5501771","labels":{"en":{"language":"en","value":"Undecidability of consequence relation in full non-associative Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472566"}},"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":"Q5501771$480E1F5C-3DEE-4392-ABB4-4CCA68DE4208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93136ea10da4cca1ec346822fb0342c5719eab01","datavalue":{"value":{"text":"UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501771$DBE7C807-85A1-4971-9A19-6ED42F0F86AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab503b43dce549ea390dc2781efe7c9d9055ba92","datavalue":{"value":"1373.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501771$BC6C0F57-908B-4990-93A2-D08AB0D03072","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":"Q5501771$5A0D6995-62B7-4897-8583-D4F656699363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501771$BF552BB4-AE7B-4E1D-8789-347D878AD7F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e4cbf29a2b2f3200f3662c96818d7e36532051","datavalue":{"value":"https://semanticscholar.org/paper/f1691c48b7ea834ffabe137a4e9a28f4377f4428","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501771$ECD6301C-5A95-4FB2-AA32-4DA8C2819FE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501771$47D97ADD-1978-410F-9C20-54720370BF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501771$48B1CF5E-B559-4ECD-A3BE-8BDF244BE138","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2c5b04d8fd726c90088a718a4e45b6f134a5e97","datavalue":{"value":"6472566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501771$42CA61D9-B3CD-4CCD-AC2B-2EBAF713DEC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501771$D12225B3-B860-4A54-9A87-96ABBADF3153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501771$B17E07F5-DF25-421D-B6FA-6BDC15741BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501771$9EC444B0-5866-42BE-8563-50281A54FB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52a511e1fdf30f75c31ecc4959332b68234c897","datavalue":{"value":"tag systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501771$48E65B12-F9C2-4E51-B8EA-091515CEA796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501771$C0AFF075-BD5F-4F30-8730-F899E0BFFAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501771$5C19ED30-24C9-4A02-A42E-FE05155EDD30","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":"Q5501771$7F9B0EE7-D258-4DA8-B25F-1DA3E74CE1EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2f2b3ad9fc8052f17113d52aa469082584d02aa","datavalue":{"value":"W2397996385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501771$3F7A9EA8-E899-4BD2-BA82-E03B7BCD3E5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$BAE2AEA3-5096-40E6-8AEC-38E65CBAAFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$C977BC44-96DA-4484-A246-0EB24DA1C634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2255738872d0c1adb826d6319e2ce8dd51fd9231","datavalue":{"value":{"entity-type":"item","numeric-id":5528151,"id":"Q5528151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$695F2E5B-A7DE-40A8-ABEB-D198441E4701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$20D3B574-D92F-4CFE-A584-6399B40FD4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9751ba466f3c37a70fb9a480d3b6b8e9c6fbe394","datavalue":{"value":{"entity-type":"item","numeric-id":5431598,"id":"Q5431598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$6E8C0FD9-31B8-477F-8CEE-9F0F9E338740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859ef89c6ac39d72628b3698933598970664fee9","datavalue":{"value":{"entity-type":"item","numeric-id":3964532,"id":"Q3964532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$448CCE63-DDBD-4D05-9A31-1268FF8A6B8F","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":"Q5501771$B5468D2D-54EF-445E-AC4C-AB243BC68C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$0376DD37-F426-4735-B33D-B26FC606292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54d79f66135eba74c4f76773e17cd854c4b7c59","datavalue":{"value":{"entity-type":"item","numeric-id":2510712,"id":"Q2510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501771$48BD7203-C8D5-4FC6-9E23-70D1421B69A6","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":"Q5501771$FA90AE47-352D-4583-8295-1DC9143217C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4a253acb5756a03aca8fa4443b6323251ba6d1","datavalue":{"value":"10.1017/JSL.2014.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501771$56CF7261-5B23-4236-B62F-385300395C72","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":"Q5501771$410CBDC4-5F0B-48CB-A154-788C2C506D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f397a7834639eff9ab32c90dbc0ed1254080f13","datavalue":{"value":{"entity-type":"item","numeric-id":3188328,"id":"Q3188328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39eecc9662357c58f1c551bf609bcdd5f6f78fc","datavalue":{"value":{"amount":"+0.8408316373825073","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":"Q5501771$6CAAE03C-821A-4DD2-8C74-0DC648543CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec79e83f38d10c66015489f26b30566f7d69d4d","datavalue":{"value":{"entity-type":"item","numeric-id":1679987,"id":"Q1679987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a8515f572755d87635d36e5f57869ab7c8dbb0","datavalue":{"value":{"amount":"+0.818256139755249","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":"Q5501771$56F72B41-7799-462F-B8F4-A099020BCBB8","rank":"normal"},{"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":"650ee6d4e0899ace5ca2c3dc8c3e476dc8ed4346","datavalue":{"value":{"amount":"+0.7941245436668396","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":"Q5501771$4E5F9383-B7EB-4575-BDE0-26D00E2B7CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff29876ae102971db922133f7b62936126803e5","datavalue":{"value":{"entity-type":"item","numeric-id":3564882,"id":"Q3564882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8c8224dd39fd3f36a98751494cc5324174dd20","datavalue":{"value":{"amount":"+0.7744047045707703","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":"Q5501771$081676C6-0EBA-45B7-B204-E5BF7CC975E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0ced920ec4a2afa36c9fc4232cf06304fa63dc","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693736ec58cd892dcf3c91c17613cb997ff5ea71","datavalue":{"value":{"amount":"+0.7594957947731018","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":"Q5501771$DE6B898C-1EF9-4AFF-A031-DB1661FDA570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501771"}}}}}