{"entities":{"Q6181725":{"pageid":13316613,"ns":120,"title":"Item:Q6181725","lastrevid":55557727,"modified":"2026-02-17T18:46:50Z","type":"item","id":"Q6181725","labels":{"en":{"language":"en","value":"Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7792862"}},"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":"Q6181725$F67B7839-3AF8-461D-AE85-F6D229D9BE50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b69f309693edb2f20e6ba8057905e7a2171637","datavalue":{"value":{"text":"Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6181725$04C522DD-7387-43C8-A8B6-127CCED57E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d991b2cba23a75f44c50c24d84a4c719f20bbcb","datavalue":{"value":"1528.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181725$5AF83503-9210-4321-9B82-0DCFA2B92529","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83bf476495ee4da148806902fc01015770843082","datavalue":{"value":"10.1007/978-3-030-20323-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181725$D1892A1C-A305-460D-96BE-098B12CCF34B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6ed233baa45879a233d71175d888b6e1731046","datavalue":{"value":{"entity-type":"item","numeric-id":1799555,"id":"Q1799555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$88D652F9-A1B0-426B-BE30-FD0AD7F62DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49d346153c8a904d15cbf7b5251a45e16b65bde9","datavalue":{"value":{"entity-type":"item","numeric-id":6181724,"id":"Q6181724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$A4B3DD5B-D928-4DD8-9607-9C347DE7F2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc879063c541de77bf64da4b0e88a5d84d91b635","datavalue":{"value":{"entity-type":"item","numeric-id":2084004,"id":"Q2084004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$AF71D948-3FFB-4E3E-8796-6B716E901C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$0CDE0702-32EB-46CE-85C5-655F56B4BD09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3090581de74efc9a6db367be1314109b4eadc8f","datavalue":{"value":{"entity-type":"item","numeric-id":6181720,"id":"Q6181720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$2A154996-A7CE-46DF-8F54-F12D9EA57A40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6181725$3B9C4FED-2206-4CC7-8EB7-330953693833","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181725$D0AB855F-4434-4A16-968C-699DC907214C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b674eb91f82986e19d7c9c596d21fa21202fe6c7","datavalue":{"value":"7792862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181725$F2D0392D-CD9F-42EA-B67C-792E0E2FBEE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181725$E03DE066-6AF7-4DEF-9761-16474C9FFC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181725$46F58CDC-C6F9-4BBE-AF05-2A706956E050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181725$9F4CDF33-72AD-479B-8DBA-2B2E5BE37245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f5366dd5d7e4e6d07c6f22bcd97d6fdfdeb1e5","datavalue":{"value":"Monte Carlo tree search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181725$CBE0DFB8-EB88-4F1C-B066-198B86CC1391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641bd239fe6f0d5fb2cc0d2b3f89cbc609bab87","datavalue":{"value":"heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181725$61270B5A-CFAA-4394-9AF6-5B9AB9D253E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef0c949e883eed554cec0692ac12c8ce8241a26","datavalue":{"value":"SAT preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181725$1CC54A8A-1AA7-4162-BB70-A61039BDFC4C","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":"Q6181725$D116B1EE-E44E-4603-9577-9A40CF9E252B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94c61ff7c1fce74dcbc9a29a8791186ee1ca58f3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-20323-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6181725$A581BD19-F02C-4115-BDDB-8A3A0F79C343","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b6eb34637b6b24310a4f6694f1307206f479980","datavalue":{"value":"W2962022044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181725$EDBF9069-1151-4D61-8AF5-3CF6E8E7CECB","rank":"normal"}],"P223":[{"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":"Q6181725$D746C752-69A1-40FC-96AC-484E75C8EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff232f579b4857d00dd3d160223cd8b5cdf8f65","datavalue":{"value":{"entity-type":"item","numeric-id":5899155,"id":"Q5899155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$774DD4A6-087F-447B-BA3F-342C01A810BF","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":"Q6181725$184AD3AE-0E28-4155-B41A-15E553E11783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9005bee544284caf8015380ef4dbd3e897291a68","datavalue":{"value":{"entity-type":"item","numeric-id":5168384,"id":"Q5168384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181725$145329BC-FC63-4340-A8A3-C40D50982AFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dd617c23fc4ac5a2df7791d0b431d53fcdffae","datavalue":{"value":{"amount":"+0.7436471581459045","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":"Q6181725$E06E3471-8B26-40E9-BDC5-9D9D3F8DAAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e5f96cbcaf071037c96fed878bed7929ae2f7a","datavalue":{"value":{"amount":"+0.7392682433128357","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":"Q6181725$4955397B-6B3A-45C1-B4A0-D3153E7513CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492caee123d2cd4b0c2005efd9581a83858f1dc8","datavalue":{"value":{"entity-type":"item","numeric-id":2661337,"id":"Q2661337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db933887c481f5462eccb37d58d0fb0b352227d6","datavalue":{"value":{"amount":"+0.7365010380744934","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":"Q6181725$BD437C3D-910E-45A6-A318-FADB59785D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbec6be17472caefc87a5824c9c9eb710d82824b","datavalue":{"value":{"entity-type":"item","numeric-id":5326457,"id":"Q5326457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d080998d9c98bce293fa8745098101aeb12ba6","datavalue":{"value":{"amount":"+0.7344261407852173","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":"Q6181725$77F72964-D995-469E-A03E-841770808DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41cf11622b90ec5f99da799f7615263a16eef1eb","datavalue":{"value":{"entity-type":"item","numeric-id":5101311,"id":"Q5101311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ccc06caea45a4403856be5d3e68772ccb2765e","datavalue":{"value":{"amount":"+0.7321466207504272","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":"Q6181725$577475BF-5023-4FC5-B357-CE1A55827998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6181725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6181725"}}}}}