{"entities":{"Q5414969":{"pageid":7444543,"ns":120,"title":"Item:Q5414969","lastrevid":51995312,"modified":"2026-01-20T17:20:06Z","type":"item","id":"Q5414969","labels":{"en":{"language":"en","value":"\\(L\\)-completeness of the Lambek calculus with the reversal operation allowing empty antecedents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6293315"}},"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":"Q5414969$88125DDD-ABD6-4963-AEFF-9BA40F386C07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f470a19816f7f58918447289812e70bfb008f91","datavalue":{"value":{"text":"L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5414969$C2CC8923-8867-422C-8CC2-2B74E6D5270A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cee15bc4b875b9840a096e0f7cfa73f8f702143","datavalue":{"value":"1285.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414969$484683A6-D6E7-443A-944E-E4B7E9993EAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e80b8a972b9025cc7ea8a0ea0ee00a64edbba40b","datavalue":{"value":"10.1007/978-3-642-54789-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414969$5567155C-EF30-4C00-BE86-58CF582BC305","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$1AB84FFF-6DB0-4AFA-BFED-7AB7BACC2D97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d02a77e378c8d37f781f05e2fdb6cacccb7e356","datavalue":{"value":{"time":"+2014-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5414969$7826E38D-D489-4236-AE8A-85C80D87AE2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414969$9D55FB25-ABAE-4BA5-9846-5DD4810A1B8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f670e4b1a668e6cfdd5d005010250d6df054527f","datavalue":{"value":"6293315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414969$53604DFE-D262-4B8B-B033-1B2F1ABA1389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$4F5FA9DC-6EC2-43A5-B5DA-47AEF1BE32A2","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":"Q5414969$B9949043-0E95-4F6F-A480-CCC8BBADB982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2456e841332d48b39e3df814511edc109af30e78","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54789-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5414969$BD27408C-9462-4122-BD85-D454DAE8AB16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85ed625f1add143d014595f8b0a8fb787d432ab7","datavalue":{"value":"W18206778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414969$1506CEA8-BC5E-4E37-A685-C3164A3B8FDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a3a63110540e7ae651a3c4bb8189b881770fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3964531,"id":"Q3964531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$2944B7A5-9AA9-43E6-953B-38A4799296C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576e444d059abc72fff2fe740a437de38c37cd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2903756,"id":"Q2903756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$95175BD6-22F2-4793-8D38-9682B5D3F0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145fba8e4a541c6bb9353cfa40289fbf53baff3d","datavalue":{"value":{"entity-type":"item","numeric-id":4981253,"id":"Q4981253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$6AB4B51E-632B-4B4B-A60A-A7617ED36749","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":"Q5414969$70EB4962-1811-4504-8421-A8BCE4BAA3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216ffba108b697b8ad4d0951ae283e2e0d09a945","datavalue":{"value":{"entity-type":"item","numeric-id":1899151,"id":"Q1899151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$427A38EA-FD10-47F7-8817-DE618CFE975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df97cad4a346c950878513db532e8ebaf86c6ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4218528,"id":"Q4218528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$C206A323-F62A-4A78-B762-BE38471EF943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0154aba13d18066b6642c001da9e4d3b1784c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3605542,"id":"Q3605542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414969$A56F118D-CFFC-48E6-95F1-E49CA9B08A6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50146cda4b736f7628da7f1ecd81c5aa102a2862","datavalue":{"value":{"entity-type":"item","numeric-id":4981253,"id":"Q4981253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb9aaf55e0cc9c36f6565c653031ba2ea9a5168","datavalue":{"value":{"amount":"+0.9298619031906128","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":"Q5414969$8B455247-EAFF-4A42-B73B-783B5A3274B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb4c3d335dc5eda5f090c59c614810a0f22b78d","datavalue":{"value":{"entity-type":"item","numeric-id":4218528,"id":"Q4218528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0044fcb1d10f7eb9542ed434cacc4cb7df133d","datavalue":{"value":{"amount":"+0.8732848167419434","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":"Q5414969$64880545-78D5-4235-838E-801653601983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcd868b152a3b9089aaa1439e8c32b9fef28f87","datavalue":{"value":{"entity-type":"item","numeric-id":2213927,"id":"Q2213927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4b8a52bd81ec94053ca52d5b3524ec1ab4d088","datavalue":{"value":{"amount":"+0.8732845187187195","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":"Q5414969$BAD08D3B-34A3-437F-8D1C-494C6E801BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18ef98c5a4a1c87ebb3962e6710ece34635719","datavalue":{"value":{"entity-type":"item","numeric-id":4761669,"id":"Q4761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2981c36034787f58c8dfe320362ed75fbd185e7","datavalue":{"value":{"amount":"+0.8557133674621582","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":"Q5414969$727623A4-E911-41F0-AE0A-BB2814BD2055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef525d9b17c81bd28c54ab31c3ccf89697726a3","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7712ae1b2d26372f6146dcbe2c91b086bad450","datavalue":{"value":{"amount":"+0.8416093587875366","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":"Q5414969$D920ADAC-E633-4871-B5A6-D0E82B50098C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5414969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5414969"}}}}}