{"entities":{"Q2888631":{"pageid":2899356,"ns":120,"title":"Item:Q2888631","lastrevid":51478748,"modified":"2026-01-18T10:55:07Z","type":"item","id":"Q2888631","labels":{"en":{"language":"en","value":"Proofs with monotone cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040456"}},"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":"Q2888631$D972A3CF-3388-4799-8097-A26AE798C3AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f29324381508aa6a29a387407033e889687c5bff","datavalue":{"value":{"text":"Proofs with monotone cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888631$2485B644-3BB6-4DD5-BE85-277718020F66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ac802ac7022f8b5734f1904c54f4a8e7f343cc8","datavalue":{"value":"1256.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888631$EAD5FA6D-5ED2-4BA3-BBD8-1CB64FD49BF2","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":"Q2888631$10C506C6-59D5-4C06-B5C8-A3BD0EAF1559","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888631$BB27B1C8-A93A-4EB5-95FA-F90A198B30AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888631$9A3520EA-4FD5-4AEB-B4EB-1A983BD9BBF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f83c0e27e7efa5657fa8d854fe1c967f777eeb05","datavalue":{"value":"6040456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888631$AEA9FDBB-1F5A-47CA-AA0C-4EE425B48B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888631$96DB8DBB-3264-4225-92AD-ABCDE540FE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"677e9c80b033eceb484589995abc0bed74d8afdc","datavalue":{"value":"monotone sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888631$6DAD6B2E-415E-4F69-BA49-DB17D80AF228","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":"Q2888631$B5B8A332-BDE6-4DD7-90B3-193935D96E14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a403d9cf25c54584a529922599a65dc662903ca","datavalue":{"value":"https://doi.org/10.1002/malq.201020071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888631$3163CC0C-1B4C-42C0-A787-B1C0F17F96F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a4f9aecba8b3c55ff1e8475b725d56ff7547d7e","datavalue":{"value":"W2117353155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888631$1BC6DB8C-AB0A-4E14-B424-8C2009036935","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b44ed555aed1fbc544de1802074fd0df13fb2c0","datavalue":{"value":{"entity-type":"item","numeric-id":1056541,"id":"Q1056541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$4C3D9FE3-2E80-45DB-821B-CA30072EB3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90ea88dd04cbe12ac74b1b9a1e33051fb26a7ce","datavalue":{"value":{"entity-type":"item","numeric-id":2765569,"id":"Q2765569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$571307E4-43CA-4CF0-8815-C11458B1D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c57f109ba15c6a048a9a998f89156bed64daa4f","datavalue":{"value":{"entity-type":"item","numeric-id":1872729,"id":"Q1872729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$FA8F1AB5-B98A-4385-B5F4-5FAA5C7C309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$BFF8FF20-917E-4F90-92EC-E885AB46A7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$3C9E6BA1-56F0-40FA-B3DA-046B2161DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$A7A05915-7537-4F30-8927-A83E6A01A643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090b5a9e66da2c4550b55359242df7f24f12bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":638498,"id":"Q638498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$978FDE22-9F68-4853-BA83-43E2C76B0685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$89F51B1A-5DE6-47A3-9135-15D7A04F8E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$C9325CCA-FA4B-41E9-862C-18CBBFE314DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8ab76ca2a98c2ec7fbf989d43fdf31a692debb","datavalue":{"value":{"entity-type":"item","numeric-id":3218066,"id":"Q3218066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$7A1BE454-E72E-4548-A01E-E23285192D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$33B9D25A-103B-40B8-A19D-07286A9FABFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65ba22b4adc84379a5a3243f5d3e411bf09c9b37","datavalue":{"value":"10.1002/MALQ.201020071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888631$7B81CF13-0899-4A4D-A9C4-F6D9EED2D86A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$0DC69FDC-90A7-41EB-9A15-67192E055559","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16188a3ea469c4d77fc79e55aad492058e242750","datavalue":{"value":"Classical propositional proofs of arbitrary formulas with arbitrary cuts are quasipolynomially simulated by proofs with cuts only on monotone formulas. This is done using threshold formulas \\(\\theta^n_k(x_0,\\dots,x_{n-1})\\iff |\\{i<n : x_i=1\\}|\\geq k\\). Earlier this was done for proofs of monotone sequents.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888631$A435E537-6362-436F-AD1C-87F3D35A71B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888631$C2827175-AB75-4CE3-9384-7D189E4C7329","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffd5fa752f6ff229cbde23b7a782d9a6f389f76","datavalue":{"value":{"entity-type":"item","numeric-id":1872729,"id":"Q1872729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73242612c2d4f2ffda513142914c05c4da0ad3cf","datavalue":{"value":{"amount":"+0.8333644270896912","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":"Q2888631$202E1AB6-4A6F-46F8-A0C5-408D7282603D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451b70d18c5826eba1b7f5b1f4d221eb4f2b8213","datavalue":{"value":{"entity-type":"item","numeric-id":2754140,"id":"Q2754140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782a0b0ed299a81a5e692382054aa52cb9327530","datavalue":{"value":{"amount":"+0.8086837530136108","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":"Q2888631$ADE1D65F-0A18-4653-B628-3C2A5E137DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397e9aa2e88d0b60f5c997965e68607b50439e2b","datavalue":{"value":{"entity-type":"item","numeric-id":4453638,"id":"Q4453638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4079973cb035cebcf2d850ba3306d90169ab9b60","datavalue":{"value":{"amount":"+0.8020954728126526","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":"Q2888631$DC044B50-DB09-4DBA-AC6A-D259DADB1B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc24d30b4e729ddc2c3f5b907cbd4265cc34b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2765569,"id":"Q2765569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fef17bcb9fa83e3bf985b8b86465ebf41cadd5","datavalue":{"value":{"amount":"+0.8008853793144226","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":"Q2888631$D56F4FB5-C33A-4F42-92E1-41B314986CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838093b358757a675c899cee37dc288026749fc2","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fef17bcb9fa83e3bf985b8b86465ebf41cadd5","datavalue":{"value":{"amount":"+0.8008853793144226","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":"Q2888631$37CBA4E5-47F6-4063-94AD-A5D6CBCD0647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888631"}}}}}