{"entities":{"Q851198":{"pageid":853046,"ns":120,"title":"Item:Q851198","lastrevid":64863978,"modified":"2026-04-11T22:44:27Z","type":"item","id":"Q851198","labels":{"en":{"language":"en","value":"A `natural logic' inference system using the Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073814"}},"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":"Q851198$E1D7381C-E04A-4FC1-82F6-7FAC9A678434","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"681f86b7748c2043a8d80a64fb1d92a7c7c498f8","datavalue":{"value":{"text":"A `natural logic' inference system using the Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851198$7319D4D2-868E-4213-B699-140CDEEF326B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21b19207447bdf66c79fea1b6042655bad28da7e","datavalue":{"value":"1129.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851198$98786B6C-3DA7-4806-BA21-E7B6BE3E2976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$A305C896-DFD6-4A90-8288-710999FE561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$B314444B-AC84-40B9-A4FF-FE4709AB6475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59624fe6ccc6740af6711c84320387c6c4ea87b9","datavalue":{"value":{"entity-type":"item","numeric-id":704020,"id":"Q704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$D7F7401B-B251-4C4C-BD08-FBB8387848A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$695F7F29-72EA-4067-A229-D94A1880B32E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-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":"Q851198$67C3649F-1BC9-4D9A-A49D-7180F46D06B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e354863e100f40d58008248b461e3d8b3c03667c","datavalue":{"value":"In the paper the construction of a special inference system for natural language is presented.  The proposed system, \\({\\mathcal L}\\)-based Order Calculus (\\({\\mathcal L}\\)-OC), is an improvement of the system offered by \\textit{Y. Fyodorov, Y. Winter} and \\textit{N. Francez} [Log. J. IGPL 11, No.~4, 385--417 (2003; Zbl 1076.03529)], in which the Ajdukiewicz-Bar Hillel AB calculus has been replaced by the Lambek calculus \\({\\mathcal L}.\\)  The system \\({\\mathcal L}\\)-OC, as opposed to the system by Fyodorov et al., derives inferences using proof terms representing syntactic derivations via the Curry-Howard correspondence. This system also includes an abstraction rule and standard \\(\\beta/\\eta\\)-normalization axioms. Moreover, it enables the formulation of non-logical axioms about complex expressions.   The proposed inference system is illustrated by examples of using the system for deriving inferences in natural language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q851198$ED289009-1922-4B36-9CC2-EB5CB5F12998","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a8ae310966d8907b73b3b6c369333d41663bd73","datavalue":{"value":{"entity-type":"item","numeric-id":592502,"id":"Q592502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$C801EC64-F17E-44C1-B317-1AEBD314317B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851198$9D10B979-5024-4F0C-A54A-53BB6140B85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851198$7ADB12DA-D02F-4AB3-9281-DB689EA3AE47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"359c088f53c942f521f06f8db0aaed9e682f99d1","datavalue":{"value":"5073814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851198$91696061-6800-4F66-B526-5C637DF08F9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b58af4364b74746f039a9d4954263bc35d3005f","datavalue":{"value":"natural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851198$E2EDD619-6DB1-4F48-9E63-06001914566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q851198$CF20BEA1-149B-402E-B9D8-8EF1A87F5ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q851198$8E061CFD-39C1-4410-8D95-64D754058671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c007a666d2f1971ee566f349935d09ba09d6ebe","datavalue":{"value":"inference system for natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q851198$0762B451-46B2-4359-BB39-55909AA608A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q851198$FFA76C19-B5F0-4459-92B9-F236D1CCFD85","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":"Q851198$31FD5A9A-0A60-4540-9082-B3ED55A5798D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d56b4fddb2e85c58c9bb5cdd781f3365d3e9a4a8","datavalue":{"value":"https://doi.org/10.1007/s10849-006-9018-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q851198$14AEF405-7D8E-494C-B4D6-5B854CEAEA16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b484d15ef80710a22c2931422e81ed4b071f09","datavalue":{"value":"W2132174274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851198$3DF01627-8A3E-4ADD-B70D-4D47FA54178D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac311743a422c4540d751d726d3e399af60f5ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3220566,"id":"Q3220566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$0AD071E1-EF98-46E2-96B8-874048EA429E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620abbca061ec8ac0958091197da745fa979863","datavalue":{"value":{"entity-type":"item","numeric-id":4454091,"id":"Q4454091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$305D3A25-9744-4154-92BE-7DFBA66B89C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a06043cabfdf1bed4266f0e66e1ffa6ee1ecad","datavalue":{"value":{"entity-type":"item","numeric-id":4570895,"id":"Q4570895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$73899DD4-5AE7-404F-96D0-9CEEFC3528F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$708F2247-17F6-43A8-8EC1-622241A75B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f2a91f73e977fa33df8e44bb9f283acb979a41","datavalue":{"value":{"entity-type":"item","numeric-id":5541281,"id":"Q5541281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$54C85650-2490-4D9C-A64D-1118B36A70AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfbf3ac1ebdb5debeda586976c818d6af776166","datavalue":{"value":{"entity-type":"item","numeric-id":3033743,"id":"Q3033743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$16215969-85D3-408C-AB2A-B5D8A4337269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62463c14f43039c528f3fd9381c68897c93e0974","datavalue":{"value":{"entity-type":"item","numeric-id":1827411,"id":"Q1827411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$AAC8E20B-EA98-46AA-9CF7-DCE2BBB35BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$86921C38-3629-4E07-8E2C-53C300609BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9783e3e23349ca1090bdc2a21f9dcc3411d4386","datavalue":{"value":{"entity-type":"item","numeric-id":851198,"id":"Q851198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851198$E4690685-3E69-4136-BB69-2437C6A86FCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9039944fbc0341344418fc2a8b0f74fc2937452","datavalue":{"value":"10.1007/S10849-006-9018-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851198$21E062CE-954F-41DA-9725-110C9E6521BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c1a4eb9c1eae4661ad490d6b1c40714c345869","datavalue":{"value":{"entity-type":"item","numeric-id":3520236,"id":"Q3520236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cba22fbf0341d2735d1894869f88c63bca48053","datavalue":{"value":{"amount":"+0.8141734600067139","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":"Q851198$7FE733CA-0DD7-47C8-9241-EE399A3D3413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8af24cc4bf6f53ab1ee119c5ad9a7ba3028d000","datavalue":{"value":{"entity-type":"item","numeric-id":4454091,"id":"Q4454091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e53691244f07ee90a50898bcef433c01693e52","datavalue":{"value":{"amount":"+0.7943882346153259","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":"Q851198$89509059-DE03-4450-B824-8CAD1A3D9B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea58898e9ff126f372921685da15a3ce0d19110","datavalue":{"value":{"entity-type":"item","numeric-id":4286213,"id":"Q4286213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec90fe58b4e4c3a1b71d2aafe8ca4cc646b6c40e","datavalue":{"value":{"amount":"+0.7896435856819153","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":"Q851198$48DDFE2B-65DC-488D-97B9-E20B1F521F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef34a10051041dcea76d2c5b43798f79d4625bf","datavalue":{"value":{"entity-type":"item","numeric-id":4933251,"id":"Q4933251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8186920c97bf1c312e152d7e30c7cd88d40dd711","datavalue":{"value":{"amount":"+0.7763583660125732","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":"Q851198$A362704D-A099-4E25-99DA-CE327BBE8777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29b19a0927d96908658ea5e6d1c723a2f71a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d2efad91d2c7cb6ea69dd49edd352ee849d939","datavalue":{"value":{"amount":"+0.7713292837142944","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":"Q851198$D02B3E8E-034F-4A0F-A77C-B46E873A6F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A `natural logic' inference system using the Lambek calculus","badges":[]}}}}}