{"entities":{"Q4333469":{"pageid":6363069,"ns":120,"title":"Item:Q4333469","lastrevid":47421868,"modified":"2026-01-01T17:04:39Z","type":"item","id":"Q4333469","labels":{"en":{"language":"en","value":"A Concrete Categorical Model for the Lambek Syntactic Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980642"}},"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":"Q4333469$2A222705-2344-4E5D-8D49-656001358EAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"076e1babe06149a886dd70ee822b5c26974e0533","datavalue":{"value":{"text":"A Concrete Categorical Model for the Lambek Syntactic Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4333469$AF408476-FFED-4813-AD9C-2DD487FD5055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fc969942a26087edf07d1b90d039e0cedc27074","datavalue":{"value":"0862.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$EDB18496-D802-4B55-AAE5-24EEE02F9ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4726c49b9f5a38d41e03c8012ee48312b602a12","datavalue":{"value":{"entity-type":"item","numeric-id":4333468,"id":"Q4333468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333469$D630091A-7655-4AE8-85BF-514628A8EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333469$E1770E1A-2371-4C9F-8481-F7F8A7534369","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333469$3DEE552F-99AA-43DA-B165-0A5E27778FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4333469$BDF60C69-7706-4841-8847-0785CF560AAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$FF78CCED-FF17-4D18-B597-FAEF066A0C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$17709A33-2C5B-4CFC-B3F8-2973D86DA64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$B64AE6D4-6253-45C0-838D-0DE274E94074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$ADCCDCA1-B2E5-40EC-B4CC-FF72A492710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$2558DB0E-B1C8-4743-A79F-2D4E43F37B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03111ce96abbd4542dbd326434ed62742830e902","datavalue":{"value":"980642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$F772C63A-161A-4051-8479-3B4F65A4397D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333469$2845C418-8C42-4490-A39D-B9A1209EF773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333469$42A516F4-F8BA-48A0-8176-6850463B3A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb3a7a009d4d057d3ae669c8601cbc99d810ab2","datavalue":{"value":"Lambek syntactic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333469$79A1389B-ED95-4B57-BBA5-F5AAA20A0DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333469$58AE7DB9-6844-4CDB-913B-FF56EAF2A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b57ae0cb06d93ba0cc6d9397c6f0436bb07d19","datavalue":{"value":"Curry-Howard isomorphic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333469$B97034DB-F2BB-4822-82D2-CA3EC75C3606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c3a27d765a8770fe6681a92c562b9d0b09add5","datavalue":{"value":"sequential product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333469$F54F251B-1BA4-4B6E-A736-267B783AD1F1","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":"Q4333469$56B0BC9E-6047-4E56-9C55-061C9D262F1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e0459ffacc676890ec980762f9981f3a3236c2","datavalue":{"value":"https://doi.org/10.1002/malq.19970430107","type":"string"},"datatype":"url"},"type":"statement","id":"Q4333469$47387BD8-F71C-4410-9566-B0F6CFF4D33A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f966822e64a645b9a80ef1fbef9a36d9d7694931","datavalue":{"value":"W2102941940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$D301FCD8-9264-4777-9E40-D5FEA2E41C9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"075f22b9afe2a58dd22052f5feb3620e09f48e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4940719,"id":"Q4940719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333469$556FDAF5-C152-4F4B-9B58-5708D46B905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333469$A12AD80D-B333-4D3E-89CD-8A78AA18A7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333469$0D12020D-FC9D-4D82-8D63-2BDF25FEF721","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7106c5c1896ec26841bcddc7653b32e39879222f","datavalue":{"value":"10.1002/MALQ.19970430107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333469$0621267F-3C7D-43F2-AFAE-4C11D0B50DD1","rank":"normal"}],"P1643":[{"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":"98ceff2069301fd374f09cc8465223343bae5c19","datavalue":{"value":{"amount":"+0.813744843006134","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":"Q4333469$7287EB54-CB02-4FB6-B17F-28D4E0CAB6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6449b3e4c9ec7fe4109c777105706c898016fdcb","datavalue":{"value":{"entity-type":"item","numeric-id":3470458,"id":"Q3470458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f8b32d844ea38adbfc281c8db461097f5d3ae6","datavalue":{"value":{"amount":"+0.8019911050796509","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":"Q4333469$2EB0E55B-A42A-47EC-A502-C95C695FE004","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":"2d43f9435663f7fdb083c5cd5599ef19aade258b","datavalue":{"value":{"amount":"+0.7977349758148193","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":"Q4333469$67B9D19F-AB78-4847-ADA6-E0AB55D855E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b58dbec9073da762edbb4dd209745b5b5f2eb14","datavalue":{"value":{"entity-type":"item","numeric-id":5014592,"id":"Q5014592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13bdc000dfe8d91c9e64bba13e91c096b470c42e","datavalue":{"value":{"amount":"+0.7963880300521851","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":"Q4333469$9D87106F-7DE9-4693-8E35-8647AD61C883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aff963485e63f5c1f01fb1badf980076a1a21e9","datavalue":{"value":{"entity-type":"item","numeric-id":3612667,"id":"Q3612667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dbe7299550302a44658aaf93e4ad6862f8251e","datavalue":{"value":{"amount":"+0.7934196591377258","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":"Q4333469$C13A2CED-6362-453E-95CD-1A74B4085F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4333469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4333469"}}}}}