{"entities":{"Q408532":{"pageid":410299,"ns":120,"title":"Item:Q408532","lastrevid":42536061,"modified":"2025-07-02T13:29:29Z","type":"item","id":"Q408532","labels":{"en":{"language":"en","value":"Product-free Lambek calculus is NP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022765"}},"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":"Q408532$07E9ABD0-B802-4A7C-8219-B9F1FA19E33C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f091e771aaa906879fd964c3367dff6ef502cd24","datavalue":{"value":{"text":"Product-free Lambek calculus is NP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408532$4DC32D7D-2966-467D-A8C4-803E6D033658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5187be3f40b83825a8bbe68afb7fc90274c6d4bd","datavalue":{"value":"1243.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$73DEE216-0FD8-43C0-BA14-C27D20572035","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1e6c274f15d23371e2b391eba6df0ffeb290ee","datavalue":{"value":{"entity-type":"item","numeric-id":392293,"id":"Q392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408532$9902B477-841B-401B-BA14-5380C5AA5DC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408532$0A3869A7-4605-48E8-AF94-37716FF981D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408532$0C1A6830-01E1-4EDA-B4BF-378771ED3C53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$AE43FB92-0C43-47A6-8175-1E688EB51A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$862F01C4-496B-4CBB-804A-64859CBA4FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$14C87AF5-6BC8-4D46-B945-3F61D6615C8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d42e8799edca969a8d63642a777ad3368ebca84d","datavalue":{"value":"6022765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$0B1A55B9-FCD8-40A7-A651-C3130CE193E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q408532$2EF6E9BA-AEEB-48CB-989A-C9B6D7A62E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93077cc6db36e07d535db7c75a2f03eb0743cd04","datavalue":{"value":"algorithmic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q408532$20553F11-4CF3-474E-B457-5D4A18012722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q408532$AB5C80B7-DD7B-4FF3-BB33-1D8FAE224C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q408532$ACBE1945-3B79-4FE5-891A-535E18564EF6","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":"Q408532$ED2C67A3-BE7E-492F-80EE-7576FEAE73A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf4d473058e5f38d0fedb27f54cdd796764142f9","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q408532$EE2A8ECF-0EF2-4914-87F8-60C96D8E9D74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eae4153c3bb43e5d34dc099f00c9f10a4de3258","datavalue":{"value":"W4206777114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$4D296F3F-6517-49E9-9AAF-C3679CDEA041","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"749e811aca8847021e0d18d285f7efd906f0c7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4857860,"id":"Q4857860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408532$AC021429-F843-4B80-87F7-582D1E265758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d0bd91b16f8776a0d2b1500f5dd9774e69b47f","datavalue":{"value":{"entity-type":"item","numeric-id":4263011,"id":"Q4263011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408532$BCC8DD9F-2DF3-47D7-8925-5F90A73A8EC0","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":"Q408532$CE031A27-167A-4A2B-B4C9-F859122D3286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408532$63C5D01E-23F8-48E9-9421-B94E5C21C594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d4fbcb7c7ae3b11aa88344bfb9d1b9163ccb84","datavalue":{"value":{"entity-type":"item","numeric-id":3503645,"id":"Q3503645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408532$53C727C3-CA55-444A-8546-81F852AE7D89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd99a83386434f90db986803ba07696c8118915f","datavalue":{"value":"10.1016/J.APAL.2011.09.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408532$88ECA6A3-9A34-48A9-8464-2BACC0772F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:408532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:408532"}}}}}