{"entities":{"Q2287199":{"pageid":2297942,"ns":120,"title":"Item:Q2287199","lastrevid":71768931,"modified":"2026-04-14T00:25:22Z","type":"item","id":"Q2287199","labels":{"en":{"language":"en","value":"Clause vivification by unit propagation in CDCL SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7153711"}},"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":"Q2287199$D2028889-2E8F-4C39-9FB1-F3FBD2DDF838","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc3862c7958851742875cdf76178eb6c23a670fa","datavalue":{"value":{"text":"Clause vivification by unit propagation in CDCL SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287199$E01294DE-4D54-4A27-9F6D-FB748140AABD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8abdff46db57fb1e1729e19346e327c50c2b1b3c","datavalue":{"value":"1478.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287199$DC275F32-A1EE-4F01-9BC1-742F5B4B7A7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3286cb0640bfc051677058554058bc2af3420fa1","datavalue":{"value":{"entity-type":"item","numeric-id":1201672,"id":"Q1201672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$70DF07DA-3D03-452B-9DB8-B9CEEE0F83BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7bda0a1bcf4fac15d4a42bf82158b5b23bb94f0","datavalue":{"value":{"entity-type":"item","numeric-id":2287198,"id":"Q2287198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$31350EA7-FDCC-48C1-B030-9F4C99B2A3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$7D359385-D313-40B1-8396-747865D3112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc64c138b28c07dcd732b1cb92f4e956c8031c8a","datavalue":{"value":{"entity-type":"item","numeric-id":306078,"id":"Q306078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$CFAF183D-E25F-4E6D-A99D-CA35B4FBE82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce94d6ed2e3ed14e03e84dbc5c89f9ea307c7fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1754724,"id":"Q1754724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$32A1514B-BCC8-405A-A5E6-6C23BE326ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$EF86B931-B316-438F-9DC6-1FEAF487E88E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$A6AA748C-5ABF-4B8F-9909-97FF667360E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1edc8f8d7871fd6125d8f3ee3a75e4a85cf754ac","datavalue":{"value":{"time":"+2020-01-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":"Q2287199$D3140B74-5B42-4AA1-9CD2-D03D6518A70E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29d434a585ff2240abe617dd0b56d649436cad6b","datavalue":{"value":"https://arxiv.org/abs/1807.11061","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287199$3C160E5B-D239-42BA-A0F9-5C0D329573AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287199$4D788242-EB9C-40F6-8ED4-09AF91CEC0FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dce477b469c8e33fd7a64116841761dfcc1551a","datavalue":{"value":"7153711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287199$0D16E4E2-68D7-4409-B9EA-B701FB2F361B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287199$635E5558-B81B-46C5-A21F-9B52A388311E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287199$203E4AAB-D123-43D9-8A0C-BF48696BAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad98412a8c202707937d43fa6b8792688b8d18c","datavalue":{"value":"clause vivification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287199$7C839F63-119C-4A78-A10B-0D655603B101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a18ca0434dba3900bf415e50ea97c424b5fa70a","datavalue":{"value":"redundant literal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287199$956795AC-F200-4B29-834D-EC44B249785F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca3f31aa2c04d477727f6082390af9392ab5e781","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$30AA2B8C-7E43-4CDF-BF64-2060A5E04306","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":"Q2287199$373ACF3C-D5BF-4597-956E-C5F890181CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"653a6fa8244aa30333c256cc037f0dd6705a8f9e","datavalue":{"value":{"entity-type":"item","numeric-id":37663,"id":"Q37663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$2AD6ADB3-267A-45A0-9290-9125318544CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2f0b31250797678e3420b122681f55dc3e6bbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":37652,"id":"Q37652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$5C87B978-2092-4E50-AD1D-1C8AFB584CB6","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":"Q2287199$5A22F498-5148-48A8-BEF5-448B3FA9F251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3eac3c447d5542755506f76d1723d044d5ef44b","datavalue":{"value":{"entity-type":"item","numeric-id":55738,"id":"Q55738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$2C6EE49E-05C2-47CA-AA33-C120A8B34399","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":"Q2287199$E9049E7C-B8B9-4570-B545-83264B20464A","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":"Q2287199$D9FAF8EB-2211-4A1E-B578-0268B91EAA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71a80c8d86a299205c3fb7c2d9469eb3eb7657d4","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$E3EA27A9-7514-4C65-81A7-1A02AD619206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$013B448F-1F48-44C7-A32D-3A92FC911FBC","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":"Q2287199$7D58BEBE-0C0F-4A74-ACBE-631259901C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5654fca232c068befe9c82b4729f3e609c84698c","datavalue":{"value":{"entity-type":"item","numeric-id":43353,"id":"Q43353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$01B03100-8156-4113-A7CA-118DB7661D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa1617207d711926afd9dd028e807b78032b2be7","datavalue":{"value":{"entity-type":"item","numeric-id":43354,"id":"Q43354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$382F358F-5058-4F8F-A158-1DF4C76CAA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdafd07838fc785688a9602d3aca4cae8a77c6a7","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$ACD363B3-BE3F-432B-A543-E4253F28157D","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":"Q2287199$EBE22B1F-60E7-4AC6-9D9C-14EBE6895675","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":"Q2287199$3897BFA8-AF7E-4055-98DA-2EC593A7FA4A","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":"Q2287199$9031433E-E0F8-4314-850F-43CFDC9A458B","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":"Q2287199$3F771D77-7294-4CBB-9869-D96879627873","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3b11a8703fda1f25eb367ce71a0f81413023f3d","datavalue":{"value":"W2989262635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287199$E040E2E9-BE33-4666-8F6F-3088075083EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$F59F2A73-16F0-4B02-B6DE-2D61376D34EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff821e90bf8a02f902e29da084cc3e25138a763","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$53A04F1D-03A4-4C4B-8F87-9DA68912D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$4828505F-34CB-4ECA-B18D-B68FD21C237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$33931F58-802A-4431-B189-431776C9A55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$AE276443-3937-44C2-AFDC-EF41BEFF4D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfa8a97ec8b7730debe8ad45a614961921d96c1","datavalue":{"value":{"entity-type":"item","numeric-id":5326457,"id":"Q5326457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$7224F4A0-7753-417C-A5A6-6C6ADD52B9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a238202070e1e284de0d683f3fbaa805bd68cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$BD54177D-4E2B-4BD3-80D8-0F55D7F07845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7528f4d7d44eed75ca13872ab6b739b9de709","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$294C6C31-FC72-433D-8810-58A3E5EA08B2","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":"Q2287199$D0C4E6DD-D946-40A1-B62D-D161577DB1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a3fc88bc4906c2e0e29d5cbbde5c2340386638","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$1C27867E-138E-45FF-928D-43CA86EC94E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$08CC2E2A-9881-4B7E-A1B4-3DC84C5576A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287199$D678B501-7B7E-4571-AC90-7F199850C44D","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":"Q2287199$99CA6376-A4C5-48BE-9F0A-6EA63407B234","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ba40a87cfc1a3d0d1ba480b5cc3606d7050610ef","datavalue":{"value":"Q126834322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287199$5F8FA3A1-47E4-474D-9724-BA079E5C3D86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da96d503a4ef36dc1c56cfee62fbaac5537155f4","datavalue":{"value":"10.1016/J.ARTINT.2019.103197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287199$A98FCABD-8F62-4E17-9C9B-031130FBC438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5dad062f6cb8400f87df29e1a599b6ebb2625f","datavalue":{"value":{"entity-type":"item","numeric-id":2181930,"id":"Q2181930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3bb416ab8a83639e3cae4bfcdb66adf8239574","datavalue":{"value":{"amount":"+0.7966447472572327","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":"Q2287199$A5FCA876-3B37-48B5-85CF-25685D820030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af509ba765d600d5444567a5fd35687fd8ebaec","datavalue":{"value":{"entity-type":"item","numeric-id":3007683,"id":"Q3007683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d30fb79a18ab871578ea9eebe6ef052ab7b261","datavalue":{"value":{"amount":"+0.7863025069236755","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":"Q2287199$3A0E2B3C-9DCF-403C-A226-28491F862DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3134de2a60265a31d83665af46cfa8647c52f1a","datavalue":{"value":{"amount":"+0.7839760184288025","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":"Q2287199$74C432C3-0E24-4E64-8A93-00DA5DF5C990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1ab6eaf60f4342eab12988df8dbd26db89df8","datavalue":{"value":{"entity-type":"item","numeric-id":1680252,"id":"Q1680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6c7395905cb0a6f4282d63ed7cc6293378fc2b","datavalue":{"value":{"amount":"+0.7633659839630127","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":"Q2287199$E6736AC8-057C-4A6A-87D7-A908AC817C44","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":"ca7cb589da7fc5fb5b9dcb102fadd73dfef8cdb0","datavalue":{"value":{"amount":"+0.7600805759429932","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":"Q2287199$365D05CE-31DA-4FF8-9A41-5E7DF1FDBEEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clause vivification by unit propagation in CDCL SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clause_vivification_by_unit_propagation_in_CDCL_SAT_solvers"}}}}}