{"entities":{"Q2429985":{"pageid":2440728,"ns":120,"title":"Item:Q2429985","lastrevid":51221669,"modified":"2026-01-17T07:42:36Z","type":"item","id":"Q2429985","labels":{"en":{"language":"en","value":"A framework for certified Boolean branch-and-bound optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5874563"}},"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":"Q2429985$16613E34-82F9-48EA-8EFE-864699160101","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33223b6a61f574cdeaf9bd15b0cb737ff654f9cd","datavalue":{"value":{"text":"A framework for certified Boolean branch-and-bound optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2429985$13F4F92B-E108-43CE-A094-DDE8DEC7E658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a415917047578ea233c448ac952efadf063ed14b","datavalue":{"value":"1213.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429985$69C09E6C-4D6C-48B5-8A26-428A7F2A88FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$7ADF854B-576C-4CCE-B210-0180C0FCB6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$321923CE-96BD-48D9-B54D-596C5A7236FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$03A23409-E814-44A0-B0E2-6BEE4C800629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$303F3890-35F9-430A-B391-9E98132FDA3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$71E76076-FE5F-4A33-9F66-3E055D212915","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b25fd71e890a291922acd90c65898775ceff0d51","datavalue":{"value":{"time":"+2011-04-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":"Q2429985$53B85AC7-74B3-4E3D-A60E-5674AF46AAEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429985$05732370-1134-4596-9404-8F2E5AFCCE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429985$9DEFB29A-734C-4063-A8E9-3927A530DD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b25d15d800ff6f072368d25d4df91d9e72e6dc","datavalue":{"value":"5874563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429985$B1FBFEE5-6261-47D8-B587-66C24BCC2A1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429985$152B6018-7EB5-47B2-9A36-575634B14C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429985$1FE4AEAF-1150-460B-8169-F70773232C82","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"054bdc753160250e7a128ccbc7a9e886c58a34e4","datavalue":{"value":{"entity-type":"item","numeric-id":14538,"id":"Q14538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$8541CD9C-E14E-42B1-A4E1-4BA39B6EC0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$D28991AC-03A3-4B2C-9C40-97CD256094CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb2681abb3bba434415e4fc739b2d99830a88472","datavalue":{"value":{"entity-type":"item","numeric-id":16731,"id":"Q16731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$82AF3E1B-875B-4349-AB64-43B20B57D661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$E085D56B-06E5-4CD1-A159-0CE02865F6ED","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":"Q2429985$2448A8D7-D45D-467C-A047-21EA016F0F56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7f6b60dccb6b265c836393fd2b711e7467f0e22","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9176-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2429985$B0778EE6-FEF8-4891-B628-4CC79F573437","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f43df627361615d14a1336da3cc7375cfc1e4d81","datavalue":{"value":"W2105888199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429985$B6EE6187-E924-4AF2-9724-442919026EAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23224e3892fc052d1fb671ca2b1b95a24f84df75","datavalue":{"value":{"entity-type":"item","numeric-id":5505540,"id":"Q5505540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$329EF874-6BD4-4784-BEA2-336F5B6E5D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$5B5006C6-C88F-456B-AF9C-C94EBC30D147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ff8f1c19496727f99d8fe271f1509db3d0697c","datavalue":{"value":{"entity-type":"item","numeric-id":697569,"id":"Q697569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$72D04CC8-48A3-4B81-8270-199BA2AF1F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eeb14584ff70f1d774e69aacb12f5fba030d62","datavalue":{"value":{"entity-type":"item","numeric-id":1294046,"id":"Q1294046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$38D7A318-3B8C-4ECB-BA10-59A271EB8984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00f83e613d735519b98c96b09a9cf48e50fb9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3612475,"id":"Q3612475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$1BE14A26-4532-4688-93FF-34B89F79A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e239dce14973bc963cb9871e26501ddc153e9","datavalue":{"value":{"entity-type":"item","numeric-id":3693267,"id":"Q3693267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$0702C74C-73C3-4C4B-B32E-38CC0B2446D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$BA6E59B7-BA27-4897-98BA-D9AFFC78A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d9185421849e56243989a0374734d81cc0501e","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$CE6BDE8A-1BEE-420A-96AB-674AB2F273FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81dabc0e1b040cf2ac0a72a4d1733d5c02d19053","datavalue":{"value":{"entity-type":"item","numeric-id":3637179,"id":"Q3637179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$8D3D80EC-30AE-4452-BB11-22F356F39808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e39fe632cb889209669f66ee9cc2ce4642ee101","datavalue":{"value":{"entity-type":"item","numeric-id":1430296,"id":"Q1430296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$DE511703-89EA-483F-A320-D2F1053A9EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22bde11e78369a6138771e56f2c61a2713ba27a","datavalue":{"value":{"entity-type":"item","numeric-id":5458346,"id":"Q5458346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$93D6344E-C054-4F9D-ABF0-283FC312E5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$0B82929B-FA67-4540-95CC-663C555DC231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$BB38C16B-8624-4438-A469-E072C0024A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96b4c5384a2aa0d3275972f212ec4ca1824440f","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429985$A0D90F58-DA08-4F40-BF45-2FE4CB5F297E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4689556e8758666534d26796fcec9f7d2f8f47","datavalue":{"value":"10.1007/S10817-010-9176-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429985$B4A95F0B-5AC5-4E6C-9B6A-0B5BF2613117","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00d5ab5988dec0c6c4e2f531352e7604fe5081a","datavalue":{"value":{"entity-type":"item","numeric-id":3637179,"id":"Q3637179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76c731cb82c6f0b83acf53dc4e2e9c83f7e833e","datavalue":{"value":{"amount":"+0.9815265536308287","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":"Q2429985$7886DF7B-A1B8-4E71-9355-4B9EFD1B2560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac715e929d260881a463221647ba26143f1be772","datavalue":{"value":{"entity-type":"item","numeric-id":3533153,"id":"Q3533153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1677fae20020e12a69e47c0d770d421e4861959b","datavalue":{"value":{"amount":"+0.7631962895393372","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":"Q2429985$9A65481A-10C0-4207-B0EC-3717AE76E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f2db8e03bafd8eeb63f2c8eff2d8e0dbf0a58b","datavalue":{"value":{"entity-type":"item","numeric-id":5277743,"id":"Q5277743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3eab2bbcde277ff73dce78232535d74b84fdbc","datavalue":{"value":{"amount":"+0.755436897277832","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":"Q2429985$E821BB62-7F08-430F-8736-8CD6D089B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba8b21599be95ad27f1dbbf33eb75cec0cc1bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3807879,"id":"Q3807879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60235e9d69aba99086ea6df300257d1daa1ebddc","datavalue":{"value":{"amount":"+0.7133183479309082","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":"Q2429985$E0EEE2F0-2BB5-49D5-A075-6B9E07954158","rank":"normal"},{"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":"4fba1842cb5ecff3e9b40447753e202a71573c83","datavalue":{"value":{"amount":"+0.7128269076347351","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":"Q2429985$525622BF-0A7A-4423-8A70-35679DCE4D1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2429985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2429985"}}}}}