{"entities":{"Q4027856":{"pageid":6057615,"ns":120,"title":"Item:Q4027856","lastrevid":55223722,"modified":"2026-02-05T00:41:27Z","type":"item","id":"Q4027856","labels":{"en":{"language":"en","value":"Approximation and Small-Depth Frege Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 126189"}},"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":"Q4027856$025AB4D0-75ED-4868-A9A5-3467F50F9444","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96c80ccf5deb04147ba8caeb91fa9015e2afcd46","datavalue":{"value":{"text":"Approximation and Small-Depth Frege Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4027856$2DD608E7-AC58-4211-8140-177CB6FC437B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31ec22065e0d3411ad87a708aeee2ae6bbf278e9","datavalue":{"value":"0762.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$390A0FB2-14D8-4878-83A5-AB48C7A1E1D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbdefd1cdc2ee1c9bc391cc0900001dddef37956","datavalue":{"value":"10.1137/0221068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$C32E9A96-13C3-4518-BABC-63342CFB5E63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027856$C4E48A3C-5EF3-443C-A424-469355BCAA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027856$614F6A71-2B01-4C1E-975C-99886176039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b3d86172c740d91a8f9b42ff37d533fbaaf192c","datavalue":{"value":{"entity-type":"item","numeric-id":757037,"id":"Q757037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027856$0C76BAAA-920D-4715-8DA3-2C2D78BFFE3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027856$8C4DB828-DD1D-4EB0-9BD6-F3C5FFFC2204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bca5a63244f044a12e814501645367856458f52","datavalue":{"value":{"time":"+1993-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4027856$D2828603-DB38-42F7-8E54-FED01A9E1A15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30f8c0ee517bc79be6b60b503b6f61329eef5f73","datavalue":{"value":"https://semanticscholar.org/paper/e6d642d005067afdee2f7740b2536d87de269d6e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4027856$1F554088-9251-49B9-81E3-4329778421DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$9769A755-2FD6-4EEE-BA6C-A91EF78EAA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$C6C933B4-94AD-4548-966B-E3A40E62AD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$97482EA4-0BF5-4E9F-8C93-CA94FD3C542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$65F73505-251B-4668-B619-6F34CDBE2D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdba19f19a69b7e6aae1e0ab2a8d9ac5a6e044ef","datavalue":{"value":"126189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$BDED7391-A569-4CF3-B32D-430121452585","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2587825ab89233bef0e3acaa83014a6566612ead","datavalue":{"value":"approximate proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027856$3AADC309-AE14-4412-8F89-7FE85F08EF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e58aac01cf5e3529f6b19517106b5d7906ce9a82","datavalue":{"value":"complexity of propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027856$E48731F0-4A0B-4FA8-A5E6-EC5324BCB689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027856$C2A6B949-4290-4F21-B2C2-B69166A713D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a12827af9b34a86f08e8313f9539178992f59a","datavalue":{"value":"propositional pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027856$0136972E-53B9-4B76-9020-CE4083BCA227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027856$A7ED48E4-755F-43E6-9293-119CCFC6A900","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":"Q4027856$24AB8758-5C26-4B26-8FB5-9DAD249CB043","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e805356a58b606c6a0705a3a7d1966c955538793","datavalue":{"value":"W2135672707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027856$2117C8BB-C8A7-4794-8E40-CF972021A78C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6fd0ba87fcf74775845dfe4993533ca805bdff","datavalue":{"value":{"entity-type":"item","numeric-id":2958529,"id":"Q2958529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92051dbdcbebce1c410beb6ffc6177ce20d93714","datavalue":{"value":{"amount":"+0.90805095","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":"Q4027856$555915DE-DB61-4D64-A69A-1D8B08166AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c38ccbb6958d181d6d0c8d3af193004f78b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022d5724d2419b015ce9d9ea96db58cb58108bb8","datavalue":{"value":{"amount":"+0.9075725","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":"Q4027856$A39BA85D-BFBD-46D0-A937-F695970E5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e1997ed7713e03d7b5f2a891de528eec264ab6","datavalue":{"value":{"entity-type":"item","numeric-id":5056396,"id":"Q5056396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067454d3c41e62b384fc0ab71866e7cefaa33ba2","datavalue":{"value":{"amount":"+0.8830049","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":"Q4027856$1A499A5A-40AD-4F40-BB4A-A108B433D5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e61c4c0ca5e2dcb340219a324836f10200d556","datavalue":{"value":{"amount":"+0.8745824","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":"Q4027856$BD9BF405-F5F6-4C03-A947-D39CD1E06CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784b42d626c23412e426fbf09347cb0c18fd4c33","datavalue":{"value":{"entity-type":"item","numeric-id":2491079,"id":"Q2491079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aca3049ee6ecab95b1311c52596e76e102cf20d","datavalue":{"value":{"amount":"+0.87333524","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":"Q4027856$629205EA-22BC-47A0-B429-A48DB1C8B25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b36f4f048ba74d5c86c997359e7b201233c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4651534,"id":"Q4651534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a91de59745fd48848388a892cbc7ec880df15fa","datavalue":{"value":{"amount":"+0.871426","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":"Q4027856$44AF6A01-A389-498B-BF36-54F4ADF7AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49ad2b8116e6902ded335362a6bf17f00df7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928690bc641d57653eb3aec96e2ee493f4301b3f","datavalue":{"value":{"amount":"+0.86744666","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":"Q4027856$0C71E61B-7430-4D70-918D-73D9DF9090C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c948ba6ab1d958559dc7420d5e1540549b7ee35","datavalue":{"value":{"entity-type":"item","numeric-id":4375795,"id":"Q4375795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072267848e58bf6cddd5161a9ffb2664de764ede","datavalue":{"value":{"amount":"+0.8670954","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":"Q4027856$B0ED78A3-002A-446B-9686-1FBA41F528CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1c4b239c83aa1b7702a554f3439f9e32e90462","datavalue":{"value":{"entity-type":"item","numeric-id":5741820,"id":"Q5741820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8a7b20c578789b2e704641a8f22354be65d4af","datavalue":{"value":{"amount":"+0.8667055","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":"Q4027856$4D4257F1-35EB-49E4-A37E-F1079CE11893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1694b4fd84ef8a72f5517e9b1bb0a99ecf96355","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01d56b6fdbdf059187bb57dc0dd1e17f97ce227","datavalue":{"value":{"amount":"+0.85893476","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":"Q4027856$9498CF61-0F1B-4581-9BF8-72169E8CB5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4027856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4027856"}}}}}