{"entities":{"Q2385440":{"pageid":2396183,"ns":120,"title":"Item:Q2385440","lastrevid":72670398,"modified":"2026-04-14T06:24:55Z","type":"item","id":"Q2385440","labels":{"en":{"language":"en","value":"Exploiting multivalued knowledge in variable selection heuristics for SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200331"}},"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":"Q2385440$1ACB1CFF-3A2D-4524-8AAC-A2D13C152F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"840e83cb05a51139506b62d2284b8268eb611cec","datavalue":{"value":{"text":"Exploiting multivalued knowledge in variable selection heuristics for SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2385440$3199E86C-61CE-42DD-B03D-EBE145C9F86E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdd893cd95322faa3bbc42685f61d3e302500f36","datavalue":{"value":"1124.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385440$341DE227-45DC-4478-9F67-2703BDBA66FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f7d4fe21e22bb47f8af2be9af5b124c53cf779","datavalue":{"value":{"entity-type":"item","numeric-id":274401,"id":"Q274401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$62D69964-BEC7-41A7-9C30-2B9216361ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ca066aa752dc8f78dc5a9bb36226f8b51a5196","datavalue":{"value":{"entity-type":"item","numeric-id":2385439,"id":"Q2385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$D6288203-B095-4CC1-BAE9-816005DF3317","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":"Q2385440$06114F7C-EA99-4979-AA74-27FF0B12DCBC","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":"Q2385440$B6324C74-7542-4E24-B79A-034A3E411E38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$C5B7FFA1-715E-401C-9BC5-24EE3E44425C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947148cfdc8b41ce002cc8a2460de2635258e7e5","datavalue":{"value":{"time":"+2007-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2385440$A09C773D-D44B-4688-9C19-7496230D88E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385440$6A54DDDD-4DB3-4FED-AB2F-BFB15123F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385440$2D4C846F-620B-44CF-BF9B-1488FB5FE0DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79c1533f7e6224a1008e6c81175ed9b58152bb25","datavalue":{"value":"5200331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385440$B804B7FA-2644-4AD8-9498-BD1871333600","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c9a41b78cd26c1b30672352dc9f8f8c291cf10f","datavalue":{"value":"Satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385440$7D80FDA9-4505-4D4D-AA7A-27702DB8E2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5293fae6f5bb1fcf397e56c64c5273aaf94d2e7","datavalue":{"value":"Solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385440$82D96B91-C965-4EA8-915A-C33E842F9818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8799b7912a65618313e794ea0d0ce0d6a1e22e46","datavalue":{"value":"Heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385440$442CE451-8638-4680-BF03-446791CF25BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$73B59E73-2FF7-4F9D-8B0A-9E1C8301EB49","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":"Q2385440$483788CB-F741-4169-B000-5DFB895F9463","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":"Q2385440$CDD4EB10-8B66-4CCB-932C-C72D264B885D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ce4b0b280147bdb2f0f8b4996da4336e00f5dd0","datavalue":{"value":"https://doi.org/10.1007/s10472-007-9062-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2385440$F9267803-BCAA-496A-95C4-8CE7B11F9755","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28de7296d40671f00f478a495c442a9d6287da5f","datavalue":{"value":"W1991605307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385440$61D56F09-2BCA-41DF-8535-ADC66EFAAD56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bb97c2998b2f3aaa74365048a9cdcc1fac9f37","datavalue":{"value":{"entity-type":"item","numeric-id":1426130,"id":"Q1426130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$00507C59-E241-4B2B-9EF2-61ADC7B059C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df61c4df8f812c83e621e524aa24458422ccaf1","datavalue":{"value":{"entity-type":"item","numeric-id":2741510,"id":"Q2741510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$19AD29EA-386D-4C60-B645-BF40078DC0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$63166172-80BE-4A0A-9D41-115B0E46F7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$26166968-5957-42F6-AF47-C9233F557625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$D069F397-4FE3-4BC3-8D4F-4FCB93D01A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9989951ff92c915f90cbf709c10f8e9530978961","datavalue":{"value":{"entity-type":"item","numeric-id":2701980,"id":"Q2701980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$7FCDF606-80FB-4591-B310-70F6B4F8A082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd715d0d195e7b997baa90bf56072db96bfd7f2f","datavalue":{"value":{"entity-type":"item","numeric-id":4475627,"id":"Q4475627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$86F3EE44-97C3-4625-9BCB-C77D6B552184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbb870ce4ab73fc93c4890c4e769dfd57d97e79","datavalue":{"value":{"entity-type":"item","numeric-id":4262997,"id":"Q4262997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385440$91B22844-9CA8-45D3-A680-05CF992C249E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8448bd316a17bd54ba0d66758609299e8e226e3","datavalue":{"value":"10.1007/S10472-007-9062-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385440$EEC182D2-1755-4799-9E32-3D4F84F75AB5","rank":"normal"}],"P1643":[{"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":"a3f651c75a348e005a4b2774869d4971d1edd599","datavalue":{"value":{"amount":"+0.7748356461524963","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":"Q2385440$A0BDE5DA-1D25-4F11-927E-D27841EAE533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b790dd7b86f0d327d166ab00ca2a4023baa81b48","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf176ea75889e0b21ac6e0529f1bbc2c9b9986e","datavalue":{"value":{"amount":"+0.7635204792022705","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":"Q2385440$3422E927-BDA9-40CC-80E3-E27B6C17F4B8","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":"db5eeb138b478449fea94d7463db7f899a60c2f7","datavalue":{"value":{"amount":"+0.7553397417068481","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":"Q2385440$CBC91387-FF2E-482D-84C6-5CD71EDFC3B3","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":"916a5604733e9b91df2b01873e1aa946ff90c405","datavalue":{"value":{"amount":"+0.7504541873931885","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":"Q2385440$9070797D-B6E6-49B1-8DC7-2555933259A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066bbfc7c3d9d2527c80a851a2fe197157f54d45","datavalue":{"value":{"entity-type":"item","numeric-id":4708926,"id":"Q4708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cda73eb12426b109c6a9dece24ceadfb3ffe88","datavalue":{"value":{"amount":"+0.7497414350509644","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":"Q2385440$655101E6-E784-4893-9BBD-150D4DAFEF66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting multivalued knowledge in variable selection heuristics for SAT solvers","badges":[]}}}}}