{"entities":{"Q1853552":{"pageid":1864294,"ns":120,"title":"Item:Q1853552","lastrevid":43372049,"modified":"2025-07-25T05:14:35Z","type":"item","id":"Q1853552","labels":{"en":{"language":"en","value":"A deterministic \\((2-2/(k+1))^{n}\\) algorithm for \\(k\\)-SAT based on local search."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857084"}},"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":"Q1853552$F3BB6B92-9078-49CB-AE6C-9B5B7829A6B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2717f6a7a2d9ac0bb86d9f9e439167955b9552","datavalue":{"value":{"text":"A deterministic \\((2-2/(k+1))^{n}\\) algorithm for \\(k\\)-SAT based on local search.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853552$BE7C870D-A04E-4A89-9CBB-1811E3DB28A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce785e8b74522ebbae67643d82033d27f10748f","datavalue":{"value":"1061.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853552$D37815F9-1FD3-46B7-A42A-9A08A613A0F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9440df4281f62436e645bc623c493101c0ad28d","datavalue":{"value":"10.1016/S0304-3975(01)00174-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853552$4C939E07-638D-4574-B148-F062D1AF0B9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$E29F33E4-4DB0-477C-8617-00C68CB57696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$C6988F37-A027-44D0-9E9F-261AAFF71F73","rank":"normal"},{"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":"Q1853552$894B365B-3EFE-4223-9A84-9BD8277EF8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$4D8BF70C-A3E7-4341-9F38-B29562D178CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b0fb0f2c86e93cd39417ea5519157255e289364","datavalue":{"value":{"entity-type":"item","numeric-id":222782,"id":"Q222782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$6000382C-E5BF-4A7E-B12D-26D553F06B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17fd1dfe1d91df455619b1246ffef8f41c1d7bde","datavalue":{"value":{"entity-type":"item","numeric-id":1356891,"id":"Q1356891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$72D180A8-E2B5-4860-A0C6-5B9EC2702950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c5cb5fe8997c475a8cc72d91aad804cf2f3e623","datavalue":{"value":{"entity-type":"item","numeric-id":1199885,"id":"Q1199885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$69E818AE-3DCE-41ED-A2AC-AAE3E7DD68FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e020d336f4040f2344877fb27890751f480383","datavalue":{"value":{"entity-type":"item","numeric-id":1052096,"id":"Q1052096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$71C753F1-0F39-4CAC-B242-595E7FA44E7F","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":"Q1853552$CE41C994-1108-40B1-9CE3-E962E7954542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853552$0F0DB74C-BC17-45FB-8A48-A35C5BE62D22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853552$804558B6-00C9-43BA-B1B6-327E3148DA87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c350e6b3e093185418e2e3ae43de707dd15cf48b","datavalue":{"value":"1857084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853552$62BA0A0E-E301-4364-AFD1-D422390442E2","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":"Q1853552$F77EBC1C-0006-449C-B55E-457743E3A52C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a40eebc5a7b74815d6e1e612a88e42a7c2b749c","datavalue":{"value":"Q57904544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853552$838B433F-4BA5-4767-86D6-B750410EA2C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fda3dee274938380d44edadf2992367c819e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5516510,"id":"Q5516510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$2B311E41-59C2-4714-9E9A-AB09EC84BCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61faf2fdefca2057e248dd8da85463d52d3bd16","datavalue":{"value":{"entity-type":"item","numeric-id":4004338,"id":"Q4004338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$B4C6365B-32CC-4CAA-9E8E-8E89E49A84F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f16236725d557fdbab1a9404019855767be0bae","datavalue":{"value":{"entity-type":"item","numeric-id":4342497,"id":"Q4342497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$7BFBF8DF-FBB0-425E-B574-8F376BDB65B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d648e3d05877a12449091696380b5dd0aa74cd5c","datavalue":{"value":{"entity-type":"item","numeric-id":4525695,"id":"Q4525695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$44CCADD3-EE62-4431-949D-4EC2B4216C69","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":"Q1853552$483BAADB-FBE8-4C60-BD01-A83A18EAC8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1883abac9be31059cdfe4cfbd5eb3c92cfdc0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$E4869DF1-E603-4BF5-96AC-096D3A0E652D","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":"Q1853552$0F296AFB-3F54-40D4-BC3F-7B19C3E3245D","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":"Q1853552$8E33CF33-B015-4F3F-AA61-E0C6308E05ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$183E606A-053B-411F-92C0-E52819C32D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebb8efdaf042166b86074274f53b03830ea6799","datavalue":{"value":{"entity-type":"item","numeric-id":1204869,"id":"Q1204869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$8695EDB8-923B-4851-8FFD-C2BF43C5E31F","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":"Q1853552$78780F02-F82A-410D-9EC4-155E4A96485E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$ED88D3E1-AFA8-4756-8F5F-28610F82E3FF","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":"Q1853552$87EA8A19-C8C7-4A91-BC8C-8005B0B35AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164930c80e191c797775caddd7ff2ab697a9d72","datavalue":{"value":{"entity-type":"item","numeric-id":672138,"id":"Q672138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853552$888E7365-046F-4C07-8073-75FD56A5E21C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3003334b09533bb00230db77ffa9697ec4b7dc2a","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00174-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853552$E5FEFE87-F066-45E0-B04B-83A3EC175E3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3dd27e1bef115cd38e3aca6c6c3fa05450f4fd0","datavalue":{"value":"W2171680292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853552$4E80C626-A26C-4E96-B4DD-3E87716D1738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ddd00df20bd3147ed44ca7043edeabd0ff2dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4779137,"id":"Q4779137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6afbf03b229f33c4c51f5a59df3b7fffca6a060","datavalue":{"value":{"amount":"+0.91345227","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":"Q1853552$BA23E89F-1423-47E2-9BE0-55FCBDF714EF","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":"98ca725476c9574ebd08e97f484a42abeaa6710f","datavalue":{"value":{"amount":"+0.91341996","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":"Q1853552$C177BAEE-1D95-4E62-9ED5-07C415419BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac023be66d8cb019e73c23a7f4849aa585b7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd7d6c6267a4ca752d9edd12ba3c6c19a51a60e","datavalue":{"value":{"amount":"+0.8789239","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":"Q1853552$DDADD5C8-DFE8-462D-B7ED-6194FEB075F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7added482c407254685aa2dee2d092e67a88467","datavalue":{"value":{"entity-type":"item","numeric-id":4224926,"id":"Q4224926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bbe343d75344e4369c578c6838ebdfea92e645","datavalue":{"value":{"amount":"+0.87458265","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":"Q1853552$2F403FD0-B833-4589-BA66-45F93EB878B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73171f12d22dc48dfe4b0d93a7293e3c63b62650","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf6da333dc5c0783b90a5f40a7eec91633ad49d","datavalue":{"value":{"amount":"+0.8676645","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":"Q1853552$B3F76C97-0939-49A8-B9C1-FB90784BB4ED","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":"66918e576ccec9bf81858abbc69031d93600ec28","datavalue":{"value":{"amount":"+0.86589086","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":"Q1853552$F798701B-71FD-4E95-A61A-4B70E60926EA","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":"66918e576ccec9bf81858abbc69031d93600ec28","datavalue":{"value":{"amount":"+0.86589086","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":"Q1853552$69B7CF59-E27A-46D4-AE07-F3B17C59BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b952b0a496022871d960112292997501b00173b8","datavalue":{"value":{"entity-type":"item","numeric-id":4578331,"id":"Q4578331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8322cd42542aae846a6e77b2d1b418ad4706a8","datavalue":{"value":{"amount":"+0.86497086","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":"Q1853552$ACE81277-E408-47D9-88FE-FA9609B6F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e6cfc0843016bc5ade6d6a373115730b50e76","datavalue":{"value":{"entity-type":"item","numeric-id":2904751,"id":"Q2904751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7cc8d742dd1936459c2d677f12996594c7e139","datavalue":{"value":{"amount":"+0.86133015","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":"Q1853552$9332659A-21D8-4FB3-8E00-D44AEFADDA61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1853552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1853552"}}}}}