{"entities":{"Q2500481":{"pageid":2511224,"ns":120,"title":"Item:Q2500481","lastrevid":49897003,"modified":"2026-01-11T19:43:39Z","type":"item","id":"Q2500481","labels":{"en":{"language":"en","value":"Polynomial-size Frege and resolution proofs of \\(st\\)-connectivity and Hex tautologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047250"}},"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":"Q2500481$8E5D7CF6-6BB2-4624-A46E-0B53FD2A8BF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3052640ea370b72cdb7218d4ddb88b850a2021d3","datavalue":{"value":{"text":"Polynomial-size Frege and resolution proofs of \\(st\\)-connectivity and Hex tautologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500481$6DE3139C-1C6E-44C0-A657-75DAE0ED28A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2693ef77a989ca9e771a675c029ed503052a92bf","datavalue":{"value":"1094.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500481$0BA9B8DB-5B54-44B5-A4DA-53D5D2047BFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$7627448C-FA7D-484B-AF36-670870177BDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$30880862-2487-433E-86F7-2631B10F1BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-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":"Q2500481$2C943656-44B3-4449-BE55-9CE14A3F2298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500481$DFAB5ACD-9986-4FE4-AC4A-E9D5B299A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500481$998B69A9-4DDE-4C07-9C5F-B4BE3D748F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0783d7020b46949bc785d0af5d65e5892d754269","datavalue":{"value":"5047250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500481$FD7B4ADB-20F1-49D3-8C5B-E10F1F3916FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500481$63C6EAA0-71A5-47C7-82CF-1B7A36D0D9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500481$5512600D-74AB-4FC8-9A12-F608ABD77BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500481$0847768E-DFB8-4EEB-8B79-A75235706CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942090a43c9689eb1ec56ea5d49e20aceb30d1c0","datavalue":{"value":"graph connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500481$F462C5B2-0483-48A4-A9C5-B0CB602B8701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc27f8a2e2b173c58c22ef5a1f0d2395e5a233d","datavalue":{"value":"Hex game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500481$8DC5A5FE-7247-4B74-A1A4-70D734B78DCD","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":"Q2500481$7DC7C7C3-D038-4B4D-B0A4-97B5F3B85966","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff603e61643ec2c4481868f871135df4dff1ab9d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500481$E3C6F99F-DCF8-44C2-B7A8-249BCB0016E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57efba50812b8bef05e4d73007ecc5eb17441786","datavalue":{"value":"W2086897006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500481$0539A665-2E39-4C9D-A19E-66DFADE35876","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fac4e2565ff70436792035f55d4254cbea8194","datavalue":{"value":{"entity-type":"item","numeric-id":2817631,"id":"Q2817631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$9AC7FB78-46D7-40CF-AE01-5381FCE7EAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0206d3a695d8d8e1728212c926a47f4d0e22e7","datavalue":{"value":{"entity-type":"item","numeric-id":1273858,"id":"Q1273858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$F014047D-D68D-4386-B6C3-4EFB3451820A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$A2C34248-F584-46BF-839A-1785CD71739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$D234CFDE-C6CC-4993-9DA1-13846720D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$77B1893A-3018-49D2-A99E-BB07320F2BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43313d000acaa58a4020711010a3b7ed9d99733f","datavalue":{"value":{"entity-type":"item","numeric-id":2718650,"id":"Q2718650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$AA7E4BF4-B4F8-4AC4-B0C4-3C1E79A50465","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":"Q2500481$F0FB3E64-EB7B-4A27-875D-484FE8B0A224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d1b169c78093ce8db60dab660d64c1863559c8","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$3DCC93BF-5E61-4AEC-BCB9-A2B6BDD0BE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b873186fa5e30279e410bea330a6ed356bfc2234","datavalue":{"value":{"entity-type":"item","numeric-id":5943090,"id":"Q5943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$B59FC587-11DF-45FA-A6B6-8DB182B2DD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$A394BCD2-B0F8-4FF6-A9E8-D81B9F3A01EE","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":"Q2500481$E0D9AB85-19AD-4FBD-B2B4-7A7904152B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84cee3f7ed8dbc012667f10149beddf306bb2d4","datavalue":{"value":{"entity-type":"item","numeric-id":3895282,"id":"Q3895282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$244CFF40-861F-4B68-B0A1-A04B0DC731A2","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":"Q2500481$66A0A40E-9793-4192-8935-6F83184CAD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$E9129E16-37D5-4127-8411-1D420D4613D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$BBBA9647-2729-49C7-8FD3-B728E6570471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$84AE3FF0-3F4A-4BE1-81C9-FA23A2D0BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a35ee073efb257c2ff6944a7cc91fcd0fe8bb82","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$F6F68460-ADAB-4745-BAAB-C3B2752B8527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500481$4D91D2EF-BAA6-44D3-B1DB-1CB8D462A399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8e94466241d94edb2dd5b42e33e7c4fa8ca6a17","datavalue":{"value":"10.1016/J.TCS.2006.03.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500481$133470F7-0FE9-4AC9-97B5-40D41341F3B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a607106cbc354ad70e939b7eee3e65bd244c08ac","datavalue":{"value":{"entity-type":"item","numeric-id":4375788,"id":"Q4375788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a31c19f1b0bc5826cc3ad6755b65610a63f71c7","datavalue":{"value":{"amount":"+0.7672192454338074","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":"Q2500481$FCE97716-F4AB-42B9-A33B-8398E6839B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cd83e2a701976c4a50a16c5379a54fb140e32a","datavalue":{"value":{"amount":"+0.7599372863769531","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":"Q2500481$22764A66-54F3-45CC-B3BE-D389669909C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cccaac9b36deb25402bd0f6ccff787ac830afb","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08137e9ce420527dd29f641fc81cefd9a250768","datavalue":{"value":{"amount":"+0.7514855265617371","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":"Q2500481$584CAD1C-2747-4743-9B6A-BF5960CB08E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0e719f92396c6fcced37aa6f2e597b63afe986","datavalue":{"value":{"entity-type":"item","numeric-id":2084956,"id":"Q2084956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3395eaf1ae0e4fbb677f1353816db058e299af6","datavalue":{"value":{"amount":"+0.7493451237678528","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":"Q2500481$AE8E8669-D0A5-479C-B1FB-E6234B92FEF0","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":"fad1b1d8649b4a9e91f79627bac241b990f19e29","datavalue":{"value":{"amount":"+0.7458446621894836","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":"Q2500481$D7C27B17-685C-4424-AC38-2E469851133C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500481"}}}}}