{"entities":{"Q1188935":{"pageid":1199684,"ns":120,"title":"Item:Q1188935","lastrevid":70233399,"modified":"2026-04-13T13:22:58Z","type":"item","id":"Q1188935","labels":{"en":{"language":"en","value":"Language in action. Categories, lambdas and dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 49680"}},"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":"Q1188935$E93AF870-3141-4087-83EF-FDDCDBE4BD07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a503e4141a1b8c1b2e9b526fcc15594be2317370","datavalue":{"value":{"text":"Language in action. Categories, lambdas and dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1188935$BAD098EA-CEAB-427F-A5B3-6EB7683F5863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b15d6f390802246d2e9678e337d75fbea99fe88","datavalue":{"value":"0717.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$DE7CE926-A120-453C-AA1D-178A9556B902","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188935$DC20BC1A-2A22-41BF-9FA6-62E873B0E6A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-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":"Q1188935$7CEC7266-6F3D-4BC9-A2A0-63449583328C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2494b444d748a8b01fb3719e0b6d38d47b3d9b72","datavalue":{"value":"This book aims to set out the basic ideas of logicl syntax and semantics relating categorial grammar and lambda calculus, the former of which plays a prominent role in computational processing of natural languages, and the latter of which has a conspicuous relationship with the semantics of programming languages. The exposition has a considerably wide perspective, pertaining to mathematics, linguistics, and computer science, though the author's concern lies more in a unifying logical treatment for a number of disciplines than in a thorough exploitation of each ingredient. He touches upon various logical paradigms such as relevant logic, modal logic, linear logic,... from a standpoint of information processing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$2025889F-6B4D-42CB-B609-47359EAA4AA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188935$F4D78407-1E7D-4BAB-9009-4DCAA2BD3C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$C37A4673-3055-47CA-A156-E28A73FE2475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$DC682831-3F42-41BA-99D3-E71AD50E8CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$A57B8F61-4A32-446D-B5F7-AACD86DBF2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$ADB3DC5A-E92F-4875-A925-78A0628CF082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$C862F261-E1DE-453A-83DA-BE4CB6C91470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$CB5D6288-F65B-4309-A865-0DD43F375395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$BF1995AA-5AD3-436F-B1C8-9A281D154889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$514D877A-B7A5-4503-8D92-FCEE1C64222E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb48e67a055e48904bae943b9eea98d42242b084","datavalue":{"value":"49680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188935$19AE488F-2F4F-4A57-94AF-8F82550949FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$E969FE75-B66D-4BDC-97FD-A7739331459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$E5387762-B3AC-4ABA-BC0F-8F4DBBF7BD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$7BA77B40-921F-4F13-B4BF-718549CD8F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$008AEB63-F8F4-4557-92A1-C1B893367FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$2CB1B541-63C7-4FB1-94D2-AFC7DBE147D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c5687589c5db1d2c91614fbce50eb34b4f5470","datavalue":{"value":"computational processing of natural languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$DCA319E6-F3F9-47A3-BBCD-B5B2DB4F6A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$26B8C286-2F2F-4FBF-92B0-C262E6E851EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$E5B1353D-A81C-4E44-ADCC-0C55A23D4C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$35935CBC-1838-4AE0-8FC7-A67E0F13662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188935$3BEAC96D-3FE4-4F57-8252-2333AF55A46B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188935$3C06A852-CAE3-4381-BB78-15BFBF05D769","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":"Q1188935$E8FBA6AC-D58B-4457-98DA-827AFF4640CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbf1c9ef810ee1a800d7693ce6429e93435dc3b","datavalue":{"value":{"entity-type":"item","numeric-id":3489980,"id":"Q3489980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53111b810a283149cc7f5b6e16b253df0d6ca182","datavalue":{"value":{"amount":"+0.8440905809402466","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":"Q1188935$D13D6A83-A6F2-46F9-A269-BDB0962E9550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db9f6cfd000c18f95ce8aa5fb078f7fcf741d19","datavalue":{"value":{"entity-type":"item","numeric-id":4398333,"id":"Q4398333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2b9586133b513693187ec6e68d8d703cd2545f","datavalue":{"value":{"amount":"+0.7874329686164856","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":"Q1188935$A6D02DA4-12F8-41B0-B329-FD64781C01E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434e67f6dd4290a785d5db289bcbca6ae2f8747c","datavalue":{"value":{"entity-type":"item","numeric-id":1177646,"id":"Q1177646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8ef6150c68cb6b0d707fb0ff123577e11b0f73","datavalue":{"value":{"amount":"+0.7853284478187561","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":"Q1188935$9CB3EDD4-801E-48BA-8EFB-9A46C6022094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a13afe6d27028507cdda903de12ed9670456b0","datavalue":{"value":{"entity-type":"item","numeric-id":3830983,"id":"Q3830983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9852739964fa538ade7591339c2b673c449f463","datavalue":{"value":{"amount":"+0.7799467444419861","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":"Q1188935$A228941F-645A-4F47-BE51-0291487A013B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language in action. Categories, lambdas and dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Language_in_action._Categories,_lambdas_and_dynamic_logic"}}}}}