{"entities":{"Q5750847":{"pageid":7780398,"ns":120,"title":"Item:Q5750847","lastrevid":41851836,"modified":"2025-05-09T01:50:33Z","type":"item","id":"Q5750847","labels":{"en":{"language":"en","value":"A comparison between lambek syntactic calculus and intuitionistic linear propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185578"}},"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":"Q5750847$C8EBF0D2-887D-4BA0-BBAC-5B286E92D5D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40e85bf2d33c42d96df8cd057ac4182538210871","datavalue":{"value":{"text":"A comparison between lambek syntactic calculus and intuitionistic linear propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5750847$826C5B31-7448-4805-8B2F-64CD4B371539","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da35131b8871d296be7910c3ceeb4b244d2758e7","datavalue":{"value":"0719.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5750847$2229743E-EEAB-4CAF-8669-A36F68EAE3BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5750847$93A43D3D-650F-4A4A-A61B-532463CA416E","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":"Q5750847$0C471D10-284F-4A2F-B106-B2A38ACC44B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5750847$D7CA8C78-12EA-43BA-AEA2-229B90407ACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5750847$2F815906-7089-478F-A202-655562A379F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a2ec2cb1b03d5eca01f9eb3a32d26487a81e45","datavalue":{"value":"4185578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5750847$09421060-0FAF-4FA8-AF16-2DEE7F9095E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5750847$D38FBBDC-5A45-40AA-8683-C90CED79D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63ab8ac1ee065058f1af5ef74daf386753524eef","datavalue":{"value":"syntactic correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5750847$04CB74E1-605C-45EC-865E-1FB50646BC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d25b31b9f29f04e951adcf7b8ed80798c85bee5","datavalue":{"value":"Lambek's syntactic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5750847$6E44EA5B-5E42-4D85-ABF8-A702C57C0D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1907953ec3fabe74aa9c8be72ac99b2f2ded219","datavalue":{"value":"fragment of a sequent calculus for non-commutative intuitionistic linear propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5750847$C639ADAD-D7C2-48FB-9210-A303A42368F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5750847$9CE59778-8A19-4E46-B954-CC307691190B","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":"Q5750847$73C70C27-7DA6-4E36-A82F-F015B46A4B11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce53919180df68d92303fe7fcefa6d1ec657e619","datavalue":{"value":"https://doi.org/10.1002/malq.19900360103","type":"string"},"datatype":"url"},"type":"statement","id":"Q5750847$66F58538-E0B5-4D4D-9268-7C7FA21795D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bd9656164cf356483bb9117fa3fb02f05bf30bf","datavalue":{"value":"W2002130184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5750847$01213BA0-AC5F-4AA5-A43D-6BA31B00B59E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41a6d2e182a459f2cac35c613d964dc97a92dfa1","datavalue":{"value":"10.1002/MALQ.19900360103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5750847$2C2A64A2-AD3A-4293-9E9F-A5F3CAA30606","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8472620ff5d1a8019aa07bf41d4308ca6309b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4365781,"id":"Q4365781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52859f3e119e621620a337ae12666f0ddbf58889","datavalue":{"value":{"amount":"+0.9026469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$405662F3-8FB3-4180-ABBF-6C5495E0AC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f55894194e6ce911d6de78c54f09c364659c184","datavalue":{"value":{"entity-type":"item","numeric-id":332086,"id":"Q332086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36c54667cf75023b35d63407f410f51aa0b0dad","datavalue":{"value":{"amount":"+0.90139854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$967C9524-4AD2-41EB-BB4D-B70452016C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b58dbec9073da762edbb4dd209745b5b5f2eb14","datavalue":{"value":{"entity-type":"item","numeric-id":5014592,"id":"Q5014592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76678341dd3ea1b7863a26b37b503b91cb554ac","datavalue":{"value":{"amount":"+0.90057325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$616856DE-5E24-4ECB-8A19-8B6C9F2ADB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1b78e52211a40e63332b9caf1f896288059a37","datavalue":{"value":{"amount":"+0.8995274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$3502A148-E9ED-4ABF-A770-04237B54F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffa2d7418e931eb671fcf01954fd4a349e35ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2826389,"id":"Q2826389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c8a1744ac76c50e1d44ba436a3cdad42bb7251","datavalue":{"value":{"amount":"+0.8910068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$B577ADB4-F838-4217-8C2C-58BE86AC0B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e110235bfe457a7d9984b61c8cfa70225c1232","datavalue":{"value":{"amount":"+0.8896189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$F277E9A6-D368-4353-8FAD-55F705F4D104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ded85e50d4756d012b0d96c01504d8fa214e46","datavalue":{"value":{"amount":"+0.8870269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$AF115EF8-7DCB-4C11-97B2-913E7CD33E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff52fa366116d9fb73cf3a8ace35ea71a66c6991","datavalue":{"value":{"amount":"+0.8857242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$7E67840F-6F7E-412C-9ED4-6F3A9F9C9F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d936f8a87d9a49f201bdfdff2b8aafe68875ce","datavalue":{"value":{"amount":"+0.88310355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$B8F93CB9-DFA9-40B6-AB32-00E27708D671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73235cc97e104d751cb8398ce3c6254aa0af2357","datavalue":{"value":{"entity-type":"item","numeric-id":5971394,"id":"Q5971394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2545e9152271ab7d15b894f0a2b01cd31d95c089","datavalue":{"value":{"amount":"+0.8811617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5750847$793A1D97-4DC4-43D0-A5AE-78EA356063D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5750847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5750847"}}}}}