{"entities":{"Q817678":{"pageid":819526,"ns":120,"title":"Item:Q817678","lastrevid":64565217,"modified":"2026-04-11T20:44:45Z","type":"item","id":"Q817678","labels":{"en":{"language":"en","value":"The Pentus theorem for Lambek calculus with simple nonlogical axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013018"}},"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":"Q817678$EE61F4B3-F1B7-4647-857D-DEABA327B9EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2db90a76a1fd411426b66e99ae6a1ab3b08283aa","datavalue":{"value":{"text":"The Pentus theorem for Lambek calculus with simple nonlogical axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817678$E8AD3E69-11BA-4F9B-9361-25659C2BF40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9f55e7c369d0bde5d96544a704110a0e85b7c63","datavalue":{"value":"1116.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817678$AB772D4F-05F0-4698-83FC-DB8F5B44B983","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8f08098af3c671704a2a2f393742ffb078ca7c","datavalue":{"value":{"entity-type":"item","numeric-id":817677,"id":"Q817677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817678$D01E22E0-7B16-4987-BA7F-91E513E39E32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817678$24CC1A2D-BB41-44C2-9DA3-EC1D3E984564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-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":"Q817678$B2871CE9-2BB6-4B2B-85BB-029E65399C33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52f9ade530b6e28cee932139b935bf81c7a0d3a7","datavalue":{"value":"In the paper a version of the Lambek calculus, \\(L(\\Gamma),\\) is considered. The calculus \\(L(\\Gamma)\\) is an associative Lambek calculus \\(L\\) in Gentzen-style axiomatization, enriched with a finite set of nonlogical axioms \\(\\Gamma.\\) The main result of the paper is the proof of the weak equivalence of the context-free grammars and grammars based on \\(L(\\Gamma).\\) The proof uses, with some modifications, the method applied by Pentus to prove that Lambek categorial grammars generate the context-free languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817678$D98F0807-4476-480A-8099-CA4D8B8BBCE3","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":"Q817678$32F59866-0577-4D3F-A438-0446911AD799","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817678$B05C81FC-6C62-4E89-A120-7EBDE8A4233F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817678$CF7FF957-2B78-42AB-A4AE-54EE433B64A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4273ac91690ec2151bced7c79cc6ddd6f69e7dc7","datavalue":{"value":"5013018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817678$EF6CA739-6CD1-4AA9-BF9F-FBB8C9515EEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q817678$ECD2FF7D-AF8D-48FA-A025-6F09ECB8F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q817678$E0A8EFDA-D0A4-4DD1-A9CF-BBD843322245","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":"Q817678$C7B62668-B600-42AA-A796-4796159B5D6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37eef690ee43c5d0d10b8fe8bf3454d57faacf57","datavalue":{"value":"https://doi.org/10.1007/s11225-005-2801-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q817678$6F4C0E29-1B23-4187-9F81-369CDB7F8E33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a787cf8f4ac75e504e341a412c1264ef5ef992fb","datavalue":{"value":"W1975040173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817678$47FBAB90-43FB-45E2-9C27-E49921303C6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817678$99168EB7-D74B-47CA-871F-FC7BF10B0FCF","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":"Q817678$D59DD2DE-A600-4681-9CF5-00F02D85E840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817678$EEDB8D21-E6A6-46EB-8F04-9C792DB9EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6975301ed207e1b0b3b09b8ebfb8e694c6e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":4263075,"id":"Q4263075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817678$979B121F-9062-4A96-8179-B0F2F5ADD585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4572e78885d1d761d3921cf459ccf6211831645","datavalue":{"value":{"entity-type":"item","numeric-id":4358060,"id":"Q4358060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817678$D959E803-268C-42BC-B7A9-AC6474722BF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7bb461aaf2788162070dfa5904acbc280dc3755","datavalue":{"value":"10.1007/S11225-005-2801-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817678$8F9BDE07-E1B4-4A2B-8D8E-D4F3889CC746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116bbfc36455a29f4e6449622f9132d7f420994e","datavalue":{"value":{"entity-type":"item","numeric-id":4014404,"id":"Q4014404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29d71eb74bcfcae9bcba0032e53afb0fbc69ba4","datavalue":{"value":{"amount":"+0.8204388618469238","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":"Q817678$38CEB58E-A12A-40DF-9E67-0427C43252D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd86b8f0cba66dd39959a5fe3ebadbca6e3f64c","datavalue":{"value":{"entity-type":"item","numeric-id":3167313,"id":"Q3167313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75372d7404b16d51d5c6271210a566304af59ea0","datavalue":{"value":{"amount":"+0.8149720430374146","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":"Q817678$C96C2607-A000-4AB2-BD94-C55047422303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6aefaea029edf474285f144aa615183eceb953","datavalue":{"value":{"entity-type":"item","numeric-id":4263490,"id":"Q4263490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6065a7ad6d00091465c2b9fc7d705cc3ac74f127","datavalue":{"value":{"amount":"+0.8048915266990662","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":"Q817678$77568808-DE1A-4120-87A7-CD33ED79266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af330c46f32215efc2eae1dab6bd3bf68579ce82","datavalue":{"value":{"entity-type":"item","numeric-id":1611249,"id":"Q1611249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf609a66cd522259fc86f4cea4e48544f969fe52","datavalue":{"value":{"amount":"+0.7939903736114502","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":"Q817678$76663B60-4F67-4861-B9F4-1A1A821DF2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24222d8ac42aed86bc2f8f4ec340d693d23b7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbb9e5f8d991f9d3436bc47250b2b4782dca9d7","datavalue":{"value":{"amount":"+0.7870898246765137","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":"Q817678$E187146D-7FD2-458E-8366-F25346591665","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Pentus theorem for Lambek calculus with simple nonlogical axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Pentus_theorem_for_Lambek_calculus_with_simple_nonlogical_axioms"}}}}}