{"entities":{"Q3030800":{"pageid":3041516,"ns":120,"title":"Item:Q3030800","lastrevid":49097341,"modified":"2026-01-06T14:28:38Z","type":"item","id":"Q3030800","labels":{"en":{"language":"en","value":"Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019029"}},"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":"Q3030800$C9641829-740C-43EE-815B-8862E8465DCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2df65c6f417236daa706beeeb1c084ad520e1cab","datavalue":{"value":{"text":"Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3030800$FE3A06D1-1FAB-4BBB-BE28-6F637DA3F8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdbee1a045b54b482b1638ff2ebd9004f7961207","datavalue":{"value":"0627.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030800$B78F22D6-8FDA-4363-B6BF-ADC2004A6273","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"371051b807333e6b3e21f623f1262fb01adc833a","datavalue":{"value":{"entity-type":"item","numeric-id":209452,"id":"Q209452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030800$2BAFF2A9-02A9-49C4-82A8-9590662897A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030800$D2D53E64-5923-4384-9E68-4D300EA9DF55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3030800$343561FA-7390-4649-85DA-DC993D5A9AB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030800$3D97C3F3-B737-4C6E-A57B-ADEEAC8E17C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030800$1BCF9B4A-6B88-43C3-A557-04959172D9AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd872657032d2981a726490cbb12fe8ad04aa5f8","datavalue":{"value":"4019029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030800$E4BDB333-5ED2-4FE8-BBBD-CE3864A6B04B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d25b31b9f29f04e951adcf7b8ed80798c85bee5","datavalue":{"value":"Lambek's syntactic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030800$88A4F667-1C27-4E10-B137-8B648319A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030800$C03C3B0D-FF51-46DC-B827-2DD1C8F46F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c05dbd9419a05648aedbec8e173cf3ca03d46bf","datavalue":{"value":"unidirectional fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030800$C2BEA125-722A-42E2-8A72-C9D93FF9467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b697aa180df812b4ab1cdb9656150da4b16aaf1","datavalue":{"value":"cut-rule axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030800$7C7DBD49-B3DF-4C66-93E7-D713ACFE2BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419b0e7c5cabec84942237fc345f3ebbecbeb8e9","datavalue":{"value":"formal grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030800$F89185FA-9292-4B7C-830B-A9AC59765E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849e95b8b5ee57155e6004cdb160266010376acf","datavalue":{"value":"syntactic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030800$58FA6321-AD8A-4A73-8CAA-63EB63843D96","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":"Q3030800$980FD518-9D7A-4D82-8D75-5C8A6B460527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b36aa53fb19057522b243d411cb87a070e2d45c","datavalue":{"value":"https://doi.org/10.1002/malq.19880340207","type":"string"},"datatype":"url"},"type":"statement","id":"Q3030800$54B0F1F7-11D0-40B7-B026-DD089E233918","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d34c9b94e2e0df64336efe18fe7b2f1883d5517a","datavalue":{"value":"W2057690383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030800$40E57310-1552-45E8-9498-7D60E0FDFB4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef811905e20e67c432d5476dae9de42275c5300e","datavalue":{"value":"10.1002/MALQ.19880340207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030800$5E3C03F4-4043-43AE-8BAC-E45A496EB53D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fa931c1b05414aaafe5ab2a813a2264e3843dd","datavalue":{"value":{"entity-type":"item","numeric-id":1582323,"id":"Q1582323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb806474fc9de780d0378990815db3b7dd77c7e","datavalue":{"value":{"amount":"+0.9211970567703248","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":"Q3030800$BEAB4D6D-9DCC-447D-BFCC-874E997DE28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c384ba8328795ea091eca166675f8c940e9d78","datavalue":{"value":{"entity-type":"item","numeric-id":5946341,"id":"Q5946341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4963194ec853a8dade533a18022779773176fa2","datavalue":{"value":{"amount":"+0.892737090587616","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":"Q3030800$24D17E50-1503-4CA3-ACE6-C2E9E84865F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adb8886034737fdab808625f84344866595c916","datavalue":{"value":{"entity-type":"item","numeric-id":3035262,"id":"Q3035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282bbf23246204e88d4915fad8c1e66cc957e64c","datavalue":{"value":{"amount":"+0.8924381136894226","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":"Q3030800$4081D1E0-66CF-4652-A7FE-9A581230E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0ced920ec4a2afa36c9fc4232cf06304fa63dc","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368eed0724fd8259d7225f0d46e799202e0213cd","datavalue":{"value":{"amount":"+0.8868775367736816","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":"Q3030800$C2DF4388-6CDF-4365-81E4-6EBA07A1E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422263aa66d81aa1256b236807d6c4a66b4f78","datavalue":{"value":{"entity-type":"item","numeric-id":3577908,"id":"Q3577908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550390e8bd6349c9409ecefec3d64dbf5c248af0","datavalue":{"value":{"amount":"+0.8734115362167358","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":"Q3030800$049717A2-BE0D-4FB7-BFAA-B11F1D92826C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030800"}}}}}