{"entities":{"Q1019183":{"pageid":1021031,"ns":120,"title":"Item:Q1019183","lastrevid":65961822,"modified":"2026-04-12T06:36:41Z","type":"item","id":"Q1019183","labels":{"en":{"language":"en","value":"Tight rank lower bounds for the Sherali-Adams proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558988"}},"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":"Q1019183$BAD22606-255D-4228-AF17-8FB833AE57EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c5431f23e1fea5e59e83dea4c10487b225d74dc","datavalue":{"value":{"text":"Tight rank lower bounds for the Sherali-Adams proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019183$F92B069F-32C4-490C-ACCB-D551CD234C87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1be9bd3cc4f3fb6420fd53e494cf8feb1a4fbd0d","datavalue":{"value":"1168.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019183$DF53BF6E-6958-4A97-9B27-C06AC6A9E270","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$152C6CB0-509C-4F34-B883-14008FA473E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d607bd0b0fc271c62bf170e20a5649a1a3dd25","datavalue":{"value":{"entity-type":"item","numeric-id":1019182,"id":"Q1019182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$D5E1E467-68A2-4135-9A7B-548DFB363442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb09d87b39fd189b9631d1d1dd35ec7a70bf362f","datavalue":{"value":{"entity-type":"item","numeric-id":1300668,"id":"Q1300668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$4B10DD40-0777-4B84-B2DC-A9018436D960","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":"Q1019183$16834995-2628-4001-8220-1F018EA0E630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"007d554cae8390924a30c1fbbc213e981500b382","datavalue":{"value":{"time":"+2009-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019183$3CDF0545-BAFC-4387-8E5F-92D813039E8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019183$87A494A1-246E-4E74-8835-F5D4B8655775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fea14485a2652d1c3c763c7c8b9b5609ec80f224","datavalue":{"value":"5558988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019183$15E04F8C-F9BC-4441-9A00-F0531965BDF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019183$45E00077-9B12-4E09-A424-67083CDEA9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0d7f337a58541f419a91e65e610643713ec11d9","datavalue":{"value":"lift-and-project methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019183$3DA0EAA3-76F4-4AE0-9BAF-3F5BF7E24CB4","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":"Q1019183$500D11BE-9BEE-4690-93AE-1121BC28BE64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"731acd250a2fa0498e3eb5f75695294860fae16d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019183$4CC689CD-A4C1-43F4-AFE0-F37132A0DC04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3b340cc1ae1e1b7ea26ac1921bd5e04c7e35b6b","datavalue":{"value":"W2038169576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019183$BFE774F2-68E8-4DE5-8C44-3D6C6BD7DEEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49db1cb2b826c89ee15c1e2a8f3f93cf5194acf2","datavalue":{"value":{"entity-type":"item","numeric-id":3274590,"id":"Q3274590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$CAE46721-41F0-4DAC-9B21-AE48ADF4331D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fb9af8080348c65955a4567ec5d72c3e4f803e","datavalue":{"value":{"entity-type":"item","numeric-id":2497988,"id":"Q2497988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$16560EEC-D84C-4FD2-85E2-5C502DFA7B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94d017d89fe8a00bee910dd24c96d75202f025b","datavalue":{"value":{"entity-type":"item","numeric-id":4012419,"id":"Q4012419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$F55236A1-6FCA-4C6D-9630-D3BFEC8F401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44fcaa1f05407395b26870122229a43ea361110","datavalue":{"value":{"entity-type":"item","numeric-id":3197621,"id":"Q3197621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$841A17D4-19E3-4566-AF5F-F7EE51238E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e287ae632d1a53a9dffa973cbad87a28238105a","datavalue":{"value":{"entity-type":"item","numeric-id":3549627,"id":"Q3549627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$0281E454-866F-4944-99B0-7AACB229F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$47C21899-B9BE-4766-850B-E61584D1D521","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":"Q1019183$D719BC0F-BEE8-42EF-A8C1-3A37A85EAE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8882b47df15b6dc3bb408911ea80f0f4c85834","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$F668CFDA-370F-4392-BFA5-AD7A146A839B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8d977f093ac551e79749f4f841b2fdb18e79ea","datavalue":{"value":{"entity-type":"item","numeric-id":3002766,"id":"Q3002766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$7018F54A-DF56-405D-9DC6-5FAA0A9D1AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115895ac36a15b77d42781a0dbc3b358c871af3c","datavalue":{"value":{"entity-type":"item","numeric-id":2884578,"id":"Q2884578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$A99BF03E-C7C1-4436-B8BB-B55144C56C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9bfef220427904ed6e5ed4c1dfcadc377669bd","datavalue":{"value":{"entity-type":"item","numeric-id":5425367,"id":"Q5425367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$3358A872-BDF4-4027-8F09-DC8C6E477189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0dadfde964da435e73df89ecc59cec93f10b87","datavalue":{"value":{"entity-type":"item","numeric-id":3581430,"id":"Q3581430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$E5679134-DA29-4518-A19F-7D4756649571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7aa82d8c75785b02a94cb4bea282270b7fd1c1","datavalue":{"value":{"entity-type":"item","numeric-id":3599159,"id":"Q3599159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019183$E4182134-7274-4F6C-9A4C-DCB8AA85C872","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af608f45ecc09618c13f94a3914ba85ed68b5718","datavalue":{"value":"10.1016/J.TCS.2009.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019183$C28DE814-86F3-41EF-9140-A16924600B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d043fc9ab621a54ed7bd490cc2f9a4e7d66384d4","datavalue":{"value":{"entity-type":"item","numeric-id":1947040,"id":"Q1947040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3598044f6dc6a0dff0d055135bd9a6854d99decd","datavalue":{"value":{"amount":"+0.9259031","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":"Q1019183$43615C56-9515-4462-B1D4-F381288D1490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b0ab9f4ebcc8d1d9e8abfc56994971d9f3a570","datavalue":{"value":{"entity-type":"item","numeric-id":3549627,"id":"Q3549627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3598044f6dc6a0dff0d055135bd9a6854d99decd","datavalue":{"value":{"amount":"+0.9259031","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":"Q1019183$079A5AEE-7F7D-4A20-A10E-8C1FE9A4A604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7293e8152e63176d6c0c1ed60a1c8431df23d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5425367,"id":"Q5425367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c56f6c749865c22070ac09abb3d109f28c525f","datavalue":{"value":{"amount":"+0.8790249","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":"Q1019183$D7B86E75-AB78-436F-B648-60A4A251AAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331eb07f84dbbfc4c1783549d50c7eb2d1f54b53","datavalue":{"value":{"entity-type":"item","numeric-id":4601842,"id":"Q4601842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e368167bef7faa00373b0a24f4deb649d6fcf47","datavalue":{"value":{"amount":"+0.85913575","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":"Q1019183$47C66253-CBDA-421D-8377-D12B2E6556DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a11d6e24deade758eb2f70db0d3a7ab36b99846","datavalue":{"value":{"entity-type":"item","numeric-id":1686838,"id":"Q1686838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e368167bef7faa00373b0a24f4deb649d6fcf47","datavalue":{"value":{"amount":"+0.85913575","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":"Q1019183$15E900C7-CFE8-4EE5-9A1A-76A9A8505F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc885c023182d4d76c9909ba3e107db4a2c793f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569838,"id":"Q3569838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4e0d10e5a51b411d4643aa8346ec57c04e940c","datavalue":{"value":{"amount":"+0.8446035","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":"Q1019183$A0D355A2-9FD1-46C5-B325-6CB5B39E732B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733dff847e12822a38127ec42e555a3c595f1452","datavalue":{"value":{"entity-type":"item","numeric-id":2867208,"id":"Q2867208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e6c55d70931e41566341fd4fa5af484d51e4ca","datavalue":{"value":{"amount":"+0.84214944","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":"Q1019183$760BF4B2-597C-4EBE-8B7B-87172B2FF9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad69d6c3ef752d7328f7d9ffd8df0f50513f708","datavalue":{"value":{"entity-type":"item","numeric-id":1698397,"id":"Q1698397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e6c55d70931e41566341fd4fa5af484d51e4ca","datavalue":{"value":{"amount":"+0.84214944","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":"Q1019183$FA21C79E-FD66-4AC0-AD65-4CC572C50086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045ba48b3e09ff0eccb6ce32a40ef40b5a7060a","datavalue":{"value":{"entity-type":"item","numeric-id":5135261,"id":"Q5135261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3086cda2a9fd8e1c9a807fa5357ec7a74d6cce9","datavalue":{"value":{"amount":"+0.8386563","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":"Q1019183$508D25E5-E97D-4BEE-BD6B-EEDC095CA257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4133e9ab29fbecf753815deb8a00e15ebe2a665a","datavalue":{"value":{"entity-type":"item","numeric-id":5501238,"id":"Q5501238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d38a91b03807de16c6e82892c50779ced0b93b","datavalue":{"value":{"amount":"+0.83838487","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":"Q1019183$F4CC3036-0831-4CEE-86DF-BD2A459B85D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tight rank lower bounds for the Sherali-Adams proof system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tight_rank_lower_bounds_for_the_Sherali-Adams_proof_system"}}}}}