{"entities":{"Q2849433":{"pageid":2860153,"ns":120,"title":"Item:Q2849433","lastrevid":44703231,"modified":"2025-11-25T07:10:26Z","type":"item","id":"Q2849433","labels":{"en":{"language":"en","value":"Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208957"}},"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":"Q2849433$33F5B918-B061-4B13-8904-8538F3D4D6EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eff45f6d943f483d1600abe6cf736bdd3654aac3","datavalue":{"value":{"text":"Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849433$6158A1CB-3606-4327-AB94-C1EB7DE9686F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efdc8d5c070bfd9dd334f2be6e08b7e6d7afb304","datavalue":{"value":"1395.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849433$1BE1C5C8-D1E2-44F5-B741-656D51C0ACDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9e15cc1fa3fc73d62ef474cbaffb09addfefc9","datavalue":{"value":"10.1007/978-3-642-39992-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849433$1D3B572D-B251-499A-A072-156F7978C372","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"385db80d6bed80abaf8c7a169d8469a4d7c9ee89","datavalue":{"value":{"entity-type":"item","numeric-id":418909,"id":"Q418909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849433$D0738CC8-26F0-4957-A60E-22625FE0C2B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849433$B849DAFF-CDCA-4162-91D8-8BAC25B27E4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-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":"Q2849433$4327B4B6-966D-4E2E-90C9-40F651F880C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849433$608A3440-D0E2-4889-B904-3D9E8CA507BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849433$4A203DE2-9736-4219-AF2F-E827E24F8FB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e560cbc392315e414831f336389cb98498b48e","datavalue":{"value":"6208957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849433$8CD0F6B6-C93B-4B92-876E-1C93E10743A0","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":"Q2849433$62CE0AE3-A67D-468A-9E3E-DAEF13A97707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbeb4e158d7f0c44eb8e813ca9cc7b01c5c6aca2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39992-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849433$209AA68D-0884-4A31-8A58-10BCDD4E904C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd953231a87f7e920e616babc889b1a81c3c4cc0","datavalue":{"value":"W2108840809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849433$03BDF3A5-422D-45A9-81CE-167F4A03FAC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab2208a8c1c3afffb34ff6959422d07dd717a2","datavalue":{"value":{"entity-type":"item","numeric-id":4302334,"id":"Q4302334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89db41592834de6278333e3bec1c4b7baf636957","datavalue":{"value":{"amount":"+0.89172363","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":"Q2849433$31F5E920-6411-4C0B-B9BF-E75797CBA04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b31746ad0353a60379004f826cd3c53f7b04cb","datavalue":{"value":{"entity-type":"item","numeric-id":5098721,"id":"Q5098721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cc623a8be8250c3277ea56ca190d11ef1e3647","datavalue":{"value":{"amount":"+0.87969816","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":"Q2849433$F4DED1F3-71C5-4D33-80B4-663CBFE7A9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd34b06bae608555feadebcfb6a3297c3cb09f6e","datavalue":{"value":{"entity-type":"item","numeric-id":5739451,"id":"Q5739451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584f6cf2131dc55b7bca94fc4f7b02e41d87d145","datavalue":{"value":{"amount":"+0.8752531","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":"Q2849433$1EC370E8-97E5-44D9-93E7-F5B719746686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee477d8270fc518c07a29432192897909b4546c","datavalue":{"value":{"amount":"+0.873917","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":"Q2849433$7670F33E-F8C2-471A-9F9B-692E595BE784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a04a292f79b7a5f2a1ec2a18b87a0f16d93f019","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add0c5ee533a1a714bfb16e5b94c45c037f2681b","datavalue":{"value":{"amount":"+0.87349325","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":"Q2849433$AEAAE61E-5D66-4D40-A83A-E1F3CB0EADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c7795b5dd078600461eba16698b60eb3aa3f50","datavalue":{"value":{"entity-type":"item","numeric-id":3677747,"id":"Q3677747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b36cfa8bcb771dfcccbcaccb6abe61c1fdb598","datavalue":{"value":{"amount":"+0.8700408","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":"Q2849433$5268A248-31C4-4CDE-B82B-9C87D4DAB459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8dbf3454b098f62b50dd7bb6ec33a6531a4ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3338228,"id":"Q3338228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b36cfa8bcb771dfcccbcaccb6abe61c1fdb598","datavalue":{"value":{"amount":"+0.8700408","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":"Q2849433$B007E3F7-9117-46B5-AD7D-B813349DEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a53ea7ef327c74383b11b31595ac887d654741","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0490de5efa2c7e7885b2ecc8520619cc4e66e461","datavalue":{"value":{"amount":"+0.8692723","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":"Q2849433$1D8045D6-A6E7-4BE3-A96B-9B13B81BD5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b81501e82b72086b81b8c7bb764e33b3af3b47","datavalue":{"value":{"entity-type":"item","numeric-id":4842277,"id":"Q4842277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41476ed347c34f5512592d9276d8434b9c4764a4","datavalue":{"value":{"amount":"+0.86892843","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":"Q2849433$74B3AC1B-848A-4301-B0F8-D0988C7238B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b4bda467c2536d2201f240cf0dc5bc638610f6","datavalue":{"value":{"entity-type":"item","numeric-id":3582174,"id":"Q3582174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffd4b3d5b3ec1f5454cf3dcaa0bd4a3b2c8569a","datavalue":{"value":{"amount":"+0.86840516","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":"Q2849433$46EB06DE-639F-4359-9A6B-6F5E2A2C51B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849433"}}}}}