{"entities":{"Q3453235":{"pageid":5232635,"ns":120,"title":"Item:Q3453235","lastrevid":52400459,"modified":"2026-01-22T13:46:01Z","type":"item","id":"Q3453235","labels":{"en":{"language":"en","value":"Between SAT and UNSAT: the fundamental difference in CDCL SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512582"}},"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":"Q3453235$2778CEEF-9571-4767-8E7D-5F6263A237D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"482b4e72547a2ceac9ff7837925d61fde0cc1afd","datavalue":{"value":{"text":"Between SAT and UNSAT: The Fundamental Difference in CDCL SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453235$CAC8F7DF-9CDA-4C44-B8DA-1BA36D3CD80E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dc16632349c50699c70213c570500594bab6a60","datavalue":{"value":"1471.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453235$8769FFDD-F02C-44EE-A803-8DEFD726937E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"926e77582ad201ff2ee924d6f3549bda5175ce4b","datavalue":{"value":"10.1007/978-3-319-24318-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453235$19FBCDFF-AAAE-4B50-977A-0EC05E89811F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e382e4bcb371d6375ea5e94681812d2958905e3d","datavalue":{"value":{"entity-type":"item","numeric-id":1656565,"id":"Q1656565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$FCDD8F91-0847-45DA-AE61-3F4D7575ED45","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":"Q3453235$26432858-4A93-4FD8-9EC1-70A27893AA88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453235$E188318E-3A63-4B5E-BC98-DCF7A3F2F7CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453235$6B6B2F08-BCFA-4C7D-ACD1-F374B622E177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453235$914C758C-FF15-4E0A-8231-C1FFD799C7B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c981a643531c98cda9f485619ddd9197f8b7a9a","datavalue":{"value":"6512582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453235$CE91337B-77DB-4FE7-9028-AE1488C4CDCA","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":"Q3453235$AED4331E-3C2A-4515-8D3B-4D2F644913E7","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":"Q3453235$7B1065D8-8F60-44F8-B904-9EA1E01EE3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$242A579F-385B-45E1-80E1-9C732F8843BD","rank":"normal"},{"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":"Q3453235$F3D07287-D7F0-4A26-84B3-3DA75AAE497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$96BD3A50-FC1B-4C0E-80A2-DBA4C5F15B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$E170916F-E9D0-4B10-88BF-FE12916C8094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9d009563f73a7b2b446017f471c1e5d0e22924ee","datavalue":{"value":{"entity-type":"item","numeric-id":30405,"id":"Q30405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$7A8ED30B-5FB8-4407-BDF2-C65748F6E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ede209e291b8749d15ced03c037e1aff5ea7d2e6","datavalue":{"value":{"entity-type":"item","numeric-id":30406,"id":"Q30406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$7842D613-0D5E-494B-981B-CF293CA95034","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":"Q3453235$CAFDCBBC-6DE8-498E-AFE8-A062E9BD32B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7cd5274c637e62d4da0f6c23bc6c1015293fa7f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453235$942D7989-0AF3-45B1-A358-AA8A9A7D4180","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd97219a2156b7ed74271c68f7deb3dbbdb6db4f","datavalue":{"value":"W2286662631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453235$70ADFABE-7980-49B0-B1D7-67C98E4BF9B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"089c0f270ae82010156ed1f303095e04c74aaaee","datavalue":{"value":{"entity-type":"item","numeric-id":3007683,"id":"Q3007683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$ADEF3F60-4DF9-47A9-A47E-47B316C18CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03526791996a8ac5d2e9e5c45ddcb96c84819bc0","datavalue":{"value":{"entity-type":"item","numeric-id":3502690,"id":"Q3502690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$5F0AAA7C-DD40-4AAD-93A5-8A874467A3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$71236A49-F40B-4EC5-A61F-C0A5439CD2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$215C268F-C90D-4C22-B910-6FA0E5AD089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8db2db748347a1632b2a13e4fab376843ba2ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3194801,"id":"Q3194801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$7594AD8D-1077-4896-A4DA-40EEAA364459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$888C7728-641C-4D28-9AFD-4CB516058753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$A29F4123-9B03-467A-B68C-E5BD0F8C2DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$91958ADE-2869-48D6-9126-08F9830B8FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$10657389-DF07-45E5-B4AD-D037C288F65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc98e815521712e1c2575e02ccd9833da741642","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$36C0D5D4-9C6A-45D8-ACED-8F9B5C3C2D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453235$F65EAFCD-530D-4D24-9AB7-C9E6AD7537B2","rank":"normal"}],"P1643":[{"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":"15ac27d210fbc3fe1e8f82c50ff9db95b726b593","datavalue":{"value":{"amount":"+0.7831484079360962","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":"Q3453235$379F076E-C98F-410D-81F6-98542C4A0053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a534d26195834a5dcb9a35ae0afbbfc5004d5bec","datavalue":{"value":{"entity-type":"item","numeric-id":2786914,"id":"Q2786914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9fde64b3571646502ce01081de39d3033737e6","datavalue":{"value":{"amount":"+0.7775949835777283","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":"Q3453235$7887FE71-B7F2-49E7-A004-6C282A620E16","rank":"normal"},{"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":"41ced69ab343bfd0bfc9e07141a13869adc2e219","datavalue":{"value":{"amount":"+0.7653173804283142","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":"Q3453235$3510DD0C-4F6C-47D6-B6B0-2F1ABBA8BC30","rank":"normal"},{"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":"346076b7acca6702ec45d1d9badbd17bc0a97e1c","datavalue":{"value":{"amount":"+0.7584688663482666","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":"Q3453235$E6E9CD28-F9F4-4291-A1C6-0F3E1CEACA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37224c149bcd302e66b9cfe7145c01167a5c0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2287199,"id":"Q2287199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43ff043c2c67d6d85f6f97859089c76509e84d2","datavalue":{"value":{"amount":"+0.7521447539329529","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":"Q3453235$C07FBD8E-C6DF-427B-8A40-B187A120E727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453235"}}}}}