{"entities":{"Q1430296":{"pageid":1441036,"ns":120,"title":"Item:Q1430296","lastrevid":70385571,"modified":"2026-04-13T14:25:10Z","type":"item","id":"Q1430296","labels":{"en":{"language":"en","value":"Satisfiability-based algorithms for Boolean optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2069243"}},"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":"Q1430296$A0AB56B8-AAB3-48C2-AC59-7F8854AC3684","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a2da51be9a581bf22721d725b3eda92970a04c5","datavalue":{"value":{"text":"Satisfiability-based algorithms for Boolean optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430296$269A60FD-9C01-4CC6-98E6-D945BE199519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4764a3abd60a4bcaf98f1eb5d6fe5d31c8869df6","datavalue":{"value":"1068.90081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430296$70509C12-E8D9-4904-A7D2-BEB4AE5EB553","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef8eb7bdf5df2bd24cb43b059501bf0e0eb264d1","datavalue":{"value":"10.1023/B:AMAI.0000012872.46214.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430296$1BE275CC-5E37-49C2-881B-6B5C0821BB02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a728a400be38b20d56d906a115846d8ae94fc384","datavalue":{"value":{"entity-type":"item","numeric-id":1430294,"id":"Q1430294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430296$63AFA6D1-DB3B-41C1-A0E6-DEF1695ED01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430296$A3B70791-A15B-45A6-80A6-89FBD2FF059E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430296$67074185-87C7-4653-A03E-6775E05974F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430296$B1F8DF56-A91F-4AF9-8B4B-3C3BB9643B70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430296$60BC4364-BAFC-4EFD-BCD0-0AAD2A0D225E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e52b3a8354e28c4e4f6a47d6451a74ea1639116f","datavalue":{"value":"2069243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430296$BFF5BF88-5B6A-4BD5-86AB-195F49F42984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cbf4c0f2515604cb4c630f44c0004e93bb61c7a","datavalue":{"value":"binate covering problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430296$9F61C85A-6098-46CD-81A5-C5DF7C723563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430296$58BB777B-3318-4AE4-A85B-6FFBF471DBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b70193b15cfa9820eaa83513ddb2267d9b694a","datavalue":{"value":"branch-and-bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430296$044268E5-B244-4761-AEDD-5436F5ECD7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a42f1dca2c0008f248c4ee89d51fbb03845fd8e","datavalue":{"value":"backtrack search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430296$98479F95-F047-4352-A39B-BFD1BEA729F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7138c660dacaeebcbcf3cc58fa42dbab7700ccf","datavalue":{"value":"non-chronological backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430296$4250B207-ADB8-4616-AF9E-761A41D4BE0D","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":"Q1430296$C2DDC0D5-7F3C-4C5F-BEBD-0E33C9526E97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"774c4b479067c7569620f8a43c73be3861b24a9d","datavalue":{"value":"https://doi.org/10.1023/b:amai.0000012872.46214.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430296$A4FAEC03-E851-4B7F-ACFE-8BDDFC68520B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bdfc2d78708d2e52d6ee510d63ed91d56221761","datavalue":{"value":"W2106284444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430296$0D4087C9-085F-497A-B774-2B4C6E001F8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f869269178846a8f00e504a066fa7b0e45ad4d8","datavalue":{"value":{"entity-type":"item","numeric-id":2455454,"id":"Q2455454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0917eda14e2edbcad0fc0ce11a4cab35d7b3aab3","datavalue":{"value":{"amount":"+0.7845160961151123","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":"Q1430296$A5EB188D-7715-4DF2-B1FD-FB927E4F0915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90370c6c9b1474bf16de739bc32993912fed6624","datavalue":{"value":{"entity-type":"item","numeric-id":1402519,"id":"Q1402519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5582c0f440c4311a426bfa263b08f6edc43e8f","datavalue":{"value":{"amount":"+0.7808513045310974","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":"Q1430296$8CFEC217-4E10-43F2-AA2D-2743719BA6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9961b887f39f992337ce5d0b1b9130424215a5","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0311470b0866973b402999f048f5ff1c6e8761","datavalue":{"value":{"amount":"+0.761182427406311","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":"Q1430296$ED6EF8E7-3C64-47AF-89D2-F343581C9195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d45c716cf3b392e2cf20fad0bd7d505e0988d7f","datavalue":{"value":{"amount":"+0.7555366158485413","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":"Q1430296$9C168524-E9B5-4174-8C93-E6C284ABCD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11147534ffe7101e2539ef173f3b41a1987d48d4","datavalue":{"value":{"entity-type":"item","numeric-id":4930588,"id":"Q4930588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9278ea7eae50f5e4ef2d2bd500ca3e534ed71163","datavalue":{"value":{"amount":"+0.7545816898345947","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":"Q1430296$F7FEC2EF-A0EA-4965-98C4-02CEDF21B6E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability-based algorithms for Boolean optimization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability-based_algorithms_for_Boolean_optimization"}}}}}