{"entities":{"Q4930575":{"pageid":6960157,"ns":120,"title":"Item:Q4930575","lastrevid":51093242,"modified":"2026-01-16T15:31:16Z","type":"item","id":"Q4930575","labels":{"en":{"language":"en","value":"Improving stochastic local search for SAT with a new probability distribution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793442"}},"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":"Q4930575$222FCAAA-E6F4-48CE-A2FC-8AE5BAE99FA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51386bfe86bf817f2914d2f14553b5a90b078556","datavalue":{"value":{"text":"Improving Stochastic Local Search for SAT with a New Probability Distribution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930575$7B56128E-7625-45D0-AC2D-9A3B9FC3CC62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6af2beb1dc80ea7af761df5ca0327e9ad2c4f0e4","datavalue":{"value":"1306.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930575$7B0A1E1D-3B16-4B9B-8817-EB78632C66CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13e8289568fc30bafa48b8e248b24d4a3b9eeb8f","datavalue":{"value":"10.1007/978-3-642-14186-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930575$210CE0BB-D65D-4429-920F-FF2F467024FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77106a936d9d1e65bb827c4be3e293bb44718f6","datavalue":{"value":{"entity-type":"item","numeric-id":502387,"id":"Q502387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930575$12E19F12-9FF7-4C38-A6C5-9BC13B7C64E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbc891224517055fc3e79fc6a5600693bb594076","datavalue":{"value":{"entity-type":"item","numeric-id":504996,"id":"Q504996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930575$74534C3F-3EC5-4BEE-9800-67CC1E3C40E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930575$AB7B07F1-20A7-432C-B637-1104CED9CC59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930575$7B5456AD-F6B7-4D62-9CBD-E369720E4D5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930575$011F4FD6-D3D2-4FCB-9DFB-3B997F53F1D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29ff443fac74aa9a13f7bbd6e0515045812fe25a","datavalue":{"value":"5793442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930575$5F102CDE-A68D-4888-9DC6-8DDF05F651FF","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":"Q4930575$82A05F9C-3489-48CD-BAB3-18A656DCAEC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"975d62653a9c851d29eb176bd042fd8540ea312d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930575$76E2AE14-FA9D-4E4E-9242-DC1EDDA3605C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b594a2b79a0c580f28e9accb4256c491bbb00475","datavalue":{"value":"W1506255457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930575$C8AA86ED-1A2B-4499-AEB3-B25CAB0E5E2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3ac724677693bb4c1253d0a19e7250fa02e09e","datavalue":{"value":{"entity-type":"item","numeric-id":2843318,"id":"Q2843318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c112445dfe2c19fc166f6007b0b189752597d01","datavalue":{"value":{"amount":"+0.8476459383964539","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":"Q4930575$078B72E6-E86D-4CB5-8987-C4DE6AA6E50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2286fbea96793d363f95c5b507743d7fdf2874","datavalue":{"value":{"entity-type":"item","numeric-id":3604003,"id":"Q3604003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed16a96419d08332f789329015ee5992f61fa8a","datavalue":{"value":{"amount":"+0.8166961073875427","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":"Q4930575$6F63DD77-7357-4274-87F7-EB70C60E47DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d804c4d42ff9c398f873f98cc0a64ef3c7365","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439c571c6dfe68da0c24cad7c7e78e878eefd4cd","datavalue":{"value":{"amount":"+0.7882397174835205","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":"Q4930575$9625B38D-E2E9-4DEF-B913-A1AE82D82A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61512c73da7dd21609e3628dbecc1739274971e6","datavalue":{"value":{"entity-type":"item","numeric-id":1606317,"id":"Q1606317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d468d40c0d17d80e9a482e8ea165f93bc2fdebf8","datavalue":{"value":{"amount":"+0.773870050907135","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":"Q4930575$02B21172-D9B0-42B8-88B9-83A7BAD7F444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67eff4b57e7e2f45443af99efc7e9b406ff70438","datavalue":{"value":{"entity-type":"item","numeric-id":3192078,"id":"Q3192078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b149e8c7a491f496509975942640646ad0181e6b","datavalue":{"value":{"amount":"+0.7676311731338501","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":"Q4930575$147864AE-838D-4F0C-9CE3-015D2BF51422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930575"}}}}}