{"entities":{"Q820534":{"pageid":822382,"ns":120,"title":"Item:Q820534","lastrevid":54098288,"modified":"2026-01-26T06:09:14Z","type":"item","id":"Q820534","labels":{"en":{"language":"en","value":"An improved upper bound for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401208"}},"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":"Q820534$B49BAF76-056C-4E11-80EF-F1A28F3E9EA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c08d39a174bc226523c3849a37106bdebd40f7d","datavalue":{"value":{"text":"An improved upper bound for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820534$4E19DD12-429A-47DD-AE1E-80B15B4B8DF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f582a227e1cf153307b20bb40405df10ef61766","datavalue":{"value":{"entity-type":"item","numeric-id":820533,"id":"Q820533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$1FFE9A85-592D-4DE6-8AEB-7B2C7E7E629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bb48d97aa42377c51cb11f373ef4c652a1af855","datavalue":{"value":{"entity-type":"item","numeric-id":255261,"id":"Q255261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$D655D83E-6B84-4B3A-B155-7198989D75ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a3eea3cb59d4559d30de4e0221257b17be7bde","datavalue":{"value":{"entity-type":"item","numeric-id":428306,"id":"Q428306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$AA83522E-E116-422D-8698-BB67AE976C3E","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":"Q820534$17AE48B8-ADB6-4916-A6B0-F97FD1565D85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389dc4b72755fc3de7f7a9780587dd8ee31dbd69","datavalue":{"value":{"time":"+2021-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820534$65ED6427-B3C6-40E3-BC6D-B832B3AE4384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a892f358a13292af2472c272caa1e1820af0717e","datavalue":{"value":"https://arxiv.org/abs/2007.03829","type":"string"},"datatype":"url"},"type":"statement","id":"Q820534$40DC357B-38F6-499F-A0CA-51DD958A2A29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820534$4ADAAF53-9830-464F-94C9-92A8325F0216","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ad2879a6070a0be71322174640cdc5936c45db","datavalue":{"value":"7401208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820534$096DBE91-B9C5-4E23-AB56-EDBE00166B51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q820534$C63AC5B5-AFC4-4584-9038-E792497E9A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f05553a5308936a7205a0d3afccb9b8d271916","datavalue":{"value":"exact algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q820534$D4A6E1EB-55EC-4853-A3EA-2407AB20D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q820534$EBFB1FCA-92C7-4E35-947B-D27FBBC2AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q820534$41A3DCE2-2142-4AD6-91A7-A5CB0426D87B","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":"Q820534$29F6A092-A9BF-45AA-8835-4D36C0358DBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79a23f24df4a5345b2ea3604cbefe124bc902f77","datavalue":{"value":"W3179743149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820534$D77830E8-29E7-4020-8300-FFC89E8BDA3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26883597f5cc59fde00e70f0a417ff221d6135f3","datavalue":{"value":{"entity-type":"item","numeric-id":3183448,"id":"Q3183448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$64366702-C9DC-4B3C-9AE2-E181F5DA22FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$1C1F28B8-2F6A-4726-89D4-54EA458B52F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3417a6b158ced49b65a64b1d4cf9810c8b8be6b","datavalue":{"value":{"entity-type":"item","numeric-id":1838470,"id":"Q1838470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$B6C1D2DE-8A62-4003-8AE2-3FF00FB8858D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$85925B50-4D47-4111-BD30-6F0A9F1DBDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c2203ddfc26917d54d8693018456bf91635b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5309695,"id":"Q5309695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$98B21919-930B-4841-9425-D9650EF1CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22650ed9a2bdccbeac1af709507ab01a6c562f55","datavalue":{"value":{"entity-type":"item","numeric-id":5714775,"id":"Q5714775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$EE0F7222-AA52-4C9E-9115-F41038BFCB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$84630E29-0992-49B7-9270-507C7084A016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08679e1302d53c12ee04f803b2320a1e4c7b1a0b","datavalue":{"value":{"entity-type":"item","numeric-id":606873,"id":"Q606873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$C94286D8-6C16-4023-94CA-FFBD92A2D1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$538544F9-7186-4C4C-AD75-B2085DA1CB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8621ce0ae1e8c21956cfec192d952dd4054223f","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$5EB3A94A-B87E-4006-B794-608396D0689A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc280474ee3ea32ff3408d45b2ca6ec8f4fd670","datavalue":{"value":{"entity-type":"item","numeric-id":5212800,"id":"Q5212800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$2044FC04-A7AE-4DC9-AD3E-9D515E983EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00018817f9b68b5533d20e05f9bca37aee54a0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4250220,"id":"Q4250220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$D2B7395D-B155-4B90-92E2-08B12A203F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d4bb2b62b8aa43b4cfd703130090b24b20a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$78AF90FF-85F1-45CE-8F5F-09F70916BC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$65AC94E5-9056-4854-AD80-B680A9F8F8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$7D59C950-1336-4787-BADC-9722DB64087A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c16314d571ac552ffc4dba48f547b3438465b","datavalue":{"value":{"entity-type":"item","numeric-id":4747916,"id":"Q4747916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$952DF924-9257-440D-B510-1588F52CDBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f2bc695d74e3c6ed8c1c8bc847bf3fcff9f50","datavalue":{"value":{"entity-type":"item","numeric-id":876698,"id":"Q876698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$AC95DD05-7A33-4333-AB85-59F49DD69A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$0D95117D-C654-4BF8-801C-788735E9B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$614D18D4-268D-45B1-97D8-99976BBFFC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7eeb4ea2f04585306669bc0f76745ba7ff9f85","datavalue":{"value":{"entity-type":"item","numeric-id":5713721,"id":"Q5713721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$0A5604CC-92FA-4B5C-AF28-B3AC1A30CA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f65d150098c90690739990f8f34adb6e2d24c36","datavalue":{"value":{"entity-type":"item","numeric-id":5897897,"id":"Q5897897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820534$9B46F46E-53A3-42A5-9DF4-5AFA2B2052ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da23abdaeedb3c3ff656f89f2b576764a9a78e4f","datavalue":{"value":"10.1016/J.TCS.2021.06.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820534$11CAFA99-93C9-479D-B3F1-0E4FDE8CD390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7e01d5b6bb325dc4bf7203e5bdd4e13c8ca324","datavalue":{"value":{"entity-type":"item","numeric-id":5897897,"id":"Q5897897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71872eb482b7fe8bd232bf081668d326053fcc67","datavalue":{"value":{"amount":"+0.8863946795463562","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":"Q820534$F589B3DF-4E42-46E6-86C6-B61324FDAF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba5295930191029d223c1ed02e8d25afa5e364f","datavalue":{"value":{"entity-type":"item","numeric-id":5713730,"id":"Q5713730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591053b05bf6913f72bb8e8ddb3743758f26f9ae","datavalue":{"value":{"amount":"+0.8784931302070618","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":"Q820534$119CC6F6-860B-46A7-AC2C-3C53488B1A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f954ba7254e6add514d62ba2c058b2bcb5ee61","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481f87566baf5d755d66bf42a58b320207b0a4ce","datavalue":{"value":{"amount":"+0.8632641434669495","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":"Q820534$11AD0FFF-209B-4C92-BBCC-38860D1CA05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d4b832dcced774bee8e907a04090e6f44ff42","datavalue":{"value":{"entity-type":"item","numeric-id":2749858,"id":"Q2749858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d5767930bbb8d1247494b140b5ad8f26f7651c","datavalue":{"value":{"amount":"+0.8604333400726318","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":"Q820534$0DC32994-8C04-4437-AFC8-81399F95F819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0585ed700e511635d957c368be5713e795d7c10e","datavalue":{"value":{"amount":"+0.8344356417655945","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":"Q820534$A8AA52C1-B90E-468C-8062-66D87AF8AB91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:820534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:820534"}}}}}