{"entities":{"Q2032997":{"pageid":2043739,"ns":120,"title":"Item:Q2032997","lastrevid":57704307,"modified":"2026-04-01T00:05:48Z","type":"item","id":"Q2032997","labels":{"en":{"language":"en","value":"Proof complexity of substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7358539"}},"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":"Q2032997$672667DE-E018-4979-BBB7-D810DEE47687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd33657c09e8c4919b6733f6161c4b0d064cad77","datavalue":{"value":{"text":"Proof complexity of substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2032997$494D412F-95B0-45EB-8561-F33B2D5C298C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcdbc9a206f15f14d52b02111322c646d222719a","datavalue":{"value":"1491.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$07B9B883-1251-457B-BC74-713F0988D306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$2F6175B4-0E6A-428C-830E-6AC5D797E816","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$851ED80C-5CC5-4E13-89D3-DEF34618BEFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e3cc057fc0f295f9082b73bf1f37a9692cb13f4","datavalue":{"value":{"time":"+2021-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2032997$901CE18C-07E6-4BD4-A48B-7C13A3E85048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90e2abd15a30ac754eda23c7801a6f851e479e8b","datavalue":{"value":"https://arxiv.org/abs/2006.09705","type":"string"},"datatype":"url"},"type":"statement","id":"Q2032997$42DE9DE8-297F-4BBE-AF85-8FBF233F2467","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a98f11c648899f11608cb7dd939eb0e7b8308f04","datavalue":{"value":"The article is well written and organized, no typos where found.  Three results are proved; the first one, is an exponential lower bound on the length of the proof of a sequence of hard \\textbf{P}-tautologies \\((\\mathrm{Clique}_{n,k}\\), and \\(\\mathrm{Color}_{n,m})\\), namely a sequence of \\textbf{P}-provable formulas \\(\\{A_n\\}^\\infty_{n=1}\\), that is, the length of the shortest \\textbf{P}-proof for \\(A_n\\) is exponential in \\(|A_n|\\), where \\textbf{P} is a proof system as strong as full Lambek calculus (\\textbf{FL}), and it is polynomially simulated by \\textbf{eF} (extended Frege) for some superintuitionistic logic of \\(\\infty\\)-branching, denoted by L-\\textbf{EF}.  The second result is a similar proof of the previous one but for a proof system and logic extending Visser's basic propositional calculus (\\textbf{BPC}).  And the third result is in the classical setting, again, an exponential lower bound on the number of proof line of any proof system polynomially simulated by \\textbf{CLF}\\(^{-}_{ew}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032997$C5493400-25F7-49EC-981B-0554C5492B02","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25bd05b6d3e78aabcb3020d0aaaeef978d4a7326","datavalue":{"value":{"entity-type":"item","numeric-id":1983329,"id":"Q1983329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$FF7AED93-90A9-4A20-92BB-B3B774FDAAC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$F127249A-0463-4B76-AE6D-BED1407B4DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$151F9D02-F310-4515-929D-1E56A153DBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$A5E51DD7-4B25-430E-846F-AB5E90457367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$04A3269A-6E92-41D1-8B1D-6DC4DCAC7D6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a753e8f8ffb6afa5c3db51fb31be8ddc1a1c6901","datavalue":{"value":"7358539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$DFD1107E-4D2D-40E9-A215-F097297C8F2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032997$ABB48BAB-7B36-4BDA-98F2-9B481B7469CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032997$A073F6D0-D20A-4B71-8F85-9FF87D75F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a082ec5a5b2642135b0c802bf4f9bee8d61b4ce6","datavalue":{"value":"subintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032997$C58B3C14-986A-48ED-AB82-D9A7965BD4AA","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":"Q2032997$CBFB6373-CFD8-4077-AF6F-73375EEC89B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c831c33f731da1da4f09a11a44c08d682cf28ff1","datavalue":{"value":"W3138992896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$B45B3771-030C-4EDE-910D-6EA4135C72FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$728B1608-A52A-4170-9866-CCF429308FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7421dec758e227784420bb9e7719ea570a731bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1300007,"id":"Q1300007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$F5F4B25C-0704-4969-9C0A-17E57915CDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c209f06b0a54f57e5a0c1631eb1141475da7d37","datavalue":{"value":{"entity-type":"item","numeric-id":5448843,"id":"Q5448843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$B1F1AF9A-DE08-4F94-B8DE-091CCB74C5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b25dbf884c32ddec6cbd0b7832b22b91b900c0","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$E5B6C0EB-4235-423B-AB30-46ED34EAE001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa7579bc1e4b1046d6d066e9fb500803ebffca0a","datavalue":{"value":{"entity-type":"item","numeric-id":5894972,"id":"Q5894972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$DA85D77F-14F6-4B10-8290-9B38C63BE7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$603BEBF0-C5B0-4EA0-930D-EE34B7C67FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$36ABF28B-E774-426D-9F96-C1121CBFEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$7DEEABFE-838B-4129-BC45-A9A0C6E70FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$A0A9FA69-1675-4C4B-B7A0-3E0F8F6F76E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1ccd3d769fdb42dba9811ce2da5b5721c1eda0","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$2FB61DBE-0B29-49AA-ABD3-DD873A281047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff4ee6a73fbacbcf6d7da620a82d0b3fbe596a6","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$A3564B13-E359-4578-96C5-9750AD91B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$459E8671-6580-48AD-8B1D-AE866A670AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9d8bfe8f81eec003462d830bf21e3091d48818","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$54BD05C8-AB9F-4EA7-9C40-88B9FAB502B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9d3547550b582ed7f96a27ca02b59df4d3159b","datavalue":{"value":{"entity-type":"item","numeric-id":1610623,"id":"Q1610623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$CAEEE811-711A-432F-AFFA-D79285525774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$99452017-75DC-41EF-9AA3-AFB542961BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$F2622101-10B0-49B5-BB84-2C1453879E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$A409BE20-A0D4-4BBD-B664-CDBAE8A067D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6a31ccd986ac68d738b4166a45d437dbce48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$EC70E2E0-7A27-4C12-AEA8-FD95A6DEA533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$0A705941-2B7B-46C4-9420-AB78994E6E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$32E19147-3CB1-4DDC-9F65-6E97B28ECD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c153a0530ba535c867bf275e826325b051c371db","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$785FF9CD-E62E-4094-8A37-973107C57946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$7FE96F8C-B8F4-4892-A932-D63CDD552104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0acc651dc9cb8130d662b59d4ce2b22a38e1a80","datavalue":{"value":"10.1016/J.APAL.2021.102972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032997$419BAA43-E743-4E90-A208-ECB74D8E231C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4b7ceef9e5ff2113f203b50f7b4436628f05","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2989b306cb204c04ecb904b89dfb0ff034810fce","datavalue":{"value":{"amount":"+0.7874018549919128","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":"Q2032997$9926933A-D9D1-47B0-8C82-1307B550237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ec113b23214e288da260f9f7085565692b35cb","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dfee477673e925970e4abf6e01d616005a1f85","datavalue":{"value":{"amount":"+0.7833937406539917","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":"Q2032997$785BB245-B55C-418C-9CFF-DFCD7D2C2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8cf845b92fca11d3ef94c086cc58b80d7242580","datavalue":{"value":{"entity-type":"item","numeric-id":2084964,"id":"Q2084964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50392e19603b864910ba0dc3550732ac7703122e","datavalue":{"value":{"amount":"+0.7792625427246094","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":"Q2032997$0B657F92-8812-459E-A4AB-AE2C1E624FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7cee953fe1937bf532e79a63b5ecf3e0581e8","datavalue":{"value":{"entity-type":"item","numeric-id":5894972,"id":"Q5894972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184abe1db7ed928f0cd4b395b8d1b25fac9302b2","datavalue":{"value":{"amount":"+0.778990626335144","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":"Q2032997$BB0713F5-918D-4749-A6C5-A49EB6E054C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a3728eb6d6cea535db12f53a28c7233f093a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d775ee9d5b4c8f45997adf4bf706190d0e47abe","datavalue":{"value":{"amount":"+0.7741990089416504","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":"Q2032997$D4D6FABD-1951-4877-989F-8B00DA6FF796","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032997$43BEF64A-EF87-42BE-AA72-5178BE26EE50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2032997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2032997"}}}}}