{"entities":{"Q1709707":{"pageid":1720448,"ns":120,"title":"Item:Q1709707","lastrevid":57501978,"modified":"2026-03-31T04:42:38Z","type":"item","id":"Q1709707","labels":{"en":{"language":"en","value":"Dialectica categories for the Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856650"}},"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":"Q1709707$FC63DC8F-463B-4176-B1BE-7DBC2C754B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41b0606a2304ef0318dd6525b081bfb2cd8ccc0c","datavalue":{"value":{"text":"Dialectica categories for the Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709707$8518C4E6-823C-4AB2-B75A-5D7030C28447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61bdefa4a5e201953b64cbdd25f02f6778a6aa74","datavalue":{"value":"1503.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$D8888D26-ACDF-42A7-8148-83BD88BF6D95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e57db12b4df06a0590dbc83249fef064ff6195f","datavalue":{"value":"10.1007/978-3-319-72056-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$E9557084-3C85-4736-8A0B-6BEB146001A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6916f094f20ca880fb7017420e62627357be9e5","datavalue":{"value":{"entity-type":"item","numeric-id":1709706,"id":"Q1709706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709707$45720531-6938-48C3-AD8B-1F7F73DF2DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709707$009556BB-3AD5-450F-9084-FA2145A79E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709707$932BEEC0-A448-45EF-B92F-A708441AA372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a382f80fb9e2f549a9621b4997f72892fdd21e6","datavalue":{"value":"https://arxiv.org/abs/1801.06883","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709707$2F6AF452-608A-4E09-9642-682DC510D752","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$BFF7D61F-9FD9-421E-8135-F2F31F9AD372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$DBCAAD22-0492-4DC6-9226-2F27D16E4577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$A2C06711-59B7-41B2-92D7-20099C3F632C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e62eff1a66fba9b1d171c53e1241294f2b6eef3","datavalue":{"value":"6856650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$AFE94D16-2942-4523-9B34-85A10531EF48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$3CF63D09-4512-4FDB-9BDF-B0D4D4E46971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c46abf6aa1dd657effc6a499167e3d86d6cf4b","datavalue":{"value":"Dialectica models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$4111D434-A282-4F70-B562-C6665C7449BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$C3728FEC-194C-48F0-9BAC-4AE736B18690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$524E18D0-97B5-4EAF-8DBF-1C2075353472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$CF627103-56C6-4069-A52A-3625EA0D3415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bde15421d1400d596d032d5c8ac113ef152a95f","datavalue":{"value":"non-commutative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$D9FB871A-7DE4-4078-A000-4B1934AFC863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709707$273CB44B-F809-4E34-A569-56D80934B8B1","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":"Q1709707$45441577-7F13-436C-A0F9-6332B540EC9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bee9de3e285a3370821ecebfee73c0900871c3ce","datavalue":{"value":"W2768367595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709707$8A885D57-AD6C-4E39-998E-BABB949880A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7389a55329db89b84066d25834233ea87ad12c85","datavalue":{"value":{"entity-type":"item","numeric-id":5018487,"id":"Q5018487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2356c7413309a105bd5632e1f4fa741932910476","datavalue":{"value":{"amount":"+0.7986956238746643","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":"Q1709707$47F0E489-D97C-4017-A678-A7CBCB134206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211a1cb282ed84e4fb9ca8bc6deb0aefcbc81bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4833775,"id":"Q4833775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519110b7e01f12ddd5efd96cf71bc018a1b29e17","datavalue":{"value":{"amount":"+0.792817234992981","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":"Q1709707$0FB3C083-EF16-4FFE-81CB-F318BC50094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0591a603521425fe5d75dbc9304fa54645375c7","datavalue":{"value":{"entity-type":"item","numeric-id":4966261,"id":"Q4966261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519110b7e01f12ddd5efd96cf71bc018a1b29e17","datavalue":{"value":{"amount":"+0.792817234992981","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":"Q1709707$551BC3B7-4CFD-427E-B258-7CD264D20E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a8806235c720e03496a43a4cbd5126d7252eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4333469,"id":"Q4333469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982f9d5bd8abe2babe58a678d419d076210398f9","datavalue":{"value":{"amount":"+0.7904758453369141","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":"Q1709707$CCDAF74E-CB57-47D1-9EF9-36B583AADE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784d07ac2caebca09e8da1c668b06112b9cd230c","datavalue":{"value":{"entity-type":"item","numeric-id":6057577,"id":"Q6057577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75d5fb618714ac7d507a4ceaf67eae2a9367f31","datavalue":{"value":{"amount":"+0.7845216393470764","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":"Q1709707$E0DB9427-DE04-483D-8E20-E8D6E542EE19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709707"}}}}}