{"entities":{"Q1656568":{"pageid":1667309,"ns":120,"title":"Item:Q1656568","lastrevid":68252133,"modified":"2026-04-12T22:28:01Z","type":"item","id":"Q1656568","labels":{"en":{"language":"en","value":"Machine learning-based restart policy for CDCL SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916301"}},"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":"Q1656568$97853CB5-ECD6-4931-98CC-8228EEF27E6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eabe8b8e882904bc7ae634d1957548a8eefd618","datavalue":{"value":{"text":"Machine learning-based restart policy for CDCL SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656568$4AFF0967-0EA0-4014-8385-B7C4219585A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c03c77263f03cb42d74fa70213f60c75923a4a2","datavalue":{"value":"10.1007/978-3-319-94144-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656568$FDFC7ECF-562B-4819-8E00-1A435AA51465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"317a2dd24720fb6685d2fc609f5aa178bace5770","datavalue":{"value":{"entity-type":"item","numeric-id":1656564,"id":"Q1656564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$52FB0D7A-5552-4C0F-AF1E-40B1B545C077","rank":"normal"},{"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":"Q1656568$F853DCD3-76C8-43F6-AE7D-3AD14ABB61EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21b4d286c2935cc961e78b8a04e447f5904107f0","datavalue":{"value":{"entity-type":"item","numeric-id":1656566,"id":"Q1656566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$D89BB550-FF0A-4473-813E-0FB6A06334AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56b9453543c3b1baa32e57f942092e9d58763449","datavalue":{"value":{"entity-type":"item","numeric-id":1656567,"id":"Q1656567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$B5BCBFF1-3891-4B01-BCB7-6726891AD21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50100327a2c6f555e4a4810ba0263aa80d7a14ed","datavalue":{"value":{"entity-type":"item","numeric-id":526761,"id":"Q526761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$26843445-8F1A-4434-BE76-BC7F3E96EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04c2695af41514a878136d0a518f0250a286e946","datavalue":{"value":{"entity-type":"item","numeric-id":1954971,"id":"Q1954971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$FE2ADACB-F122-49E1-9471-492BD32BEAB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656568$AFFCAEF3-31D6-41E1-B608-FADF010C2EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656568$31C0BDF7-28AA-4FDC-9380-B536DAD04308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656568$37576D9C-B409-4950-B0C1-13145E9E900E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc694b7331c3f74cf22cf508552e2a256273847d","datavalue":{"value":"6916301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656568$1E50E20D-1385-450E-AC7D-3DE0AD44C1B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$9FD1265B-9C88-4D03-B643-9689FA2B094D","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":"Q1656568$BFA6D1AE-E70A-4BFC-996C-B191290F46EA","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":"Q1656568$404D349C-10BD-4E58-A9EE-A8AF103553A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$037CE538-B2CA-4FD3-89F4-55FCD9B76938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$8EB3D5E9-9741-429D-85B5-9304A6D77BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$1FC12F05-743B-486F-86BB-739B86BB75DF","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":"Q1656568$6EB64F91-1453-480D-B5F8-E7C31FBFD55E","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":"Q1656568$D896C79B-1D7A-4C6C-805D-49FB9DD0F143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30bf75efb36ce548a631ba3177096a709329cc05","datavalue":{"value":{"entity-type":"item","numeric-id":34000,"id":"Q34000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656568$F40DC7F5-C86F-418F-8AD8-DB3225F3CF72","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":"Q1656568$98637412-9E20-4B8E-86EA-44DC1F988112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1985c3ae8f50cab203c948e6c63b5a8732796870","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656568$1433ACC8-B128-4D68-A9A4-F07ACB472E79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b432480b44eb63c9a7b52ec3b046e53928a7432","datavalue":{"value":"W2810313326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656568$4463EF8D-F1A4-4F7F-BC68-7A3F4185712A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e15248e8c160c741e80f6219ad00a22813d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23ff3072c882baa0c1bd89819bf48102dcd6ca1","datavalue":{"value":{"amount":"+0.8324792385101318","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":"Q1656568$684974CB-7387-4374-B93A-F69B33F55BE2","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":"197b0e48a41d26b0ddb969a7be5a93980e68b793","datavalue":{"value":{"amount":"+0.801956832408905","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":"Q1656568$700322F0-55A0-4C05-A7E1-A0871E2F60D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa615cff76692e707d8179d4d72da5c86774b53","datavalue":{"value":{"entity-type":"item","numeric-id":3007685,"id":"Q3007685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6303349cd54f2e32e77c01f728a13a66eb681e","datavalue":{"value":{"amount":"+0.7938474416732788","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":"Q1656568$0A11B694-3669-4987-97CC-68311CF88969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8ab3ef8c0dccaae62d064fdab9de59a221b350","datavalue":{"value":{"entity-type":"item","numeric-id":5498062,"id":"Q5498062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92139350fde24e76c2b8ebd71aa6ff4320fdf62","datavalue":{"value":{"amount":"+0.7862740159034729","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":"Q1656568$61070947-C87D-4191-A5CF-D95EA00D6A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e367b9365c51e5a796d1351242716e78cdb290d8","datavalue":{"value":{"entity-type":"item","numeric-id":5902141,"id":"Q5902141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d48863559b18e31d756f45d619d1145094ca40","datavalue":{"value":{"amount":"+0.7765129804611206","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":"Q1656568$C4AD5E9B-8595-4E4A-AC22-63748D3F116F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Machine learning-based restart policy for CDCL SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Machine_learning-based_restart_policy_for_CDCL_SAT_solvers"}}}}}