{"entities":{"Q3541539":{"pageid":5571443,"ns":120,"title":"Item:Q3541539","lastrevid":88356458,"modified":"2026-06-04T14:18:46Z","type":"item","id":"Q3541539","labels":{"en":{"language":"en","value":"Deducibility of admissible rules with simple premises in the Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5373739"}},"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":"Q3541539$25C1BC1F-A773-43BB-9513-1CBCA13E3D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29703f6c5aeb77dcedfeb1a4d7533ff0268cf42d","datavalue":{"value":"1164.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541539$F4B8B14B-6E35-41F0-835E-1400293BA286","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd2bbdccdbcd6f6999202b08f907163767b9d71","datavalue":{"value":{"entity-type":"item","numeric-id":3541538,"id":"Q3541538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541539$11978FCF-F09B-41A3-B497-521AE0E9B88F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dce74537eabe7c3b243e3875395bb0b445dd7b5b","datavalue":{"value":{"time":"+2008-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541539$7CCE17EA-0008-400A-AB6F-3568E982557F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541539$30AB7D15-742C-4F05-AD5F-27DFB4610C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541539$AD9AD217-D036-4ACA-ACD2-BFB4369FDBE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e811b58aae39410b79ba04bee4d07255e9ba4df","datavalue":{"value":"5373739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541539$0C371F5B-D751-46C6-82B7-7D941BFDF506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2eace1020d8c89fbf419c8f069b723152ef99d4","datavalue":{"value":"determined Lambek grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541539$DDBCA4E2-281D-41A9-97C1-C62C84008506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec296ff9a0500bfec894b797e53178c32b01a5ea","datavalue":{"value":"deducible objects of calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541539$34C59559-2D07-4B6F-BC56-891ABF553598","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":"Q3541539$29C74854-99A3-41AC-BC98-A1DC0505162B","rank":"normal"}],"P1643":[{"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":"0f6a564c82b40e401044531f0e9c9abdce91178c","datavalue":{"value":{"amount":"+0.7885384559631348","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":"Q3541539$36319EC7-E51B-4342-9B79-48201DA1EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96330a5db0f20da0b82436b76add29c4186e9dd","datavalue":{"value":{"entity-type":"item","numeric-id":2513062,"id":"Q2513062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9a09c970e83df34aae268c42f197037dcbf4c1","datavalue":{"value":{"amount":"+0.7853227257728577","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":"Q3541539$6683C71B-0372-4224-ADAE-134F066D887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a50fe8a9b6d485658da3382500f1baa08c67d9","datavalue":{"value":{"entity-type":"item","numeric-id":817678,"id":"Q817678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c057a1ee74217545e8549e0c1ee86f088e8847","datavalue":{"value":{"amount":"+0.7800830006599426","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":"Q3541539$2CB4F98A-5877-4B2E-AF92-AC5C4B148B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905c3d4b66390d4f7166d2cc30ac161fadeb740","datavalue":{"value":{"entity-type":"item","numeric-id":4287492,"id":"Q4287492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151d7d9b7d1b938ceebba1e1c92bfbdd15d03c6a","datavalue":{"value":{"amount":"+0.7732076048851013","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":"Q3541539$95D5707B-A262-4EB4-ACA5-68C9A8356685","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":"2ee7a59538dfb554de30f5b60564159fe5ca69bc","datavalue":{"value":{"amount":"+0.7713517546653748","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":"Q3541539$29C7B503-1D94-4F8C-90AF-BF48394AFC65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deducibility of admissible rules with simple premises in the Lambek calculus","badges":[]}}}}}