{"entities":{"Q597527":{"pageid":599303,"ns":120,"title":"Item:Q597527","lastrevid":63014955,"modified":"2026-04-11T09:43:15Z","type":"item","id":"Q597527","labels":{"en":{"language":"en","value":"A weight-balanced branching rule for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2082759"}},"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":"Q597527$C3465B00-CDF6-4CEC-A4CE-EBDB87C3AE92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47128a67207b736762b7ab8aebe76e0a0d8e2312","datavalue":{"value":{"text":"A weight-balanced branching rule for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q597527$45EA92AF-8550-46DD-A213-4440BE6F2A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbd8b04d65b53a6a1d70a8551bbb3191d900debf","datavalue":{"value":"1074.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$F28EB61D-CC23-4019-8FB4-50282AF74834","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bb6a1e797872f833ecad09788dc23bddcb79771","datavalue":{"value":"10.1016/S0895-7177(03)90030-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$DD50CD7D-6386-41D0-A4B3-E0AC10D94F55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f558c56ae57bdae2ebd316a86826e2795b9d243c","datavalue":{"value":{"entity-type":"item","numeric-id":597526,"id":"Q597526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$0343B44D-6729-443C-AD9D-CDBE06A91E1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b010567da0e068295e34b824b5eafea5ffd18ef1","datavalue":{"value":{"entity-type":"item","numeric-id":166953,"id":"Q166953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$2CCC7E27-8BD2-4FF0-AC2A-FBB86857D47D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q597527$55B282B2-6927-4727-B97D-5C25BA484CBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$350F7423-AFEA-4043-88BF-C137744B80A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$B96EB9B6-518F-44DC-AE17-E067EC29BB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$E6179A2C-76D5-42C0-B436-2FA1BBBCE659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d002e6eaa31e0040d0e8ced3f30282793db571e","datavalue":{"value":"2082759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$5DA660EC-B2CE-4FAB-BBA8-3AFD57211605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q597527$BDD41376-89B9-4E93-8FBC-5B6658E080D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec2da600324693dd4823b201a1935afce8b019a","datavalue":{"value":"Depth-first search","type":"string"},"datatype":"string"},"type":"statement","id":"Q597527$7625EA12-25C2-4039-820D-583158777B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a9dd2acfbdb7eb7fb3b60e23e1a473d2146e41","datavalue":{"value":"Backtrack","type":"string"},"datatype":"string"},"type":"statement","id":"Q597527$71F4C974-42EC-4CAA-B7D1-A0A1CCE303CB","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":"Q597527$57ED7689-E563-4093-8FE9-C8CB1D525C1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$B1FC5F10-19ED-4F3A-86FC-A0B9D29EFD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$7658B5E5-AA1A-4A49-983D-78BD0F6ECF24","rank":"normal"},{"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":"Q597527$D8990422-C2BE-4E16-8145-E5088829E9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc3910b9a25eb2c437d9b38d17d7163c5c000a1","datavalue":{"value":{"entity-type":"item","numeric-id":1333026,"id":"Q1333026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$B85AA2FF-EA96-4065-B6D1-5F1D6476F0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf9fca3f6d551b053634992736e7adda698b452","datavalue":{"value":{"entity-type":"item","numeric-id":1178643,"id":"Q1178643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$5DF2DA58-5E21-49D3-B6A6-F226AC87BA9F","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":"Q597527$9317E1EE-EDA4-4C08-B987-DCB312C83CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$9112D260-BE4E-4815-83EC-DB02C6CEC82C","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":"Q597527$C329191F-FA22-4530-8938-0EF509766A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$2C20595C-B62E-4685-94CF-C22496565C36","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":"Q597527$B7296868-5E90-414A-96E1-DA1BF9381622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15087eea958855f1ecbf23508ffd0d553ff14f3e","datavalue":{"value":{"entity-type":"item","numeric-id":4375765,"id":"Q4375765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$E5EC857C-2AC7-42E4-9DA7-A21EFCA21D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$26F8F04D-A2A4-44E1-A038-E70781786909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f4c7d6af3599639fbe9c5b1286ea56ffa77c3c","datavalue":{"value":{"entity-type":"item","numeric-id":3274167,"id":"Q3274167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$57BE066F-4B8C-4598-8456-411F58996F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08d698348eb856e79e6d633751285caeaf7da96","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$59237732-3713-4BFC-A79C-5BC0623B6A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4fe328050ef9b6923529a534efe5f549f7a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$09B6FD2A-AFAB-4CD0-BD00-CDFB4F8E5DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597527$71AAFB4E-38EA-43A0-B511-1100B07691DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b884ad44a402ffb017bd246e4165296cce489d7f","datavalue":{"value":"https://doi.org/10.1016/s0895-7177(03)90030-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q597527$44E081BB-963E-4F41-AA4E-EB4A86F0CBC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c189cb11c8f1a50eb99a1a75057cd36a208467e","datavalue":{"value":"W1970516110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597527$D0D76D13-6FFB-4727-9DEC-8255E2E2803B","rank":"normal"}],"P1643":[{"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":"4677008b193713a4102988ed166c95ca21d6e005","datavalue":{"value":{"amount":"+0.8606263995170593","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":"Q597527$6ECCB788-EA52-4AF7-908B-7DD5173652F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eca13c81e0cfa25dba3c64e1c8cc34d9154caa9","datavalue":{"value":{"entity-type":"item","numeric-id":4375765,"id":"Q4375765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be231cece448db3bb0db3f3efb2bf99050e23080","datavalue":{"value":{"amount":"+0.8510649800300598","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":"Q597527$18ACACE9-013C-4D9B-B777-5C409190011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4784de6e394a6405cf20030b0eb7684e7e473ed8","datavalue":{"value":{"entity-type":"item","numeric-id":1811072,"id":"Q1811072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c741d8df76b847a33f62f92d97dcce402c37d1","datavalue":{"value":{"amount":"+0.7895061373710632","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":"Q597527$949E022B-2911-4849-8023-EF75863F95BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9031456c40fc1e4130be49ff750e823159074c73","datavalue":{"value":{"entity-type":"item","numeric-id":1408384,"id":"Q1408384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910a186fe24a68b9d94a8d63442bf29c1fd85ad6","datavalue":{"value":{"amount":"+0.7887236475944519","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":"Q597527$BBFDF010-D577-45C4-AD63-5713E5CD71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf525a1ec6481a2fd62e31d4f6812bd5672e78a","datavalue":{"value":{"entity-type":"item","numeric-id":1281405,"id":"Q1281405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e399ef25220b59c9ee237fd701ae8201bff901c1","datavalue":{"value":{"amount":"+0.7770066261291504","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":"Q597527$33B282AE-2E01-4D86-ACF1-E8C7A4C6E6A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A weight-balanced branching rule for SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_weight-balanced_branching_rule_for_SAT"}}}}}