{"entities":{"Q5382579":{"pageid":7412153,"ns":120,"title":"Item:Q5382579","lastrevid":41222282,"modified":"2025-04-21T03:26:17Z","type":"item","id":"Q5382579","labels":{"en":{"language":"en","value":"Craig\u2019s trick and a non-sequential system for the Lambek calculus and its fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067261"}},"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":"Q5382579$1A3DAF7D-58C1-473C-A737-D07D1BB0777F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"299baf4d962b7472c11104fc02ac5b059de85506","datavalue":{"value":{"text":"Craig\u2019s trick and a non-sequential system for the Lambek calculus and its fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5382579$A15EAC6E-BD41-4C32-A1BF-B5B8FF61AE1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e296be2cb5bde7ba7b2d8e1596b60ca72283c","datavalue":{"value":{"entity-type":"item","numeric-id":5382577,"id":"Q5382577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382579$69FC6502-C017-464F-8BC2-4CB3BA83E0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bacd5cef3c8d1d4865b214789a3ea140b73917af","datavalue":{"value":{"entity-type":"item","numeric-id":5382578,"id":"Q5382578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382579$62EC5C1F-1F06-434E-80B0-0C4F6DF52424","rank":"normal"},{"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":"Q5382579$419CEA27-231E-47E4-929A-1F6E6E8BED8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382579$543AAAA6-75EB-44D0-828C-D88D6BEE22DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5382579$DE41A797-CD2B-4BDA-9C8B-B52E8426786F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382579$2E25602A-7945-4473-A95F-AB5B8625D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382579$CFF5F161-E806-43B0-9BBA-2D8D7C55F3DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba1bd627ae12dd1c288269fcbfa542dceae7c40e","datavalue":{"value":"7067261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382579$B7C97473-9F1B-4D8B-A21C-FAC47C48B598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7542fcab71e8bf05ea8670e7e3e6ce98b2caa98d","datavalue":{"value":"Craig's trick","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382579$C066B6DB-EF31-4878-ADA9-C057B052980C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382579$3BA87171-6D88-4464-8318-831BA493F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77c8d21d7907ba1dbbb91a81f0a0a18f5e3e724","datavalue":{"value":"non-sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382579$D1CAD12B-7FB3-452D-BB93-F13FB5CECE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382579$9918DAB4-A527-425C-AC1D-FB4348980FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf67210d986acd5cab5ea3d8aedd7c5fff2f800","datavalue":{"value":"Lambek's restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382579$0B3E47F8-BDBA-4E69-B697-4BEC622EBA31","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":"Q5382579$13DCAE0B-913B-41DC-B383-74E9BF59F03F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7973383d657b55a3da5edbd41bc7f784a11165b3","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzy037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5382579$492FA46F-30D3-475D-83F1-EB93B7F8BA37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6e3f2b753fd2eb4bef5c3fde0326403ff6c0287","datavalue":{"value":"W2890182348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382579$7BCF63BB-FB8C-47FC-BECE-C819AD2329E0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c98f1ed65acf4c83a480224ab50886e21311b67","datavalue":{"value":"Q129406880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382579$1FCAA71A-F499-470F-89A8-9B1CF8215CC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"233029c6bf14c0f076214a50a3b1bcce5a6eec04","datavalue":{"value":"10.1093/JIGPAL/JZY037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382579$F56F1FDC-4728-49A6-8FD7-D002ED8909D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bfa494637aa4729afb89610850cf8b75def97e","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ee26be223bda7dcb20234598f0d09b4a6717be","datavalue":{"value":{"amount":"+0.8819238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$CFF6E80A-4374-40A4-B312-B66ADDE0E13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2a4af89c66d52529d6d5fbb65a7704934347b4","datavalue":{"value":{"entity-type":"item","numeric-id":2904061,"id":"Q2904061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a8b2aa47bec21a51d3832027b014968dd49252","datavalue":{"value":{"amount":"+0.8593237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$FB37A1D4-6D71-47AB-BF2E-892A245FB437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cde13ea6f6c2f6731e72eed97e3d12401d7614e","datavalue":{"value":{"entity-type":"item","numeric-id":5198508,"id":"Q5198508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416e7f249a7990544463a6b079380468af63bf69","datavalue":{"value":{"amount":"+0.85512024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$85DC4E5E-25D5-45B6-80EA-28C012C9E758","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":"f93b27ca6b3c06fa195cb414fea399cd2def8cea","datavalue":{"value":{"amount":"+0.8503507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$7240393A-1F0B-468D-AFE2-123CC08180D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d4847d0d339f0afefdb049455eaaf956d0e95d","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe04e5de5ae4f7bddf719676e144a02bd43c763","datavalue":{"value":{"amount":"+0.84970576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$84E5DD37-13B7-425F-9541-B85F1D96B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0417280f0d5f038c7a8c9e5a8315d75d9e47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4946630,"id":"Q4946630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c181824b283d158420356157a0ab4b1cb787e97c","datavalue":{"value":{"amount":"+0.84957814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$269F46E6-2E72-4E66-BEBD-2B3C0BA1E81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f1501fb8bdb6c855e2417359f0658f589c2934","datavalue":{"value":{"entity-type":"item","numeric-id":2259014,"id":"Q2259014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f75fb8d1c28a654d346e1d4405d188d731dc28","datavalue":{"value":{"amount":"+0.846815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$E8F134EB-22B7-477F-9DC3-87CCD7229DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f181cb79dec042251ca7662620bf9bbf5b5d27","datavalue":{"value":{"entity-type":"item","numeric-id":1850955,"id":"Q1850955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bad95551d9ba5280cd05c056fd76cdd2384c6c1","datavalue":{"value":{"amount":"+0.8464772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$7A49D84C-2612-4980-82BB-0E7762DEBC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a36b64c65f3f5e25bcf0a82c6f93f1c5fa1758","datavalue":{"value":{"entity-type":"item","numeric-id":5258963,"id":"Q5258963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0867e25bbcda846348e63056f0c72d6a4265343f","datavalue":{"value":{"amount":"+0.84581554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$24AEEF21-885A-45FC-A259-69F4E38EA18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b091658d13bc9d98b786a6b99a862baadc4999ed","datavalue":{"value":{"entity-type":"item","numeric-id":4923572,"id":"Q4923572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6949caead0b9df3d89ebf17f057c1ae49b83bab","datavalue":{"value":{"amount":"+0.84383154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5382579$B97138EE-4996-4B82-9DC1-87031799971E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5382579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5382579"}}}}}