{"entities":{"Q5410641":{"pageid":7440215,"ns":120,"title":"Item:Q5410641","lastrevid":92263253,"modified":"2026-06-05T01:16:58Z","type":"item","id":"Q5410641","labels":{"en":{"language":"en","value":"A bit-encoding phase selection strategy for satisfiability solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286268"}},"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":"Q5410641$58EA2114-0AAC-4319-A4B8-B13E71616CF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"985124c763d2636690a9c96d67666030bdd65a00","datavalue":{"value":{"text":"A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410641$E8E677BE-4BFC-47F0-8097-23657F7C3C62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98c51307e0556c55d3a66e686336f12961b16029","datavalue":{"value":"1405.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410641$3F81E38A-D35A-4582-BC80-5E98920801E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a7f11859609dabbc5a0a76c89033d8d094e74a","datavalue":{"value":"10.1007/978-3-319-06089-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410641$0E7E8DF0-15D3-4E0A-8776-085E72359053","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"199a417e162e31031e6da5f14aa3f33270a8fc33","datavalue":{"value":{"entity-type":"item","numeric-id":844152,"id":"Q844152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410641$09603333-7F28-4F93-A916-728E31415B6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410641$C2B0CB06-979C-4D28-8DC9-B7ACD59C1A1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410641$B833712A-594F-43E8-B5A4-4CDFB250E856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410641$58174640-1361-4521-A080-3F34A5F725A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49792b78ba79d02fff737596c943b579021091bc","datavalue":{"value":"6286268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410641$62C9E424-4E65-405B-B8E8-35B7091C3E46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410641$12BD39D5-394F-40D0-BE43-41A0790B78AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce4075dfb0695aa29e09e2e5f7e04bade17cc01","datavalue":{"value":"conflict-driven DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410641$31591449-C054-4315-B0BE-88CAF3CAF0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c6e558b7f3f559ebf5a9aac639bb47b04c591a","datavalue":{"value":"phase selection for SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410641$C2047657-9078-491B-8180-172873BA418B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410641$88B93B15-DEB6-4BF0-8B3F-EE3451DC1FD2","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":"Q5410641$2F180EA1-438F-4393-9A03-2C18E22ECEB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d10260e73d9f17ca0b7c2ba494e5189f84344611","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06089-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410641$B811867C-8DB8-4F58-A636-B2136A392E8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a489f19a1b7339bea35264e0cee4ef23e2dd5491","datavalue":{"value":"W10891775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410641$45E147C7-9849-4CE1-A3EF-E50BF27B0AA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8ab3ef8c0dccaae62d064fdab9de59a221b350","datavalue":{"value":{"entity-type":"item","numeric-id":5498062,"id":"Q5498062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1959fe7d45567368f561098574c0166cce4b8c","datavalue":{"value":{"amount":"+0.7499608993530273","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":"Q5410641$EB8C1336-68FC-4CEE-809A-30E00FCC1CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee606fea5ed20521051bf7fab79d2c42dd8780e2","datavalue":{"value":{"entity-type":"item","numeric-id":5901317,"id":"Q5901317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c716b16ae3c387ddad1409147a8276cce75981cd","datavalue":{"value":{"amount":"+0.7462334036827087","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":"Q5410641$EEE599DE-A74D-4C3C-A8C8-21AAFEEB2B4C","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":"49f4b8ff72347cf192bc3deada754e3d05edd871","datavalue":{"value":{"amount":"+0.7437244653701782","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":"Q5410641$DBEA6037-DBD4-40F4-A76D-A0C31D7251C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387644dedb4d868808a3c977c0789f01aba990d9","datavalue":{"value":{"entity-type":"item","numeric-id":2818004,"id":"Q2818004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bfb22dc901d5964dcdfcae35d2e25bb867fdf0","datavalue":{"value":{"amount":"+0.7400822639465332","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":"Q5410641$8576CC38-C841-42F7-87EB-F9B375A1FA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7e5c0b113d7d2538e2e0a7bf6c35980cca2106","datavalue":{"value":{"amount":"+0.7397316694259644","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":"Q5410641$C1336DC7-2EDB-4816-A1EC-FEA49F51FCA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bit-encoding phase selection strategy for satisfiability solvers","badges":[]}}}}}