{"entities":{"Q3524192":{"pageid":5554096,"ns":120,"title":"Item:Q3524192","lastrevid":49025281,"modified":"2026-01-06T12:04:38Z","type":"item","id":"Q3524192","labels":{"en":{"language":"en","value":"Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323070"}},"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":"Q3524192$16C25928-CA6E-4BE4-8D08-73DFBD80500E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44f21ece32339e129a4af5da0a54e9ce53830397","datavalue":{"value":{"text":"Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3524192$42103230-108B-4F1C-9C89-F6EF011900F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97db7be39927eb1d4bb4cb402441d1f69e536454","datavalue":{"value":"1153.68470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524192$382EA2ED-8DCD-40CA-A6E8-FF9D15223D1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bff9f3a10a40142e04c67443d5be9cc3e07faf3","datavalue":{"value":"10.1007/11564751_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524192$4CC68FC1-6319-4A46-AC76-B5E403A40A32","rank":"normal"}],"P16":[{"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":"Q3524192$64CF3284-4639-428C-B1D3-3AC1DDF7CE4A","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":"Q3524192$8FB02852-4F61-4B0E-A644-A1B64700C59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1386759083fa06706fff167aac6c7a385c25af60","datavalue":{"value":{"entity-type":"item","numeric-id":505971,"id":"Q505971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524192$697E573A-1097-4A4F-BF35-B1341F36F04A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e691ea6495e7faeed227cefc6e05f72a0339a4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3524160,"id":"Q3524160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524192$3ADEF76E-15F0-430D-ACC6-32E16F72473F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3524192$F6D29B42-3F10-48B5-B361-94CC37D133C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524192$42F565E3-AFF5-4889-8D38-378D6D0E8D1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d45002cb2b5a7f90c79af3ac4a871c944d1bab50","datavalue":{"value":"5323070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524192$C05E6A43-65A1-4A59-A91F-F025FB76D65D","rank":"normal"}],"P1463":[{"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":"Q3524192$BBB42DA1-49D3-4232-952B-81E103DB882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524192$F0C72314-B6C1-4CF3-A0B0-420C96B4E8E8","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":"Q3524192$2A392225-7575-48B8-8606-C0A81FA25E3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8d9392fef0036aa71c2620305f6b436f8547065","datavalue":{"value":"https://doi.org/10.1007/11564751_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3524192$EF43FA43-BB29-43DA-A448-8F2033528353","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a360daf266068f6403c9ab1e5433be3210f81b50","datavalue":{"value":"W1793843726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524192$DE05DB72-9F18-4858-AD6B-4A9C8DEA331B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40929754a6d68a5aff570783a44cafd5cdb6028","datavalue":{"value":{"entity-type":"item","numeric-id":5417644,"id":"Q5417644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33719beb95c5718f873245c6f7ab8b25c2125c5","datavalue":{"value":{"amount":"+0.87587065","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":"Q3524192$BE486518-6BF6-47FF-B4AA-03E23C4078FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0cd430ca59a93f22b307b525b1ef9891eb82a","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b171e0b71b1f4e9acc8137d19ed415ce7780e60","datavalue":{"value":{"amount":"+0.87380195","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":"Q3524192$97054CF6-F3DA-4976-8ACE-8991440420B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab086089bf0694bcb2b4f41f85c40bdcc11df13","datavalue":{"value":{"entity-type":"item","numeric-id":644808,"id":"Q644808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a48121ba6a57688d29d8bdba15e066cbace6e8","datavalue":{"value":{"amount":"+0.8701381","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":"Q3524192$6DABAE26-580A-4100-98B5-611D9F14C26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8309502e54e970688f066cc50c761a383407f8","datavalue":{"value":{"entity-type":"item","numeric-id":606913,"id":"Q606913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7118f6a6583d9bd5142a401fc76d2d951d50689","datavalue":{"value":{"amount":"+0.8697109","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":"Q3524192$4EEAFFC6-247F-4E8D-AB6F-5FCAFCB610F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b41f2ac86a731202047bd4ff362dd9bcd77637","datavalue":{"value":{"entity-type":"item","numeric-id":525063,"id":"Q525063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06b4a61db2e078a2fce7bb22343b32037e4110e","datavalue":{"value":{"amount":"+0.8693895","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":"Q3524192$C4D99DCA-442D-4943-8911-5A6A4FBD8D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a0e8910ee32a6189cdfa2d28fc1793deb28cef","datavalue":{"value":{"entity-type":"item","numeric-id":2118385,"id":"Q2118385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6acd89d032252096c4afa2cf50379270477b0b4","datavalue":{"value":{"amount":"+0.8688022","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":"Q3524192$DFF246D3-D072-4FCC-97AC-4266A1FF0920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6f05c7f936080fafc0469aaab72d27e0b72fda","datavalue":{"value":{"entity-type":"item","numeric-id":3087938,"id":"Q3087938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175173b64270dc7bcc497b61f2135bd654cb747d","datavalue":{"value":{"amount":"+0.8677753","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":"Q3524192$2D679EDF-EC37-4450-9054-54E8D98BE453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f954ba7254e6add514d62ba2c058b2bcb5ee61","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607b8eb2b6a3ecf03db1c4635bbbd7ae006c7000","datavalue":{"value":{"amount":"+0.86635303","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":"Q3524192$49DF8DF8-6A3F-4CCD-AC3C-F91940E58D2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3524192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3524192"}}}}}