{"entities":{"Q4924532":{"pageid":6954114,"ns":120,"title":"Item:Q4924532","lastrevid":98193254,"modified":"2026-06-05T16:53:48Z","type":"item","id":"Q4924532","labels":{"en":{"language":"en","value":"Cut Elimination in a Class of Sequent Calculi for Pure Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171447"}},"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":"Q4924532$D5921BA5-FC8A-4FE4-988D-ED5A4D9B9DFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9de1c843da2ea90c34d8393408413cd7d1ea3445","datavalue":{"value":{"text":"Cut Elimination in a Class of Sequent Calculi for Pure Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924532$33CF4B3D-E70C-43FF-AAC6-6B4559BAE393","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74eb01d775dcc1d3fb2e89437c669587d7287e38","datavalue":{"value":"1264.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924532$A366A743-6A84-4FAC-853F-B4B7211FFB8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"016151ed2fe6aa87b67b66ec7fa44d46097e00cd","datavalue":{"value":"10.1016/S1571-0661(04)80848-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924532$1138297E-2D63-4375-8C19-2ED7AAF6EC88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$E48A0C23-89D6-4ECD-9DA0-11CFEC55F40C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924532$6FE3759A-362B-45C0-8A18-EF78827C0A9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924532$36F6A63D-9425-4FFB-853A-364BF8B880EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924532$A6B0A5EA-5465-4780-B0B0-3EB8C8CC73B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4ddea6448e549d69828041b7067a2aec2949d99","datavalue":{"value":"6171447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924532$2E4B795A-9788-452F-8F46-29CF9E6712A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4924532$C512F3BE-D883-4035-91C4-43C9E1CFCC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4924532$BD719C85-40B5-4DA9-84CD-9313C523472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4924532$2F6C005E-82B4-44C3-BA5F-F7D9AED17E94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$950038D9-336E-49A2-BC86-16D6A1A0D523","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":"Q4924532$9FCBD153-E3AD-462E-B333-F78A685A9B2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$136E74A1-75FB-4862-A5AA-9735ABB0EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$43659338-2F95-4D47-AF95-941458DB911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076a838bd0092606d2a19431691467a449edab0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$DC716ED9-BE3E-47E8-886C-4C3519C6D784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$42E4370C-1B0B-4A35-A651-84A6A927DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$C232502C-3B7E-453A-B900-E51CB20D1778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$4107070C-43D5-44A4-B65B-72E63889A62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed993109f73f6b4c96789e1873fe6306910f241","datavalue":{"value":{"entity-type":"item","numeric-id":1575935,"id":"Q1575935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$8FE11259-2E68-4424-B6E6-211B59A532CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$4AC6F898-E75F-4CF6-A2C0-3D92F133B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317f25aa14da71c466c46b1eb2434ee7f16afde7","datavalue":{"value":{"entity-type":"item","numeric-id":3079922,"id":"Q3079922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$FD246018-3218-4A8E-AC51-C11FDEF2AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9b282fea081f511902a05694902d81e024d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4449232,"id":"Q4449232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$79A03A4C-25C9-4275-A931-BD1060D3CC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$6C4A5911-30B6-4A82-89B9-640CE7DC3725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2e9bc1c1ff023291254b138990be434f6b297b","datavalue":{"value":{"entity-type":"item","numeric-id":4236762,"id":"Q4236762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$96CA32EF-6CC4-409A-906D-D6E0E2E86C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67e2e2d02ae6d35f2a2689bef6339892adf0815","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$6FCF9ABB-6F20-4186-9414-249DFDFCEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c004878202682c3b655b519d81570ff213087ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5958301,"id":"Q5958301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924532$90D1BCF8-F505-4AFD-B715-96515B61FB1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bc6a9288eb7d1b18c45d90b7903cdd898948ed","datavalue":{"value":{"entity-type":"item","numeric-id":4449232,"id":"Q4449232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d72ba64ecc5d407cdad1566551c0432809412d","datavalue":{"value":{"amount":"+0.94097227","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":"Q4924532$08F9C8A2-C51F-452B-B0C2-6E7833E63E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacb1efe57da7e4f0053849537554b81b452c4ab","datavalue":{"value":{"entity-type":"item","numeric-id":3079922,"id":"Q3079922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2778e5d7d22e13b0ddb052858bdb9c22cee0c600","datavalue":{"value":{"amount":"+0.9358457","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":"Q4924532$76F22D6A-7DDC-487A-BBBB-148146910774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c03adfd0d13ffb9cca204894d0f8ede1fe92d2","datavalue":{"value":{"entity-type":"item","numeric-id":3086776,"id":"Q3086776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2719bd3820fe4b9ce6df9e63f406f9a4929719c2","datavalue":{"value":{"amount":"+0.9337872","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":"Q4924532$D3461033-5CCE-45E9-8711-DE7B284E54FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f66a489876e1fc8fbb25b2934e6eaef2f2a678","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4795c545e079afb09c7df15b56c98362dc689e","datavalue":{"value":{"amount":"+0.9256482","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":"Q4924532$C416418D-BCF8-43B3-BAFF-8797B4AA61F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823bf123ebe6faa90aff855086ed04687b1aef94","datavalue":{"value":{"entity-type":"item","numeric-id":3540178,"id":"Q3540178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75002092785d2c9a9fd22e0fabf1bd84572bf0f1","datavalue":{"value":{"amount":"+0.91699076","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":"Q4924532$C37528C3-DD78-42E0-BF30-F17C84A9EDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15acdf0082ebdc05c43ec45652ee9d7c5112a1a8","datavalue":{"value":{"amount":"+0.91411614","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":"Q4924532$F8CE4F84-0E98-485E-8FF2-710E0829EC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e932e7760daaadb77d898716e1973b9a7d02","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258b91c973939c65ff3d847a0385ff5981789433","datavalue":{"value":{"amount":"+0.91277874","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":"Q4924532$02767109-D72E-43B4-882E-A3F59631B0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eacba26f64e9b0661a140d49fec758111680ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5425341,"id":"Q5425341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c969a61d2646c8f3f4a8df439c33faec4e0dcd7a","datavalue":{"value":{"amount":"+0.9099427","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":"Q4924532$377028E9-4954-483D-92FD-D85F36068A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be858ac3d670b254f4491287b9e330ce4b4c7b4","datavalue":{"value":{"amount":"+0.90487295","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":"Q4924532$72BAF2CD-A3BF-45A0-BC86-32F5E176760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bb94be2dc41ad77a030a3cac8a60dc96878cb8","datavalue":{"value":{"amount":"+0.9018544","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":"Q4924532$CCBD5974-851D-49AB-BAF7-EDDE2E0DAE06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut Elimination in a Class of Sequent Calculi for Pure Type Systems","badges":[]}}}}}