{"entities":{"Q2818006":{"pageid":2828744,"ns":120,"title":"Item:Q2818006","lastrevid":52614914,"modified":"2026-01-23T02:52:01Z","type":"item","id":"Q2818006","labels":{"en":{"language":"en","value":"Learning rate based branching heuristic for SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623509"}},"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":"Q2818006$2380A423-5D22-4486-876D-456B90B7E6EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdf6c1e0ef89a89b8d64ca0874e321a3533b3cfd","datavalue":{"value":{"text":"Learning Rate Based Branching Heuristic for SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818006$BBCB47ED-99CE-4E65-B4B1-162DA8079C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f20009b02a884d1c3cfe3f1588a6dcf3b6a939","datavalue":{"value":"1475.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818006$87231A13-288C-48EF-BACC-3FE5E2A76CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"200da07c9d006f4659cc48b8bda15f2a11169593","datavalue":{"value":"10.1007/978-3-319-40970-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818006$C8144E91-CF6D-4A23-AFDA-266FEF324F97","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":"Q2818006$A7374812-5156-4B9A-9624-3C7D91EAC8A1","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":"Q2818006$5DDE4844-0487-46FA-BC2A-2B097957637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be6e6245a99cb9d1f464b957c4486d77fc8917ab","datavalue":{"value":{"entity-type":"item","numeric-id":1680249,"id":"Q1680249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$19055AFB-7155-4FFF-8996-BAFB103E02C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b538041e577252a1107ef2c5fdaa276b146caa5e","datavalue":{"value":{"entity-type":"item","numeric-id":1680250,"id":"Q1680250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$B109A320-8A4A-4E88-BE85-F630AA585790","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$6ACE27C3-9E19-4A0E-B980-8812A575F31E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818006$852CEACE-41FA-4ECF-9421-749D1982277C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818006$24E35CEF-3E8F-46D0-9797-1193BDB65416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818006$11422564-15E8-4E88-96AA-058B7762018E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a0a46d4a8b0102bf663cd1bda464fb96097c213","datavalue":{"value":"6623509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818006$D48EF002-F2C7-40A3-A2D1-D7D941AB410E","rank":"normal"}],"P1463":[{"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":"Q2818006$08CD2143-F1A7-4A44-BD84-477CAF709467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea8b95ed6a3d2b5e68b904fa9f56ef03bc113a58","datavalue":{"value":{"entity-type":"item","numeric-id":13157,"id":"Q13157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$BD662CF9-6124-4797-8A17-A9A74D638418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$8530F96B-736C-4CC9-9541-B75CD9235ACE","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":"Q2818006$6BFE6209-871F-4296-AAF5-482ECB50F3B1","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":"Q2818006$377633A4-8DBF-4F86-A907-75DE2B92A855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$783762FE-6C13-459C-9CF4-69B33FFD435E","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":"Q2818006$D29D2FB7-4322-4FE8-B554-A81E6CFD08F8","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":"Q2818006$34229968-E17F-46A5-8108-C0371CD920FC","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":"Q2818006$0D0D520E-FB5E-4C4A-BA91-A4A13C809BD6","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":"Q2818006$FEC9939C-E9D5-4717-98FE-87E4B4121F0B","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":"Q2818006$895E66C0-64B3-4500-A038-0A8C3730F2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$C80930D4-522F-450A-A7A1-230F32F48D58","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":"Q2818006$6C9EC097-707A-4AED-B338-76A0FEAA9312","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d4c019729b6eb47873634e0b52faf7056c653cd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818006$E2CBFA34-BD09-465B-8B91-DC235F13519F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91fc849d3aac064ce3fbebd20bdf3539bae33b64","datavalue":{"value":"W2498324117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818006$7E921425-634E-4C4D-99EA-439DC6788918","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4967f109372099be77d5d3444f35cb57a000bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$8BB6F2F6-56C1-497E-9FF8-99856A095428","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":"Q2818006$B8B4F9C1-D062-4BCC-9074-E84E8461AA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b448328659c53b39c3b23ae508f95e38910428b9","datavalue":{"value":{"entity-type":"item","numeric-id":3453243,"id":"Q3453243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$B9212D38-1663-4532-8F58-F67C20129143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f5f44a6192e12b775a7a0164f359890b8a1fac2","datavalue":{"value":{"entity-type":"item","numeric-id":5561634,"id":"Q5561634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$0409C0FC-9B9B-4313-B7E1-96705247DA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$8E95BA3E-BBC0-4840-AF03-3D3CBF8E77DA","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":"Q2818006$712B7696-9B8A-4F09-84AE-17385E3DBEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e255a0c50ff9a36282dfd5c30ffb8fddd60f66f","datavalue":{"value":{"entity-type":"item","numeric-id":5898458,"id":"Q5898458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$9291728C-CD2A-445D-B12B-770303F1DC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$EC1836EA-0A96-4000-8272-A4E151883C44","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":"Q2818006$F3287A92-EA13-4C04-9212-D76DEBC78239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d81f3bd1f2b5c6fcab5dd18a79bc057c3a14c66","datavalue":{"value":{"entity-type":"item","numeric-id":2741536,"id":"Q2741536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$9B7881EF-EA65-4C1C-88F4-2DEBEE586056","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":"Q2818006$AEC5AEEB-4A8D-4446-B2EA-AFD0FF1B1771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cd2b9d3b5bbd3273c11ee0a55188ac24de6e58","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818006$9B401B87-0F45-44A7-BD71-95FD098F4D28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09c563baeff8910166e85012ebf26ae053aab7c","datavalue":{"value":{"entity-type":"item","numeric-id":1680251,"id":"Q1680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7f2636d7ea1cb446a3bae79a6df4e62ea25ae2","datavalue":{"value":{"amount":"+0.8911139369010925","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":"Q2818006$6F1F3AA5-3458-4CEE-B00D-29B349A36C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597976cc9d08add5ea9a305a013a4714fbc8f4c4","datavalue":{"value":{"entity-type":"item","numeric-id":2741536,"id":"Q2741536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad86623870204b9e3caa8d746b924c96d3e6f9ff","datavalue":{"value":{"amount":"+0.7731523513793945","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":"Q2818006$19C15369-C51C-4257-98D8-666E6766E6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e04bad2abc8a5c4aaf60be1708f0c1b7e9e532","datavalue":{"value":{"entity-type":"item","numeric-id":1904401,"id":"Q1904401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bd1da9745a805654b1df6db9b1584672afc903","datavalue":{"value":{"amount":"+0.7511027455329895","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":"Q2818006$4FC9C25C-3928-405F-A1F1-82C34F52E989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757ee75dc69c5c5c30a0135b8bdf82e687189406","datavalue":{"value":{"entity-type":"item","numeric-id":3527696,"id":"Q3527696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3765b635c3aea4d28f394497443d5ecac4bb835f","datavalue":{"value":{"amount":"+0.743310272693634","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":"Q2818006$4932CE10-A37B-4FC5-82CD-EFD2A50A3263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc657cdae5a7a2886ff484c06657b7fafbe5dee","datavalue":{"value":{"entity-type":"item","numeric-id":1656568,"id":"Q1656568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff263ee1dd0b8dab9bd8eb2b921d3bfa7308272d","datavalue":{"value":{"amount":"+0.7380797266960144","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":"Q2818006$EFF256F2-0109-490A-98E5-6DBFBC5B5C74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818006"}}}}}