{"entities":{"Q706635":{"pageid":708484,"ns":120,"title":"Item:Q706635","lastrevid":48409648,"modified":"2026-01-04T15:36:15Z","type":"item","id":"Q706635","labels":{"en":{"language":"en","value":"An improved deterministic local search algorithm for 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132506"}},"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":"Q706635$5945D8B2-A976-46E4-A9BF-BFCBD9FB11E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"137343f2a739069a6f2583612db49745cdeb0b0a","datavalue":{"value":{"text":"An improved deterministic local search algorithm for 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706635$F2E716B2-0FA6-4B48-A342-2A944B5D0E39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62aafdd89472757559acb00a8aea18e17d0a557d","datavalue":{"value":"1086.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706635$24F0FA9A-DC3D-46D8-99F9-75E249EC8E73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91e47d45070140b9ce80deed202e5c80680e23a8","datavalue":{"value":{"entity-type":"item","numeric-id":415565,"id":"Q415565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706635$03CD035C-4DDA-45CC-9865-83551B7BF518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03794ad79d6c849c6904d9a0e8304a678b4ad199","datavalue":{"value":{"entity-type":"item","numeric-id":170461,"id":"Q170461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706635$6E3B195C-D49B-46AC-B7A7-E99E0A35D160","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":"Q706635$70275D0A-881C-4061-9D02-D18245054E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bb430d98445fad0c07a301b258c507df3dbc1f9","datavalue":{"value":{"time":"+2005-02-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":"Q706635$220D5779-4B5E-40AA-8F82-D40D0DDE6F18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706635$6635B525-841F-4613-A7F9-3F9F6078169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706635$F89196D4-E6D0-483D-8566-5C08C96B38D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52b38fa0bd81f1556dd1539cb66e13f62f0904f8","datavalue":{"value":"2132506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706635$8251FDA9-75F0-4D25-8A37-6DE83693B99C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e9011d35d1654854ebce9f5c99c92a051a7902","datavalue":{"value":"Exact algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q706635$F3A08F40-7FF9-48FD-A103-BFB5D97BC9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ec63c648bc66ac444a94c867b4ae62643ad777","datavalue":{"value":"Local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q706635$238D4C8E-8D8A-49C9-B283-3CB660481DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q706635$894D1B6C-CB16-4E57-88CC-99FCAF6F04B5","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":"Q706635$E413EE3F-21B3-4B6E-9CE3-792617C37C08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f72bfbbf517990064beb4884ef14e383ef27216","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q706635$82F9BD24-DC3D-4AC5-B845-33EFE487FCF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a19108adc40b5b64a4086e7c31178176b4fa3220","datavalue":{"value":"W2156223756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706635$C265C47B-F8AD-46E0-B334-2E4B7A87C083","rank":"normal"}],"P223":[{"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":"Q706635$4242BECB-7211-48F3-BB92-4AFB57CCA934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc117c887d682c44a18cb82bd37083ff8a25e26","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706635$822F33CE-F214-4070-ABE7-52462E47B19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706635$BA34905F-D72E-40D7-A81E-39F8E9272D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c50d592ac16f4f899d6a966f409e86a8fd4ac7a","datavalue":{"value":"10.1016/J.TCS.2004.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706635$258E3444-5620-4D35-B422-2D51E4037AD1","rank":"normal"}],"P1643":[{"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":"3fed9e216d047164a88f3eceb678c6532624b1d8","datavalue":{"value":{"amount":"+0.8653574585914612","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":"Q706635$DBCF7979-EE71-4A2A-9547-2CFDA2B1DADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4c44822b53ae619d62d8b940224636a058b7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754147,"id":"Q2754147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64865c77abf124766b9f6d2a126fb51f6c6e5286","datavalue":{"value":{"amount":"+0.8353562951087952","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":"Q706635$A3CBB6C1-056D-44AD-98E6-949BAC37878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af3ff25b26f0fb71d99d8d2fca17974dfe0535d","datavalue":{"value":{"entity-type":"item","numeric-id":5458517,"id":"Q5458517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bcb03641d30d46ae2ab98af3ab29f49701206c","datavalue":{"value":{"amount":"+0.8276825547218323","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":"Q706635$9BF34132-9DD8-48C5-9CF4-EECA95387F0B","rank":"normal"},{"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":"4b85b102982a59808ee87a64974e05b2dbd676bb","datavalue":{"value":{"amount":"+0.8194498419761658","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":"Q706635$55F1013D-CCC4-46F1-93A5-14F858EC2831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae55f03e91faa89c1513c51814ace5855e4afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb33b09ac330c604df289b97761c6dce8f208ff","datavalue":{"value":{"amount":"+0.8178303241729736","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":"Q706635$E7B5553D-2613-4674-9529-149FAA95912F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:706635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:706635"}}}}}