{"entities":{"Q2870149":{"pageid":2880869,"ns":120,"title":"Item:Q2870149","lastrevid":83952392,"modified":"2026-05-07T14:51:58Z","type":"item","id":"Q2870149","labels":{"en":{"language":"en","value":"Partial backtracking in CDCL solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247455"}},"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":"Q2870149$E8A8D832-194C-40B5-ACFB-9B28D83D20A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4a1303d4ea8d21fd3e61ce7713353d3cf12be49","datavalue":{"value":{"text":"Partial Backtracking in CDCL Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870149$156F5699-D25B-4CA7-8441-62F05BD21DBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec367f981793548eeaddb1bf99325687d3618188","datavalue":{"value":"1407.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870149$511B12A1-3DCC-49AF-BFB1-74E444B4FBAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c1a0536267d19684d082ba37f1351967963ec56","datavalue":{"value":"10.1007/978-3-642-45221-5_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870149$D1DB511B-F6C6-4FF6-B5AB-794D8491F877","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870149$BDDBCE51-F102-4470-961D-0629128018A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870149$1488DED8-99F3-4E74-B076-812700AA3650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870149$CD5339F2-7792-4F8E-A46B-B93C05871203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e0150271f7927bd97ff65fd959def77e16cf11c","datavalue":{"value":"6247455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870149$2C43555C-8FF8-48BF-B0FE-DC9342B57BA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870149$C37E4189-5242-4DBF-9E37-AC6289B46FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870149$83AEAC91-A6F9-4D42-8B2F-A9EB476772E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c983ebe555d14fa0cb257d096fb59786c81dd1b5","datavalue":{"value":"conflict-driven conflict learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870149$94C96BBA-FE59-4423-9567-6238F2E70ACA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870149$5A7968EC-DD4C-423B-A3D0-55F15EDA870C","rank":"normal"},{"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":"Q2870149$61888574-B726-4832-A7C8-B11A7D6AC9A4","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":"Q2870149$D7ECF0E3-0939-488E-939A-7E3B5A50F907","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":"Q2870149$ADA6C2C5-E95F-488D-BDE6-7C0BB51335AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07602d78fa0e13300c93574c93b017b3dae05acf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870149$D8E56C17-A0B8-484B-914B-A085407DE6B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4129b3e83639b469ebd2ec926487d4f2ba36d6c1","datavalue":{"value":"W301365898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870149$F3B8CA71-9EFC-4767-936C-9E8FB6487402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa2fab7114b715c2524682a9493c3f0a5808f53e","datavalue":{"value":{"entity-type":"item","numeric-id":2324219,"id":"Q2324219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870149$9C76ABBE-9D5A-4284-8F63-A89464F7C37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25c1fdfe8547d38fc345326af6e88f756923395","datavalue":{"value":{"entity-type":"item","numeric-id":2432766,"id":"Q2432766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870149$A6E2BD35-8932-441A-A90E-189EF2516977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0a56f42736841aec5acf4d40d00d731e06c77f","datavalue":{"value":{"entity-type":"item","numeric-id":1596804,"id":"Q1596804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea373c54e03fcddb029fb48d1ffc90a9528374fe","datavalue":{"value":{"amount":"+0.8274281620979309","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":"Q2870149$4310263E-1516-46EA-8BF6-2AF3EA091D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96dbb8e3165dd1120e59a6d90d05bae178c6d39","datavalue":{"value":{"entity-type":"item","numeric-id":2181937,"id":"Q2181937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f6c8de217cdc99107b6146ff5f4def5f885a32","datavalue":{"value":{"amount":"+0.8117214441299438","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":"Q2870149$238FC58A-DF91-422B-95B3-515AF45632B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c395ce850d0e09094a6271daaef0bb30d1236c","datavalue":{"value":{"entity-type":"item","numeric-id":5191554,"id":"Q5191554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bcd1ce8aa6828cd52a4fd4fb0883504e149bd3","datavalue":{"value":{"amount":"+0.8082813620567322","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":"Q2870149$4C07E5A5-08C1-4637-8B26-6BF1D6537797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859b19809b2f9f2765bb53fedb4ebbeee97c998d","datavalue":{"value":{"entity-type":"item","numeric-id":862398,"id":"Q862398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc03c482d1cb25408e5ba34365115ef946efb636","datavalue":{"value":{"amount":"+0.7782492637634277","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":"Q2870149$A89E6460-2EFC-4C3A-A22E-03B772917255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c3ab49d404a873b93123e609292b3ff949964c","datavalue":{"value":{"amount":"+0.7670407295227051","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":"Q2870149$C47A370D-5448-430A-842C-E9150D8B17D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial backtracking in CDCL solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_backtracking_in_CDCL_solvers"}}}}}