{"entities":{"Q1407574":{"pageid":1418314,"ns":120,"title":"Item:Q1407574","lastrevid":68634168,"modified":"2026-04-13T01:04:57Z","type":"item","id":"Q1407574","labels":{"en":{"language":"en","value":"A normalizing system of natural deduction for intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982500"}},"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":"Q1407574$4F55BC9B-98E1-480D-A3AB-1C056A35D264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2aa49abc854373f0be80113fba882531e5e3a0d","datavalue":{"value":{"text":"A normalizing system of natural deduction for intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407574$5D355E55-98A1-43DC-804D-9B6758B89E71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba860d301bd889e1234bdceab5fc780a2799a070","datavalue":{"value":"1025.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407574$2A471A7C-D4C8-41D8-9580-858FB0559A5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407574$498B4AA8-5A44-4912-BE2C-38D63A34BF64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407574$211E327D-4A5D-4C6D-B09B-5FEF2712439B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407574$DF02DDC4-D60D-45FF-9837-4287FC89122B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407574$44B03F0D-4AC5-47FA-823B-2D49D65D8790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407574$A619732B-7446-4AB7-A386-1BAC463A45D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db4a6ea6a1b618395ecfb00ee1eed98ad16e5c6","datavalue":{"value":"1982500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407574$39CA78E3-031D-45E1-A933-48FCB2A3CB2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c82483d1b556be55b524f4b2a99264dcdc85ce8","datavalue":{"value":"normalizing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407574$6F32C0FD-AE16-4EA1-AEF0-542F179054C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407574$4FF15337-ADBF-4AC8-9D0F-4A9F6D6E102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407574$9FD9A503-5574-49DA-81BC-FBFC3FDC6B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407574$64F0B2D0-C439-4BAB-9790-422AFF76D719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407574$ECBE0DF4-ACD0-434B-A9C3-DCEDA5A604B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407574$49552CAD-095D-4F3C-AD07-CC2A703C3123","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":"Q1407574$50B69B80-3925-40D4-9F0A-135C7AD30561","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8150ee8a4b59c6b53e46637895659f35e983d5b","datavalue":{"value":"https://doi.org/10.1007/s001530100136","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407574$7265AB9E-C940-446B-85C5-6CB846840CB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f130269aa8deeabc15e42c82a14c07ecc0d0007","datavalue":{"value":"W2000871436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407574$D20912EF-889C-43D8-A546-C473C7FA9F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3060cca7637a8a907af0ab632f0307c8c6225cb7","datavalue":{"value":"10.1007/S001530100136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407574$BEA04EC5-89FB-426B-AAFE-58D15F002795","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6dba9f748e3403d6dcafa58273bddf207696922","datavalue":{"value":{"entity-type":"item","numeric-id":1267849,"id":"Q1267849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cd458d2bf96ba72b0d979fe244b1bb5afa7f31","datavalue":{"value":{"amount":"+0.8784497380256653","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":"Q1407574$D7C4B38B-78F2-4A9B-8CB1-9EDF2192B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa1009ce93a2784ce6a9644d44a57fd852fa559","datavalue":{"value":{"entity-type":"item","numeric-id":4656555,"id":"Q4656555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ba05f2bdb99baed98880b954c69e4795b578ad","datavalue":{"value":{"amount":"+0.8743043541908264","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":"Q1407574$B61176B4-C00E-4A69-B2E8-9BF1D01AAC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073608e8fb4f5b41ee5771f2abb6e4482295dc07","datavalue":{"value":{"amount":"+0.8598651885986328","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":"Q1407574$44ACB1B4-2DBB-4D62-A7EB-EC8BECA6637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9ca9d5a73f8308ca40940da8d096cba8a83729","datavalue":{"value":{"amount":"+0.8583977222442627","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":"Q1407574$B1DD6DAF-3A51-463B-B03A-A619BD95DA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338b6d597dd36494889d3f54616cb6313da959fd","datavalue":{"value":{"amount":"+0.8435114622116089","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":"Q1407574$DA261BF3-27A3-423A-9270-02656159D64B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A normalizing system of natural deduction for intuitionistic linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_normalizing_system_of_natural_deduction_for_intuitionistic_linear_logic"}}}}}