{"entities":{"Q3919680":{"pageid":5949585,"ns":120,"title":"Item:Q3919680","lastrevid":54991120,"modified":"2026-02-02T14:48:25Z","type":"item","id":"Q3919680","labels":{"en":{"language":"en","value":"Axiomatizability of Ajdukiewicz\u2010Lambek Calculus by Means of Cancellation Schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3732012"}},"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":"Q3919680$6C650C21-FA56-4EFB-896A-F9CA0EF37F25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23539b157c493227a652fd69847b6cb2fcf37365","datavalue":{"value":{"text":"Axiomatizability of Ajdukiewicz\u2010Lambek Calculus by Means of Cancellation Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3919680$C249559B-AC17-4450-B86A-C7EFFDC13B98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b63570c4746a204e42514ec503d901298fc0f1e8","datavalue":{"value":"0467.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3919680$62D889E6-F265-4060-B288-C032C3491665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"371051b807333e6b3e21f623f1262fb01adc833a","datavalue":{"value":{"entity-type":"item","numeric-id":209452,"id":"Q209452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3919680$4FE5D297-0DAF-4017-B7C7-CE968FFD5DC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3919680$20C07BB6-627D-45DD-AE7C-556FD40C0DCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3919680$3E8CE650-B268-4F6A-B0EC-8C465E3A212B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3919680$AAEE2CEE-8065-4A23-BD66-D423703EC81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3919680$9E0EA2B8-60C5-45BD-B48D-EC58BB87B231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"732c7374f0dc08f124efb0785decfe256633b010","datavalue":{"value":"3732012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3919680$11DE65C2-7650-459A-A55D-B430CA7A44C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849e95b8b5ee57155e6004cdb160266010376acf","datavalue":{"value":"syntactic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3919680$D87E1E07-F098-4538-94F4-CDDB15A9CC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a19e8adc2d2726115def2b1f2066a8812ca3aa","datavalue":{"value":"product-free Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3919680$C88C7F2B-C4BC-4896-B6B4-55652F7C1D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247c819a596756da162e76f34ca0b03ad9c76308","datavalue":{"value":"categorial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3919680$7FD40DE8-2BF7-4696-919E-0C6FE9BED39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3919680$6E9F56E3-B1AF-4698-B0F9-02C24B6BA124","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":"Q3919680$96D1ED52-0829-4EA5-9946-E989F74F3C33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d62f589f68f944084b6e6539f94a437cb1535a23","datavalue":{"value":"https://doi.org/10.1002/malq.19810271306","type":"string"},"datatype":"url"},"type":"statement","id":"Q3919680$14215D01-49A0-45A3-B690-3528B1AFC416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55006298e2f02f53f5f35dde9ee93ec5eef6e10b","datavalue":{"value":"W2106556109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3919680$45861517-49CF-47BB-A974-648738519E50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d47cc122d439bff41cba2db0260f065846212cdd","datavalue":{"value":"10.1002/MALQ.19810271306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3919680$3318BAD4-C3B1-4DAF-9DBC-0DE328659871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3919680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3919680"}}}}}