{"entities":{"Q3527696":{"pageid":5557600,"ns":120,"title":"Item:Q3527696","lastrevid":81028145,"modified":"2026-05-06T17:33:07Z","type":"item","id":"Q3527696","labels":{"en":{"language":"en","value":"The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5348262"}},"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":"Q3527696$DD3ADFD9-465C-4C73-A24F-BD13B6BDE37F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"151d7f009bc63973e6286299fc6c2bf659d408ce","datavalue":{"value":{"text":"The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527696$81565642-4BFA-483B-910B-428A05A139D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d1d953f405c278e15925ae741d0e9b7c6fb9fab","datavalue":{"value":"1162.68655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527696$7D4542B3-5497-42EC-A710-54EEC81D4E09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527696$FB01CDDD-2110-4807-BBEE-465D943EB039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527696$66AE7308-16D2-4438-A532-9F78198F199B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527696$4568527B-FB58-4DF9-8BB9-51DE45E17C5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf6f7b353a66969518a90b0af004266817357ae3","datavalue":{"value":{"time":"+2008-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":"Q3527696$35CFFA27-E45A-44E0-A4DB-5E187F39C284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527696$2C0B2D86-AB4B-4039-8693-3DC47D3C009C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0934d44f1595e1b40db8f411f973f85f420a302c","datavalue":{"value":"5348262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527696$5F122D95-CBA3-4F76-8FE4-77827560B4A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c90c48c1ab2c02d986907d0aa131d14fcd63ef","datavalue":{"value":"backdoor sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527696$6E1FDF15-0AFB-4930-AD3C-FB6FB1D3B6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bc8a3405f035ae0224a4e2a1c8c916060b48496","datavalue":{"value":"branching heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527696$669EEFCF-3717-41FE-80A0-E688AF85706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca44acbc5038983dd7ac8efedcdb183aae9bf10","datavalue":{"value":"clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527696$038F43C5-C5DD-408A-9933-653F3909A45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c33959b102d36865242ebd68912f0393ebca3f","datavalue":{"value":"problem structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527696$AAFCB3D0-DC12-45AF-8138-2B340DF929E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527696$11D3BA15-D41C-415A-960D-646DBA7E7AE9","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":"Q3527696$A6E24DF3-7D63-4279-A2E8-7A1861191B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527696$92C5D851-08FD-488B-AEE3-C6278B4E8BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527696$75F23FEF-45D4-4EE0-B49B-9081058A1D1D","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":"Q3527696$4EDBC106-793A-423F-8D5E-6B0DD2FC3D73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"937db29f3730a0f91792f0a5aa82e832047f5ae4","datavalue":{"value":"https://doi.org/10.1016/j.jalgor.2008.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527696$D26FD3B2-4134-4ED5-B399-0DAE91E07919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a15c569963e8d2cf805104baf4ba3679432ec8d","datavalue":{"value":"W2141692543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527696$0E0F3DB5-92A7-446A-ADEF-BDC6769AC75B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"768b2608d9449a0e3932bb7195aaa21f8d566714","datavalue":{"value":"10.1016/J.JALGOR.2008.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527696$06032918-F047-4C2B-A42F-A3F7A320162A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ff8b8d86bda233d89afe0b6e8169f7e956d820","datavalue":{"value":{"amount":"+0.87546706","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":"Q3527696$44C90301-A7AE-4652-A8FB-C777D995F5B0","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":"32678f458eb110cc8ddb78a998044a214b55942b","datavalue":{"value":{"amount":"+0.8648275","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":"Q3527696$875C9167-2737-4F9A-8C6B-835991846A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5f4dfbe3797c59dac2a5dc4ae91689aff0bd43","datavalue":{"value":{"entity-type":"item","numeric-id":5106262,"id":"Q5106262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f119b1aca3a662c2de928f4294a07260f0505ba","datavalue":{"value":{"amount":"+0.8575924","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":"Q3527696$54DBABEF-E53A-4A62-94A0-46E390D673FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65e93e4fbb8469cde83b7ef363076e645bdaa8a","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2c811d5947e8f7469c80c860d4d14465170f99","datavalue":{"value":{"amount":"+0.85231864","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":"Q3527696$3699A257-7A18-4357-9AE0-8EB3FE41327B","rank":"normal"},{"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":"dc4c7aeb34179740ca1e2c8c43c64b78e6627c16","datavalue":{"value":{"amount":"+0.8491284","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":"Q3527696$14DD1257-CE07-443A-8DAD-59A1E1F6D1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5949953b758afcbd7d54d5a74b9a74365424d2d1","datavalue":{"value":{"entity-type":"item","numeric-id":4583960,"id":"Q4583960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8beea47885dfcd6b7b4465677070d2cb0a1775","datavalue":{"value":{"amount":"+0.84701324","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":"Q3527696$42C947F3-7D10-4874-9BB7-BFF7DAA4E097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e0c030e8dbc614e4322a184d68187bdd818b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587716,"id":"Q3587716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde117aa70e7a55c4f3a73fb983d167dde1c1429","datavalue":{"value":{"amount":"+0.8465829","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":"Q3527696$5B8ADD4D-EE40-42BC-8193-7AD348ED91EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study","badges":[]}}}}}