{"entities":{"Q2661337":{"pageid":2672080,"ns":120,"title":"Item:Q2661337","lastrevid":44590434,"modified":"2025-11-24T04:19:37Z","type":"item","id":"Q2661337","labels":{"en":{"language":"en","value":"On the effect of learned clauses on stochastic local search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331014"}},"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":"Q2661337$7292EBA2-ABEB-4DF4-AE87-1B3B3B8E80BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dad867f6ab6af7324390935416af4c63f65d6305","datavalue":{"value":{"text":"On the effect of learned clauses on stochastic local search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661337$A68F2985-3A43-47EC-8A33-521A0A8A9BAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5ea9fa10ded6e008ecbdee832acc5b55b1326b3","datavalue":{"value":"10.1007/978-3-030-51825-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661337$47BC0FAB-2448-4B92-94E7-4BEBAEA302BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bf28e1fa8b4ceab8f6a91e2401c909e7d688f1e","datavalue":{"value":{"entity-type":"item","numeric-id":825971,"id":"Q825971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661337$D90C9171-E3AF-41EF-9645-10004239F3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ce080922ea2275bb861ab607c255aa0e3ef4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2033468,"id":"Q2033468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661337$82DD9E84-CD59-44C5-9329-1047342F9F86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2661337$13C4EDCE-75B3-4091-81E5-3B0DADD42E2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d7b9791efb6d62c3fa15e244b137ecb1fec4a48","datavalue":{"value":"https://arxiv.org/abs/2005.04022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661337$2FCE07AF-141D-467B-8E1C-7A8CAC1BA7D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661337$4D9350B0-96EB-47F5-8962-CAE8C2E5C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661337$666D5C6D-A20A-4E6B-8969-00A1731E2349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661337$8B3B0843-0C3F-40C0-B901-374325C8CDD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9679b448da300585fce6c70797b1f016301fc7eb","datavalue":{"value":"7331014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661337$A72213AF-95D4-4AF9-A7B4-76595FC6CCA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c78b0737499e0b53f27cb58577d0501e12bb8a","datavalue":{"value":"stochastic local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661337$AB0CB887-8DE2-4813-9432-26BAF6DF953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661337$C79E7DD6-4AD0-4518-B91A-D971783A6124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e01f900d5af4156b08a88081896867b442ad3b","datavalue":{"value":"learned clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661337$47655FE7-D11D-4AFD-8FAA-E907B7FC3340","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":"Q2661337$5CDFCB91-BF77-45E3-95F7-5370099E74C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db64a8a656d4c71b7fcb160115ee6dee9c6c7977","datavalue":{"value":"W3046220846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661337$0F1F7D9E-C5B1-46F9-B877-CF35B1AA23D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdd175d3afb7e6b2fa9a2617082a7ec7c1fb9de","datavalue":{"value":{"entity-type":"item","numeric-id":3502713,"id":"Q3502713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178fb2c022442cf531a309f6bdbdd80b15032c4c","datavalue":{"value":{"amount":"+0.8574411","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":"Q2661337$087A50E2-7761-4E02-8544-6EF419EF19DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3274e50a67589976e3e9b2a36563472f58dd3351","datavalue":{"value":{"entity-type":"item","numeric-id":3639755,"id":"Q3639755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f21d86a835eb3b9917d26d9722e4619896c54dd","datavalue":{"value":{"amount":"+0.84079623","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":"Q2661337$535506A4-C199-413C-B663-F606E438123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1862e1b25c9d7ec02322e4ff0a97c29be3bb5083","datavalue":{"value":{"entity-type":"item","numeric-id":2782271,"id":"Q2782271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df91f292dc02f3e8c20201ab1528df7115863f83","datavalue":{"value":{"amount":"+0.8344331","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":"Q2661337$E5EF095D-0452-497D-B7FC-EB1CE0BFED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e2df023c16a0e9e74760627654003ab7ae9abaf","datavalue":{"value":{"entity-type":"item","numeric-id":3603414,"id":"Q3603414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e7640a75114681cdb2038629924c856400fe51","datavalue":{"value":{"amount":"+0.8296486","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":"Q2661337$E5E3840C-584A-4A93-9038-D1CC9CA4E602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23072d6a144e2418b6a2b50c92d16fe1d5cf80","datavalue":{"value":{"entity-type":"item","numeric-id":4534910,"id":"Q4534910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50fd2ae78c612001327a857f0e2b12de19712a1","datavalue":{"value":{"amount":"+0.8294153","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":"Q2661337$74ECE566-B39F-44DD-9ADD-A8D277036123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff7bac581ad22c769292e3e8a2d2e198450c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4450444,"id":"Q4450444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8d99b670e53c1ef1cd6192b3d75febe20e36e3","datavalue":{"value":{"amount":"+0.82744026","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":"Q2661337$67A5DB6E-DF18-43A2-98EB-36F976A8946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7e7dbf66b08618003d6e5e03b0a586d1635642","datavalue":{"value":{"entity-type":"item","numeric-id":3569759,"id":"Q3569759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f44901c8592941709c872b8bf0c7e5e9031eb6","datavalue":{"value":{"amount":"+0.82637566","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":"Q2661337$EB4CAE16-A140-45DB-B35A-166429594A58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2661337"}}}}}