{"entities":{"Q3520236":{"pageid":5550140,"ns":120,"title":"Item:Q3520236","lastrevid":48984631,"modified":"2026-01-06T09:58:00Z","type":"item","id":"Q3520236","labels":{"en":{"language":"en","value":"Lambek Calculus in Natural Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312590"}},"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":"Q3520236$F95E2E9C-FBD2-4923-852A-6EC5EB59E76B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d6ae306c8c662d9ba9a6d5261b80f866e56b3b0","datavalue":{"value":{"text":"Lambek Calculus in Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520236$9CAC4432-AB4C-4DCA-8B01-315A30071841","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a9ddcb4837becb2dd0eaec5c57907eedbe4f9ee","datavalue":{"value":"1182.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520236$8DEB7BEE-72FF-4301-B6F4-C4D2B4F4D2B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731bbd863e426c881575785bf5fab09d2fd3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1005978,"id":"Q1005978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520236$554F7D62-1D01-40CD-B293-F36633ADBF16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520236$D1CC9BE3-DD9C-4A1B-9BA1-BD8BF974D71B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520236$BE7DF87F-A73E-4E7F-B1CF-91F09F2A79BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"029c9efbd2784fe8805f5da12072cf58fe94a5cb","datavalue":{"value":"5312590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520236$A02AC1B2-CC44-4EC2-8894-2AEAAFA44494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520236$F39122A2-2BCC-400B-8943-4F5F7D69405E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520236$3CAE4770-433D-452D-95F1-66386E574FE8","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":"Q3520236$5C9A8B07-4CC0-4658-9AE6-C81076D724C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50804d5415337e5d06d2bb05b0486e990f97f910","datavalue":{"value":"https://doi.org/10.1093/logcom/exm084","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520236$C124D9CF-AA7C-45EC-AB25-5CD6DE431974","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddc0cb8e5aaa00566da1c2015e11f3fd5f7d61ea","datavalue":{"value":"W2037685067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520236$19766C24-D38C-4ED1-815A-505E4F5D6B88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2cca80643210c37ab868b79201a584cf102daca","datavalue":{"value":"10.1093/LOGCOM/EXM084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520236$7CB03172-9758-4D23-8847-F11E2E3BB8FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520236$A98E558F-CEFB-47B6-9C15-813953264C40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29b19a0927d96908658ea5e6d1c723a2f71a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5175f3036c05063af9fa4a9b318a46906f440f","datavalue":{"value":{"amount":"+0.9709693","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":"Q3520236$253F4147-671E-4BEE-A599-1088B1BF3D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26de94628a13886ddbbc52e9fbd63b461bde780f","datavalue":{"value":{"amount":"+0.9304667","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":"Q3520236$D6E98632-987C-4A2C-B892-B557161D7E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6115e841d3f0e25c43ceb79c454052e737953d56","datavalue":{"value":{"amount":"+0.91946244","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":"Q3520236$04FDA331-6989-4815-9514-FFC7E90B61C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7e0bbcbef3879468c0f1b7b9e44d3104aa084","datavalue":{"value":{"entity-type":"item","numeric-id":4443208,"id":"Q4443208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7f87f7c86bad4ffa40d50ee408b0174e6a959c","datavalue":{"value":{"amount":"+0.9158289","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":"Q3520236$F50D4FBD-E813-451A-B923-E22471D0076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44784cdf013da6daf110b7878d7fbba81056e34","datavalue":{"value":{"amount":"+0.91424423","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":"Q3520236$C399072C-62CC-41F8-97E7-DA98FA81DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc128b3765315f4bde23200628156e28f24084f","datavalue":{"value":{"entity-type":"item","numeric-id":1577345,"id":"Q1577345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b837009c5173bb5aac20d736387aab6c62cb48","datavalue":{"value":{"amount":"+0.9130517","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":"Q3520236$9B4D6C01-0BA8-4BA5-95D4-F7DFE7E18267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5071a321d9ad45c10f41a9a40976a18b7f80a197","datavalue":{"value":{"entity-type":"item","numeric-id":4794047,"id":"Q4794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbf4d7335e9cddfd46d0b136c905dd605267ae7","datavalue":{"value":{"amount":"+0.9077755","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":"Q3520236$A33931F8-0734-47DB-83A3-203ABF60227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9da7381ec3a27707b7f272c726702fbfd9b37","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77806a77fa1456f9c2bf5e4a702861b8a849a801","datavalue":{"value":{"amount":"+0.9058609","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":"Q3520236$3B66D85B-0DDA-466E-9ABC-B1525E97C60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc67c143476984b4f079468cf1af077c7930dd6","datavalue":{"value":{"amount":"+0.90387964","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":"Q3520236$C6257BFA-BEC6-49DA-A331-5C3576228EDC","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":"e020bb4e44db4a0b77ed3ff5c0fe63163af89e2b","datavalue":{"value":{"amount":"+0.9029975","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":"Q3520236$A26091E1-6C0B-4265-97CD-9EDB9D9995ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520236"}}}}}