{"entities":{"Q3623221":{"pageid":5653127,"ns":120,"title":"Item:Q3623221","lastrevid":90395132,"modified":"2026-06-04T20:04:22Z","type":"item","id":"Q3623221","labels":{"en":{"language":"en","value":"Proof Complexity of the Cut-free Calculus of Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544426"}},"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":"Q3623221$1332A10D-8F12-40FB-AB7F-372DB696DAF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"533b934f266d54ea713f53fcdeee35af6f16cc8a","datavalue":{"value":{"text":"Proof Complexity of the Cut-free Calculus of Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623221$49C2FE2D-CEF1-48F8-8D22-1744D81E7ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be745d7965b3fdb177e63a3c0b35bd328a0424d0","datavalue":{"value":"1175.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623221$B7EB8026-F1EB-4D91-B16B-940A8A850236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623221$A5328C09-BDC7-4344-A41A-F52B6EDF34C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f73738825ede14eb63692fa539d93eae768744cb","datavalue":{"value":{"time":"+2009-04-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":"Q3623221$9465AD21-C675-47B8-ABAC-3541C0C2490A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f9553ead689fc7d4d1883d4b06e059a112b3057","datavalue":{"value":"https://semanticscholar.org/paper/ad159c3eb38185c160f97bbed4290164b924d32a","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623221$75F80BD5-5E43-463F-A0CB-04B1F8405DC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623221$A9B2F67F-BDA2-4B51-A450-C96E17F3BBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623221$17F3F0ED-71FE-4B23-98F2-73509CCDA23D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3b78917f71acb42b4eb21a79a35e31c5b38a475","datavalue":{"value":"5544426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623221$97AFBAA6-0DFD-49F7-B0D5-26D7B4053412","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623221$271FA3EE-08EC-4726-8A95-3B52C19FABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623221$3DB38237-F183-4DFD-ADAA-524590DA2E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"677e9c80b033eceb484589995abc0bed74d8afdc","datavalue":{"value":"monotone sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623221$35485B2A-B341-47C7-8E44-D01A4FEC232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623221$CA1DCE31-C6B3-496D-85B9-FE2520CDEC53","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":"Q3623221$D37E5456-ABD3-4652-999A-DBC219C80255","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90de9d633ed9a430a7f19da439d580ec1dd73434","datavalue":{"value":"W2141654045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623221$1F5CD03F-F2D0-4266-81C2-5DBCD5FC6757","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb0709f06fc6f9740e6dffe9449c7faf8bb53833","datavalue":{"value":"10.1093/LOGCOM/EXN054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623221$32D80FDE-59CD-43FA-B85F-61949CC23A29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623221$EE6706F6-7F6D-493A-917D-EAE09E136934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf3b44a8023a3526ec14efbc1e3efab7c352f75","datavalue":{"value":{"entity-type":"item","numeric-id":714731,"id":"Q714731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c17ac16501756d06098d5d339f83c302718a586","datavalue":{"value":{"amount":"+0.8036553859710693","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":"Q3623221$FB2C2E2F-C685-46D6-B154-6D8EDEB8EA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6dbb346f4d6438497a93358f9fc5d941f401797","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466d8d46f70a59d6ceadb588d4b99252d996136b","datavalue":{"value":{"amount":"+0.8021531701087952","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":"Q3623221$DC554936-D4AA-4C9A-808D-8ADF450B1304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929eede9048cd88ecd70b139d156db1cbbde364c","datavalue":{"value":{"entity-type":"item","numeric-id":5177335,"id":"Q5177335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196e9257280dbc5ff221ab2205679a9e8ddff7d0","datavalue":{"value":{"amount":"+0.7964673042297363","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":"Q3623221$42A8CE91-BBB1-4B0B-9DAE-3C9FA8EFF550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee998d7bb952ef3689ccf52ff2663b12d6eb55d","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9db5e318b73cbf212cac17ea98b9a27e30fda2","datavalue":{"value":{"amount":"+0.790203869342804","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":"Q3623221$128AD9C2-03CC-476E-9880-D5B151DF729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4041bd2b4e07bb18d5cb36a3fdde866a268fa874","datavalue":{"value":{"entity-type":"item","numeric-id":3010365,"id":"Q3010365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a4aa68e6702b51ec771416b35bf2a2b5a0c954","datavalue":{"value":{"amount":"+0.7815389037132263","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":"Q3623221$F71BCA62-C1C0-412F-A682-8B8B70200573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof Complexity of the Cut-free Calculus of Structures","badges":[]}}}}}