{"entities":{"Q1264141":{"pageid":1274891,"ns":120,"title":"Item:Q1264141","lastrevid":70031781,"modified":"2026-04-13T11:58:15Z","type":"item","id":"Q1264141","labels":{"en":{"language":"en","value":"Combinators and categorial grammar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128795"}},"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":"Q1264141$D61C430E-5A80-4EC9-92CC-4573CEB88963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb6f667366ea4778daf029cde68ef672e2494c7","datavalue":{"value":{"text":"Combinators and categorial grammar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264141$4F5E9FE0-F4AE-4FFE-953A-D02BB9C527AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b4fb6afe116f3f4f1549ab94632fb67a7d72b26","datavalue":{"value":"0689.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264141$76C90694-361B-4080-A110-510C3EEAB197","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264141$FABA7F03-F759-42EC-B008-37550E493544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264141$2C81F22E-1B11-47A2-BBA7-32D53E77C3BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d20616052b88591fc20a248e8b729fbd49d76001","datavalue":{"value":"The paper searches for means to extend the possibilities of categorial grammars to eliminate bound variables from a language which allows both higher-order quantification and multi-place functors. Special attention is given to Le\u015bniewskian languages.    Given a Le\u015bniewskian language L, the author defines a complete extension of L by 7 combinators in such a way that the following theorem holds: Every combinator-free wfe of an extended Le\u015bniewskian language is equivalent to a wfe which contains neither quantifiers nor variables which are bound in that wfe.    The paper ends with a discussion of the problems of adopting this approach to a categorical grammar in which there are type-change rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264141$5E2226A6-1E01-48B8-8E59-43819A690D5A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264141$355161D6-BE9E-4972-8507-653590690343","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264141$B5259FBB-1F2B-42A4-B860-AC6A4D1CAC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264141$E18C00D8-9558-41B7-9918-D0FEE50F0D88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fa11906efd1473a950ee3282e2d50c837b6f5dd","datavalue":{"value":"4128795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264141$AEAA0883-EB1A-4D09-9550-43B7C29C724C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c6933d546894f08f6f4cd20ae0ca2926822994","datavalue":{"value":"categorial grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264141$E312888A-1161-416D-88BA-639F72A7D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c4634283ca7ba1620c04600747f55fdbbc63d1","datavalue":{"value":"Le\u015bniewskian languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264141$F6BBCC84-E23C-44EB-8234-485C04835349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264141$5A3B6CE9-E380-4C0B-A5A5-5DEEF4CB3C71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a89b6ecaa57994549e954017043d56c1e0a4c28","datavalue":{"value":{"entity-type":"item","numeric-id":918949,"id":"Q918949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264141$363C7033-A0E9-4B69-BA57-2F03B43246BF","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":"Q1264141$B38AD5B2-90B6-45D7-AEB9-CB36EBC50154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2b6a1c6d62b9f7189125b6f23cf287c129532e3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635081","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264141$26E5B55C-11D6-4DF0-970E-A772636396B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29f59c2f3b973289b488dddcfadcaad04d79c5e4","datavalue":{"value":"W2026822390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264141$061EF461-2EFE-45C6-B226-AF24A81B7A9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c29b66d758abf010adf08ab5bb5fa9e46459d0ed","datavalue":{"value":"10.1305/NDJFL/1093635081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264141$B2AB98CF-5383-48EB-AF72-44B1773BD731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf33f397d7527e30a8d3f26a93f3fb706496452a","datavalue":{"value":{"entity-type":"item","numeric-id":4882813,"id":"Q4882813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31151890599e53c045bb777cfb539ee63208f119","datavalue":{"value":{"amount":"+0.7887221574783325","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":"Q1264141$42DC8620-7257-4731-ADBC-F8C4A58EE9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017b58749d931dc35ca16e1a4a5e7c3ef661be3","datavalue":{"value":{"entity-type":"item","numeric-id":909654,"id":"Q909654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9001070ac2eebd26c7a477ba3781417338b2ac36","datavalue":{"value":{"amount":"+0.7884132266044617","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":"Q1264141$0538A480-BA79-4347-86EE-D6A6906215EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb298871e40d4d3f08ac5354edc9289d91188632","datavalue":{"value":{"entity-type":"item","numeric-id":3357555,"id":"Q3357555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c9d661cab0aac0c08d1f54080d1e1b002b6fa9","datavalue":{"value":{"amount":"+0.7810967564582825","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":"Q1264141$77D3748B-6456-471F-A456-003D8C102A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5bdc14088d65ab3ed824c656e97ac472bccfd1","datavalue":{"value":{"entity-type":"item","numeric-id":3147358,"id":"Q3147358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6a82604cde0143e9634a61898a36c19fcb6d00","datavalue":{"value":{"amount":"+0.7785462141036987","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":"Q1264141$52E23F4E-AF49-42E5-9013-21AA95CEB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34efaed3e2faf79adc16d01d27c9b1b07f9ea3b","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6a82604cde0143e9634a61898a36c19fcb6d00","datavalue":{"value":{"amount":"+0.7785462141036987","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":"Q1264141$702F7F2B-DDF0-48E8-A535-96FBD9F18EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinators and categorial grammar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinators_and_categorial_grammar"}}}}}