{"entities":{"Q4842277":{"pageid":6871857,"ns":120,"title":"Item:Q4842277","lastrevid":47336581,"modified":"2026-01-01T10:21:30Z","type":"item","id":"Q4842277","labels":{"en":{"language":"en","value":"Hybrid Categorial Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780064"}},"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":"Q4842277$F84A8E8D-361D-4782-96E4-FF2DF690B290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0517952a4cba13ab330fcea4cb2b4ad3178c85e2","datavalue":{"value":{"text":"Hybrid Categorial Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842277$C42E6196-2367-4ADF-8F2A-A0C4C53E4F3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad054403e32d511ec2f72f229d4e3bf83d9fea58","datavalue":{"value":"0840.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842277$541B3D58-0D85-4CBE-BCB5-6239B77AEDBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade358bf5001aa7edabcd882de5a45f1d8298c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4842276,"id":"Q4842276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842277$7E11E909-5B80-4EFB-B9F6-E17B915232ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b99a96e44ac25cec2bad39b6415c82143facdae","datavalue":{"value":{"time":"+1995-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842277$99E066B2-CE2F-4ABB-9A4A-D9BB8748F7FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfc1e2cbd0c4d04593b35b4fe2c78b4b227c90e0","datavalue":{"value":"https://semanticscholar.org/paper/13125fc188321b2d68c6ff43bc10e41c825dc567","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842277$D4837EF8-73A1-4FA4-B220-B01A8EAE5D6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842277$165AABF3-7C7D-4934-BE70-0D68A68DA09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842277$AA5DEAC4-9279-46A6-A03A-D8B89229E64F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8bd705ee3f1a8ffda2579c70cb51414110b92d6","datavalue":{"value":"780064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842277$D5B82DAC-F4E3-4267-B15E-EAFF9F0AE357","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"391c341bec0a873efd628661cb55d8c6184a343a","datavalue":{"value":"categorial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842277$FC606D2D-009E-41A7-BF4F-F5F3C8EE30EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404dcfc0f5eb4ff57a496821e1f8413b6f455048","datavalue":{"value":"multimodality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842277$52A37CDA-FCF8-46AD-86AA-7D04785F3D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4cd1af3e8d9f97f91b2f129112b87db178ab27","datavalue":{"value":"substructural hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842277$918F65E6-FFB4-4F0D-86F9-F4A760B20A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842277$3F177BA5-5334-4C34-8551-760B6B0209F3","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":"Q4842277$C7817605-F75D-4085-9A41-348419B19137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c768127ab57e5f45ff9e9697c0dabec93dcdf813","datavalue":{"value":"W2048279818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842277$C7EDE4D4-B069-4511-9D85-7F74827D3E19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2cf588db493d62ab5d567d2f5d795e98a00c0b1","datavalue":{"value":"10.1093/JIGPAL/3.2-3.343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842277$16087856-FDC4-41B2-9B4E-24508566928B","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":"Q4842277$DFE76B4E-966E-46F2-A8B1-52BB177DDE66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08eab1b22c82b0c6bfc09478a23580eef3f855ba","datavalue":{"value":{"entity-type":"item","numeric-id":2939539,"id":"Q2939539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459cd80ed3c239e8f32af25ed7f3bb89f2a3281b","datavalue":{"value":{"amount":"+0.7980318665504456","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":"Q4842277$B757947F-52E6-42D5-9250-311A6BC4E7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d86293d3d88b5f15556992aeb91be7c88bc084d","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cb9f77046965f6f79ac428e802dbd44d838e5c","datavalue":{"value":{"amount":"+0.7364648580551147","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":"Q4842277$22F52ACB-D2A1-4DA2-BEE2-DF8969A09342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9c2e5431b0fa35b1e2faeedb8abdb3d0c91bb","datavalue":{"value":{"entity-type":"item","numeric-id":1280045,"id":"Q1280045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed4fa0b5cff03d03b4577b032788ff293f94004","datavalue":{"value":{"amount":"+0.7283033728599548","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":"Q4842277$D059C1B7-3F28-4AF2-9D53-BF73E0038E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d76cf4aa7b57b90a5a252eed38c8b9d92090ec","datavalue":{"value":{"entity-type":"item","numeric-id":2762871,"id":"Q2762871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923b2d497504466a7d7e4accdb5bd75203952f50","datavalue":{"value":{"amount":"+0.7252182364463806","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":"Q4842277$27CFE1A8-F6A8-4539-93AD-50B6A78EC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3762009b25e143f6ed54bb7b0149799bf055c897","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5470dc28b01cbe486500535d846e60b1667cbde","datavalue":{"value":{"amount":"+0.7210305333137512","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":"Q4842277$B20B53FC-BFA4-4134-B206-E54A2CC5EC44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842277"}}}}}