{"entities":{"Q1854380":{"pageid":1865122,"ns":120,"title":"Item:Q1854380","lastrevid":71505051,"modified":"2026-04-13T22:42:23Z","type":"item","id":"Q1854380","labels":{"en":{"language":"en","value":"Using tableaux to automate the Lambek and other categorial calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853131"}},"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":"Q1854380$9849B0FE-9EA9-4D07-A4E1-1D19C226F554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4eddfbe72d2bb50fc9c10952bf6ab2754a22949","datavalue":{"value":{"text":"Using tableaux to automate the Lambek and other categorial calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854380$4F620254-CE82-4E14-B36D-516EEC94C066","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b35a72b50011343ba24127b2ddd824e10bf15ded","datavalue":{"value":"1006.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$D23C44CF-DEF5-4080-AF7A-FCC0AB6200BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be642be4dfaa87974330d2e1a1ee24657a49b427","datavalue":{"value":{"entity-type":"item","numeric-id":1854379,"id":"Q1854379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$13AB6326-47EE-42D2-B1AB-4E1D6FAF2FD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$E0850A1F-1208-4152-A5CE-5DF92165696C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854380$547F3FBE-9035-4B52-8F07-905E4245A048","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$148E1490-AF1A-4162-B45F-92437D9B9C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$65AA8DE4-8CEB-4B9B-9715-B65985D0DE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$5C70E6FE-D05E-488B-866B-BC81BC92CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$BF8D502F-AC59-41FB-9A9F-912344759506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48b8f5cc8cad4eedf85833be160a035603950014","datavalue":{"value":"1853131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$F4B73A50-6D4C-4F28-8E7C-CD8CA216D27B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$BC812D3C-B64C-46CD-BA66-727972663597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$08020071-74D8-49A9-BDA4-04DA29CFACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41b32b1dd67d2741b2fc7b40ad060e65adf4ef9","datavalue":{"value":"labeled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$74466C81-4419-47BA-ADF4-E29B84A9BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e6d90592be5c4a412b01d85f8ddcb6b41a9042c","datavalue":{"value":"LLKE tableaux system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$516B0806-2101-4FF1-822F-E584E8DB519E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c6933d546894f08f6f4cd20ae0ca2926822994","datavalue":{"value":"categorial grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$21B81698-6ADE-4610-94C8-9394C3535342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc0c56038f06cd7288d3881f3302cf28a40fd65","datavalue":{"value":"labeled analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$01573683-C5B5-48D9-83D9-4D2DA2CDA430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0bd6d92a74377228213483b7f0e15b2d9fd3fb","datavalue":{"value":"natural language processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854380$3C592C5B-A165-4487-BD36-9ACE8BEA5552","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":"Q1854380$2329F5EB-279A-4FAB-B1FC-FB3BD4B830FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ce27cc8300a15bf80981cfbf5c73c44569b1636","datavalue":{"value":"https://doi.org/10.1006/inco.1999.2853","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854380$4B1F7033-C89A-413D-A479-AEB621D7571D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63e0ff209daa739dd2cb732c1b42b004e36d7cf4","datavalue":{"value":"W2005322816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$A8EFB99F-4671-40D2-9E77-AC3F06C2CD8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4c8fbd6fb38bb8ed4d9018b2d47e906aad68c1","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$4E470F7E-6B7E-4A18-9F09-140DB56D2ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c783c6f7e1f3f446b361f6768ef38806ec4dc2","datavalue":{"value":{"entity-type":"item","numeric-id":4834292,"id":"Q4834292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$8537B626-EA37-4522-B832-D47C89FE49C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df75431271723f6978ad2aa758c96fc05b9eac0f","datavalue":{"value":{"entity-type":"item","numeric-id":1344886,"id":"Q1344886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$3AA1253A-E609-434A-83F2-B4203BEC0C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$032301C9-B0BF-4F1C-B8EB-7C1F3AA88BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$B3EE2F65-91F6-43F0-B111-D1CAA53F1B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$46B0699F-1CF8-4C07-BB0B-6AFABC664F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$B64D3D52-C338-4ED1-8C8B-6FA6E131F37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f4454559b1e0d93771cdfe76248300e027df06","datavalue":{"value":{"entity-type":"item","numeric-id":4842280,"id":"Q4842280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$37D682F7-CD55-4CB4-8140-87D4C06D76ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$3A657A2C-AF91-4348-B568-DA840EC010CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7699ded2bb750f38e9d4f5b9952fec74e72d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3919680,"id":"Q3919680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854380$0BD1C010-A3B3-48FA-84E3-D560FE417127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86586c9847307887c853b7a44f86a4787e643ad5","datavalue":{"value":"10.1006/INCO.1999.2853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854380$86BD6527-F556-499B-8CAE-5FA4E695B145","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08c7d25df345937a05ff90c5152315ac7a03ed","datavalue":{"value":{"entity-type":"item","numeric-id":4647559,"id":"Q4647559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c428f0ae08474509a7cc5572a0482f97433e7d","datavalue":{"value":{"amount":"+0.8293315768241882","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":"Q1854380$444E0B63-AA69-4353-9572-EB2F3DBB76AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cceba7b6b2a8d24bb25a62c136484291495c91","datavalue":{"value":{"entity-type":"item","numeric-id":4263153,"id":"Q4263153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7846efd9d97f94b0f0173a1812966bd0efd2b8d6","datavalue":{"value":{"amount":"+0.7982193827629089","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":"Q1854380$B5EB7EF7-66F0-49E9-A72E-126A5CCC2C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5b5b95e6a54a6641de29b55bdcb9e73b853469","datavalue":{"value":{"entity-type":"item","numeric-id":4924540,"id":"Q4924540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f19a7eebb70acc9ce80582ee48d67f4543940c","datavalue":{"value":{"amount":"+0.77665776014328","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":"Q1854380$51D7F853-1867-4C49-A7C9-EF660CBB15DD","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":"fadd9f8c490f5552ca31eb43b7229cf845b6ff6d","datavalue":{"value":{"amount":"+0.7720510363578796","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":"Q1854380$41D61316-D473-4579-B014-D1D0A624EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49476276299c841150249ed7d8eeb2c4d4220407","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099f5b517e7eb4e10e07380fa11b763eccb2ed1c","datavalue":{"value":{"amount":"+0.7703648209571838","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":"Q1854380$E359D115-16B6-4293-96FF-DC27298D015F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using tableaux to automate the Lambek and other categorial calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_tableaux_to_automate_the_Lambek_and_other_categorial_calculi"}}}}}