{"entities":{"Q5054860":{"pageid":7084437,"ns":120,"title":"Item:Q5054860","lastrevid":47786890,"modified":"2026-01-02T16:53:07Z","type":"item","id":"Q5054860","labels":{"en":{"language":"en","value":"Local search algorithms for SAT: Worst-case analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631802"}},"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":"Q5054860$CA14F4D5-D50A-439C-B024-C34749DCA16C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87c10e0c5906df22e2d89e381882796689043b48","datavalue":{"value":{"text":"Local search algorithms for SAT: Worst-case analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5054860$C2ED0866-D090-4960-A70B-1B6D01FFCFB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8171b8ee921458b5ad88e9aab2060ed4af566991","datavalue":{"value":"1502.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5054860$9DD1F17A-EE68-4562-BD05-25DCFC9FB010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$D73407C7-15CF-4767-B405-BCFA7B027E41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f1015b98b0f42a3e44dc4518eaf78e0ac6e11979","datavalue":{"value":{"entity-type":"item","numeric-id":5054835,"id":"Q5054835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$D7CE8CE3-DA10-42CB-9E1D-89286936812C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-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":"Q5054860$6488908B-2386-40CD-B5AE-45BE89636D1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5054860$DC150B65-624C-4F2E-AAD5-5484318557A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5054860$3C5E4B39-8765-42B6-BE28-7232E3E12EFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c13163b08210e95bd0df42fb569bd15c0e95c948","datavalue":{"value":"7631802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5054860$D48605A3-04E0-44B3-802E-3AD9C057B4CF","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":"Q5054860$8E5CBA98-D14B-4339-9B8D-C9196FAC90A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3f3445cbdfcf493e8baa6eb93b6ea962b6b51ef","datavalue":{"value":"https://doi.org/10.1007/bfb0054372","type":"string"},"datatype":"url"},"type":"statement","id":"Q5054860$EF6B8699-5403-4587-B145-9F45FF739913","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa26a319628104e24b04e9e78dac5e99bfe0bfa4","datavalue":{"value":"W1549979730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5054860$FB76ABB3-C7AE-49BC-8CDB-F8EF6DC7D8FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecf6c952f9462bdce609c5d186704990a6c5b31","datavalue":{"value":{"entity-type":"item","numeric-id":1370606,"id":"Q1370606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$BCDC8093-8E05-4993-93C8-A253602944D1","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":"Q5054860$2F1DE3A1-A718-40BE-96E6-AEE27F155276","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":"Q5054860$F344811C-8DB3-40D9-BAF4-E664CC333D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35166e7f3454b259df6e238ebadfad87eaf4eaa5","datavalue":{"value":{"entity-type":"item","numeric-id":1198012,"id":"Q1198012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$7AC4CB6A-8A76-4EFF-BC18-525C15A0529B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58328876cb3ae02511c945705dc80cec928ad7da","datavalue":{"value":{"entity-type":"item","numeric-id":4375761,"id":"Q4375761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$198821B5-899D-4A15-96D3-A9636E16411A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e098c70f0612f6a83177257ba3c74d2ed43d146","datavalue":{"value":{"entity-type":"item","numeric-id":3721816,"id":"Q3721816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$795CC964-2FFA-4E64-AE4A-BD0FF8150625","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":"Q5054860$25788B77-1B00-43EC-81B0-4B1183BBD4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5054860$A4B221C9-D3C2-450C-91EC-BB5051527225","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01e9bcb7738c08df2adf1def818c7282308c96c6","datavalue":{"value":"10.1007/BFB0054372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5054860$43A0F6AF-BDA3-4114-A1BE-AE5D584659A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef04500975d5d588d8e907758698790320bc544b","datavalue":{"value":{"entity-type":"item","numeric-id":2749857,"id":"Q2749857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c44c28d9f5c511afd4c4c3d17e239bddeed538b","datavalue":{"value":{"amount":"+0.974369466304779","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":"Q5054860$6EB2586E-6DDE-4B9A-BD02-9C3116D1756B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56269419517fdbbf368cf98297e5e34da18a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d0c8892c7993ea2f7da815a75ebeb99d2fdf41","datavalue":{"value":{"amount":"+0.974151372909546","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":"Q5054860$41850EA1-525B-4C40-97A1-95E92D4E8C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcce7491e3f3df09e83119df179120a07d033a0","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce62bfa6a0240036d4b032213f2836993ac86bd5","datavalue":{"value":{"amount":"+0.880297839641571","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":"Q5054860$268775E0-2905-48B6-912B-94189B918BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a19d21e70c72c21395d608109daefc764d741d5","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548b289fad5a84fc68fedc479571046ec331b8f0","datavalue":{"value":{"amount":"+0.8675865530967712","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":"Q5054860$DEFFDFA7-6266-4394-A82A-01A72DAEF372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd2d6a51802cf53f2b30fe61f09ac14a5687ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebdeea1e96838b0b397c0e666ba665bbd052cb7","datavalue":{"value":{"amount":"+0.8555994033813477","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":"Q5054860$FDB4F7AC-F9D3-4C09-A3F7-404EC9D0B5E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5054860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5054860"}}}}}