{"entities":{"Q5101311":{"pageid":7130887,"ns":120,"title":"Item:Q5101311","lastrevid":100219661,"modified":"2026-06-05T21:38:22Z","type":"item","id":"Q5101311","labels":{"en":{"language":"en","value":"Better Decision Heuristics in CDCL through Local Search and Target Phases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577517"}},"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":"Q5101311$2562883E-7DC0-4F41-939F-5E4F70690B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7db0278eccbcc1e393eb314c06a34fafd9bef87c","datavalue":{"value":{"text":"Better Decision Heuristics in CDCL through Local Search and Target Phases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101311$C57A5F8E-B96A-4C98-AFD9-E45165519D6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101311$2FC51B89-7174-4C9D-8B1D-CA52F15C10F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48164fb7cc06a11777567e087a869ebb8e693095","datavalue":{"value":{"entity-type":"item","numeric-id":2118285,"id":"Q2118285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101311$778486D4-42C8-4A52-A898-6E779F4C839A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101311$B7817ADE-D1CC-4729-A01D-202A07E866E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101311$5860A705-4A29-4CCD-9207-00FAE337F398","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101311$6AA05EDC-6A68-41F3-A17F-1564E1209E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101311$5CF6CDA9-01C0-4D46-8248-D87F3490E036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101311$86F079F4-E02A-461B-A64A-DCBCDF20159A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa5b05efff7f585678faf0ba7c73793e78c681ec","datavalue":{"value":"7577517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101311$EC2684B0-EF5D-472B-9192-E95DE0A734A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101311$D8B04A8B-10A4-4D37-B62D-D655B4F808AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101311$EC09C3AE-B89D-4C13-BC53-F210DCD002DA","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":"Q5101311$1D1E3CAA-5509-49B1-9616-DC5BCA24019C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"705f591d223edee4e107ff5f98334f3e1b97609f","datavalue":{"value":"https://doi.org/10.1613/jair.1.13666","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101311$C50B4002-4A5A-4CEB-B58C-78E8B1E4C573","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cf800f9c7c0b9356e1ced767d6405df3753f9ea","datavalue":{"value":"W4295705322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101311$F200E1C8-3F3F-4252-8206-9FB6E8216CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46288883cbeca128f1087863f796e158fed2d310","datavalue":{"value":"10.1613/JAIR.1.13666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101311$61AE9C52-192E-48E6-9419-B9C55C873DD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0881064ea700bfcca40cf8383ba0e2d43204261","datavalue":{"value":{"entity-type":"item","numeric-id":4933326,"id":"Q4933326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62d8ba2698e0210eb0cfac2d86b355b63c9c1eb","datavalue":{"value":{"amount":"+0.8205647468566895","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":"Q5101311$3BB3C52D-C9C4-45BA-8426-D7943A9B2380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80263bd70a517a7f324b35308cf75569cca1efbf","datavalue":{"value":{"entity-type":"item","numeric-id":2843320,"id":"Q2843320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9284a39ef1871d789ec198d30aa7c7835384a2a2","datavalue":{"value":{"amount":"+0.7795550227165222","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":"Q5101311$15F5451F-1B24-4C94-83E7-2DDE50E54A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3d1e429205da3fda246313dee2413fc99f8c89","datavalue":{"value":{"entity-type":"item","numeric-id":3453235,"id":"Q3453235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a77d364abe8d792d2ab6c87e65e118e70a04cf","datavalue":{"value":{"amount":"+0.7649818062782288","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":"Q5101311$C2AE683F-0F4B-4B96-8D0D-63DBA16DF725","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":"c1871d87bd87226d45fd4ee1e45147b765246794","datavalue":{"value":{"amount":"+0.7539215087890625","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":"Q5101311$9659B8B3-E0DA-4DCC-9ACF-FC7584EACFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5671d95102610393ee4192e8a4b8d4f26d028d","datavalue":{"value":{"amount":"+0.7512402534484863","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":"Q5101311$AAF5F70C-FCC4-4F6A-8B39-EA237FC56329","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Better Decision Heuristics in CDCL through Local Search and Target Phases","badges":[]}}}}}