{"entities":{"Q4914003":{"pageid":6943582,"ns":120,"title":"Item:Q4914003","lastrevid":51695030,"modified":"2026-01-19T12:53:01Z","type":"item","id":"Q4914003","labels":{"en":{"language":"en","value":"Generalized Kripke semantics for the Lambek-Grishin calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154949"}},"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":"Q4914003$E56A7248-0A83-4317-A935-04819D382755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99c7961a7327dc29b8c53312020536440ae6987e","datavalue":{"value":{"text":"Generalized Kripke semantics for the Lambek-Grishin calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914003$453F4DB5-D085-4859-9408-BD8DC7EF1527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8659fc4948fca4e57d4a5a295c62cab625ce0dde","datavalue":{"value":"1301.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914003$D90212AE-551C-4152-AEA1-12DBD2F1EE2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"703245d6af526c9647cf9921c38e1cfb867d8926","datavalue":{"value":{"entity-type":"item","numeric-id":4914002,"id":"Q4914002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914003$D51419A1-7260-413D-BFC8-C8EF62D63DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914003$D74CFD0E-68E6-4746-8B65-8443B5A335D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae33c0616525b468c27a2fa5ba59309a0e5b7067","datavalue":{"value":{"entity-type":"item","numeric-id":280839,"id":"Q280839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914003$A8C6ED7E-BB64-4846-A35D-6C13D44EAEB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914003$36252E57-233B-42AA-8DB0-E7CF6104839A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48898df1fb29c9eb3b68568e35089739bf401976","datavalue":{"value":"https://semanticscholar.org/paper/2615a7647ae85e23db8367ee6098d6801cc85136","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914003$FD2EE429-2F8C-4C60-B656-137EAAA21F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914003$D3E0D4E3-94CD-4C7F-81B9-2166764DD231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb36e116ff1abfe216e9eb62f2f14f5faf93dede","datavalue":{"value":"6154949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914003$B57EB065-D905-451B-9C01-F56E17A4CB83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914003$456608D1-6F51-4815-A3A7-4B4AB1F37BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e7faeb948a9c9710b99a6af71a7fbf7254baff","datavalue":{"value":"Lambek-Grishin calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914003$02552E48-E0DB-4233-9F32-5001534EA025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf07c4a961ee7d9dd7d5d026004801e03865cc6","datavalue":{"value":"modular completeness results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914003$2B727E09-642A-4E8E-A721-6F8116287877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914003$205C19E7-1C19-4AD3-89B1-91652462F191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914003$688ECAE5-9015-452D-A754-C597F9283110","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":"Q4914003$7A9B7945-85DA-49F8-86E8-5EAB2D247D66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80712751ac3b8f4d13ce760d2e749361e2c28f08","datavalue":{"value":"W1974240609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914003$6A892C29-631A-460E-8980-600CED2D2591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1249f39f7db91ab39cc6a241c48229d6a9a48341","datavalue":{"value":"10.1093/JIGPAL/JZR051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914003$1A5FBDC3-77D8-426B-A5CC-BF00184BDEEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914003$E4F43910-C2DF-46F9-BE90-ECCD669CA730","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13147b28e84f22525997997b98c4ee55267dcb7a","datavalue":{"value":{"entity-type":"item","numeric-id":3585007,"id":"Q3585007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c278f6e39bc7c41937cf036592e1f7fd5d2503b1","datavalue":{"value":{"amount":"+0.8285734057426453","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":"Q4914003$B9C0C053-C1D3-41D3-9D7E-A50A0B88295E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9155b8a24b47f93bb167596dd9931b0a708353f3","datavalue":{"value":{"entity-type":"item","numeric-id":2947464,"id":"Q2947464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4cc64261edd157c2ccf8205eb28275e6bb0c0f","datavalue":{"value":{"amount":"+0.8071862459182739","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":"Q4914003$EA635850-C088-40B6-A565-BA32AC445152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5f1421ddc19cb37454fbfa7aa89020dbdf60de","datavalue":{"value":{"entity-type":"item","numeric-id":4212926,"id":"Q4212926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cbc42d47f4fcd12a7deecb6a4b866038f82759","datavalue":{"value":{"amount":"+0.7991092205047607","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":"Q4914003$9CB09716-9CF1-4BE0-8ECB-45759BC7517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb759d76704748bac1ae8f7240df662ed7c6271","datavalue":{"value":{"entity-type":"item","numeric-id":456962,"id":"Q456962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a4b29b9a9bc829210fea00b715f515e540a151","datavalue":{"value":{"amount":"+0.7963405251502991","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":"Q4914003$436B5D0F-E214-48FF-B374-6B577DC50A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef525d9b17c81bd28c54ab31c3ccf89697726a3","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cb3172dd6a7ef94337da7bbeabaf163fb23a45","datavalue":{"value":{"amount":"+0.7872787117958069","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":"Q4914003$8123F320-B672-4CF6-B958-B9635F473A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914003"}}}}}