{"entities":{"Q2741536":{"pageid":2752275,"ns":120,"title":"Item:Q2741536","lastrevid":41956852,"modified":"2025-05-19T15:00:46Z","type":"item","id":"Q2741536","labels":{"en":{"language":"en","value":"Learning to select branching rules in the DPLL procedure for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642932"}},"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":"Q2741536$15E9E041-9D7F-4214-8E8C-1018F79AB7F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c0045f08ba8d0535be50310f29c8c4326735df0","datavalue":{"value":"0990.90543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741536$C5B47B0F-30A3-4605-A0C7-7523FEBEE004","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5373b493144cd10e93ea03d3b7a18bd4ce22855","datavalue":{"value":{"entity-type":"item","numeric-id":647445,"id":"Q647445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741536$7BF056F4-C44B-4643-B5F6-CF051A54487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92953e4586e720c3bdd013770f6ffbe01a60f284","datavalue":{"value":{"entity-type":"item","numeric-id":230823,"id":"Q230823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741536$044DD6B9-9FAB-432E-8668-FD8036B777B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741536$6E285511-05B6-4663-A846-2F10E601563E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741536$2171DD75-A089-444C-8FA7-5C9BACA0C2A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7bace646b8ee0e26d6a3b7e95ed7220508eb958","datavalue":{"value":"1642932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741536$C9C50429-D583-4C0E-A5F7-76E684AC0CFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebcdf1765afe1aa29d302e3c021519c61f81717","datavalue":{"value":"DPLL procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741536$EA6C92D8-336D-4300-8D53-1E95A80BA23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323fe9f3f7c90632ce86bb5fc3366ce2f50291ae","datavalue":{"value":"complete satisfiability (SAT) solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741536$A4555D86-48B4-4DB0-9B16-4FF3AF0AAA1E","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":"Q2741536$77594298-B7F7-4452-9CDB-EB7B52EF8C74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6515ec1f799ac720199fe647c6907436dd10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741536$EBD1885F-B058-4CC7-877E-EF0DC6F2DB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654dcd75abbc243f2470501b244acdf37625ee21","datavalue":{"value":{"entity-type":"item","numeric-id":5477859,"id":"Q5477859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741536$A9074C84-5325-49C1-975A-50A34A56CC0F","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":"Q2741536$2425AE94-B981-445D-AED8-F5356B1FD666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ee378a41d931cd10f216e48f4b910155e1a89","datavalue":{"value":{"entity-type":"item","numeric-id":1904401,"id":"Q1904401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741536$F4FE8807-0747-42B8-80C1-414D5CA4664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741536$63B7CB2B-AE8E-4AFC-8EFB-4DB8CA0E3126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65e93e4fbb8469cde83b7ef363076e645bdaa8a","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b4c69eb779589d9c83156b502297bfd4e0e33b","datavalue":{"value":{"amount":"+0.86716247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$A5A9FF47-E0C9-456D-8C76-2E7088F45327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8113a185df40c7dd8f4cba0854d000035700c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":1978252,"id":"Q1978252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706ad739304d370230cb5392bd27e53bca51315f","datavalue":{"value":{"amount":"+0.8519531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$B4D40637-A544-4817-A1ED-D58CAA8EEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1d7fec79653bdb375c2d9347c80c50a47014df","datavalue":{"value":{"entity-type":"item","numeric-id":3305326,"id":"Q3305326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd607553bb8dfc99764f5bee5410b42965762a1","datavalue":{"value":{"amount":"+0.849331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$47BB130F-6D11-47FC-A704-34CD3585D0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9649ff74b31b24132ff27a6fc9f5789991afcbf0","datavalue":{"value":{"amount":"+0.84744143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$870D8E32-1EA7-44EC-B343-BC39C19F091C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2950f010e23b00f5fb49f4ced72de27324fe212","datavalue":{"value":{"entity-type":"item","numeric-id":2323349,"id":"Q2323349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede3df7fcf4abf1edb68089ac321ea63ca557727","datavalue":{"value":{"amount":"+0.84656847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$89CF8AA2-FA9B-4960-A0FE-B91F809DEAD7","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":"82e3d3577eac11122fb20fa01082dbe41d972169","datavalue":{"value":{"amount":"+0.844038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$6821600F-497D-43A5-ABF3-DD4C54A6A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16e4ca900a38d3f49b707c25e642a36995cfda2","datavalue":{"value":{"entity-type":"item","numeric-id":3490978,"id":"Q3490978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577e258bd412e67dcf48f0a0096cd27ab31af3fd","datavalue":{"value":{"amount":"+0.8433336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$E05FA2D0-A590-4E9E-9D26-76DCF5D6E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b685210caeda9aac6d2ee81e8222dbcae1a18362","datavalue":{"value":{"entity-type":"item","numeric-id":4228462,"id":"Q4228462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cca4bd23742fd5acb2c97a742f982092892ba7","datavalue":{"value":{"amount":"+0.84031206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$E7C9B87A-19BA-4185-9AD5-3D3D8DA0BC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebc9712d61c0487d7b5786ff65e42e1ba5798b3","datavalue":{"value":{"entity-type":"item","numeric-id":5916223,"id":"Q5916223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c079fce78a3af21b21884bb064d1469cdfb03e8","datavalue":{"value":{"amount":"+0.8347967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$730C649D-5248-4F70-8EAA-AC72C7E11FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc687f6fe0b75c66d1f3e8d8f53fc3092bda6a41","datavalue":{"value":{"entity-type":"item","numeric-id":5900634,"id":"Q5900634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a52ffe9a5ee3ecb7790b1e466446ea5e88c142b","datavalue":{"value":{"amount":"+0.8334221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741536$BB56DE8E-1699-4F93-955D-DE2E41FA7EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30eddba4a4013f583c3f8148a417505f0d365e4","datavalue":{"value":{"text":"Learning to select branching rules in the DPLL procedure for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741536$0EC79AE1-3C6E-4981-8CEA-BDA870866AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741536"}}}}}