{"entities":{"Q2164707":{"pageid":2175450,"ns":120,"title":"Item:Q2164707","lastrevid":54382154,"modified":"2026-01-26T17:53:26Z","type":"item","id":"Q2164707","labels":{"en":{"language":"en","value":"On the complexity of finding shortest variable disjunction branch-and-bound proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572296"}},"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":"Q2164707$C28DC642-E01C-42D5-A297-F4F9BE2A092A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"735c5f9fb6eb92701140d0e9470ef1b01d7f9d8b","datavalue":{"value":{"text":"On the complexity of finding shortest variable disjunction branch-and-bound proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164707$A2C55A8D-37DB-4128-B4AC-5220C6785DCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f27a40f5ef63f45af142f8a42248b1a13844bda","datavalue":{"value":"1497.90137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164707$9B993C23-EE43-49B9-8D1E-F4C23CAB82F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f77cad6a6d993d10c908824c0358c8794ea84ecf","datavalue":{"value":"10.1007/978-3-031-06901-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164707$28818161-46DE-4322-9D07-90D95841EB05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd079e62002019f2ff808ec15f91ea559e2bd925","datavalue":{"value":{"entity-type":"item","numeric-id":2164706,"id":"Q2164706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$33A9B5EC-CA24-43C0-BE93-EBE1E85143BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d42f3b88df5e19d2cf4793e9ef5c82c40e906f3b","datavalue":{"value":{"entity-type":"item","numeric-id":284837,"id":"Q284837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$A6E4C16E-0AC3-405C-A148-CE92A0407A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164707$0F4D7F64-6724-42A8-85D0-DFF368895457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164707$51B59714-04F9-46C9-A261-01828FB3F5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164707$D3D763A7-F091-4604-BC4D-97A07D71A7F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ce46febe97aa2bdbdf9bcef40ad5e1f0e5eafc","datavalue":{"value":"7572296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164707$1B739505-CE83-448F-A086-E7EFC6B16AA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3f5733a4e4674e4ee92f76ccbf56cafd0d3b97","datavalue":{"value":"binary program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164707$5C28673B-47C1-4642-AE34-4485D2192C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae1be8bbef5001542370da888be7dbb86fc6d1f","datavalue":{"value":"branch-and-bound proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164707$218ED9EE-0F82-4123-BBEB-87520E09C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0d9d46e94d9dac2a966bd0bc7ac44de8c384fe","datavalue":{"value":"counting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164707$8189E886-5ACD-4D7E-82FB-36607473749F","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":"Q2164707$AAFA63B9-ED09-415E-ABC0-B7C42B9A3DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d465e644a3cc9fd75bd5bf550954f0b6b1e0495b","datavalue":{"value":"https://doi.org/10.1007/978-3-031-06901-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164707$D853ACE9-09E5-4830-9026-F5C30CA72E22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"627e0effc69d50321e22aa9e7067dce1fe6b42b7","datavalue":{"value":"W4285295970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164707$FA85A0A7-2AAA-4CF6-A6B1-821C59811DF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cd422dbd23b0511bba81dd2dafe40bf944a0da","datavalue":{"value":{"entity-type":"item","numeric-id":1018865,"id":"Q1018865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$5A82A910-6D76-4213-8004-04BEEFFE26D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f273fcbe7190b965bc90b5bf8aaa4289199dcac2","datavalue":{"value":{"entity-type":"item","numeric-id":1886796,"id":"Q1886796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$D49E1755-93BD-4209-BF8D-3F1B9F193B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088d50352df9ad001d77073382165c77d3798fad","datavalue":{"value":{"entity-type":"item","numeric-id":3395034,"id":"Q3395034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$111236B2-EE25-41E5-BC54-60AA490E6201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$1A9D73F7-BC28-4A34-A6A9-05859218C6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bf83626afb25080059b6ed16da69d74215dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5133983,"id":"Q5133983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$93C5E281-07F9-4759-9E74-85AA4D009F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4013f0a997cb24113f52f07412cd08ebc045a3f","datavalue":{"value":{"entity-type":"item","numeric-id":2061899,"id":"Q2061899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$80B10A33-F9BD-4020-9E49-8D4AFA3D6972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf932f7a745e3c0670703b24bf9bff227c318dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4922902,"id":"Q4922902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$248A951C-787D-467C-95AC-FA9BE5682FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$FDA2CB46-9BFE-4822-BBE8-D03259EBD699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$4C8A58C6-E433-4916-965E-0C8B1C986783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe282b489426dab4b9f605316f84fa27f6d0a473","datavalue":{"value":{"entity-type":"item","numeric-id":5092485,"id":"Q5092485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$D57AFD63-73C0-4C6C-8BC2-11F549519EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b693c87d51c3b84b3bfd12b77cea94a6817cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5085999,"id":"Q5085999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$522C80A8-D16F-4613-AC41-273FBF88DC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$58C5663B-BACF-4B09-B3F8-C8819C30FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d47a468645e5fa66ecb8139701c17c6014b12a","datavalue":{"value":{"entity-type":"item","numeric-id":4770206,"id":"Q4770206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$6A6C72B6-BB56-4CD2-87C4-D675F4BF01E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53310362b41756586f4a9ba11445f98bc084042","datavalue":{"value":{"entity-type":"item","numeric-id":4051599,"id":"Q4051599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$66155215-4630-4802-B5CE-65F1B7AFE1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$5738A155-53FA-45CF-9284-E307B763F9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1837a17e89677f302fa22db66e250fe62c1291","datavalue":{"value":{"entity-type":"item","numeric-id":1683695,"id":"Q1683695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$A4C9019D-8BE8-4456-ACB9-9774D28C7F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72aba4f754fb3aee58df56c633c6e4b5ddbcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3718150,"id":"Q3718150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$FBB5E3C3-91A8-46E6-B364-1FA918EB3083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$FD4D51CE-AC40-46C5-98D1-1576F3CD2841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$93AD2699-17D9-41E3-A232-68BC81224302","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":"Q2164707$A2F066A0-E4BC-4AEB-8B88-1A54680EB69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dfd82bed9266a9eb9ee03c49c86a8c45cb2436","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164707$64B85794-A15C-4307-A46A-F8CE645ABDE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6c58846c1437e23cdcc1f5d8afe4fe19ed1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":2687056,"id":"Q2687056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2838c57c74b55f44e62ba2dab4cb1388a660da2","datavalue":{"value":{"amount":"+0.8127638697624207","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":"Q2164707$6BC5D3B3-B57B-41B8-8260-3F9AE5E33BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc3ec3649a50101475c7f4336ba0709dc3dcbb0","datavalue":{"value":{"entity-type":"item","numeric-id":924879,"id":"Q924879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52134951022702106cd49c1380c8423cc6586f43","datavalue":{"value":{"amount":"+0.7495757937431335","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":"Q2164707$9FE6E08C-A2A9-47E0-B1F9-BF64B41D79EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e2a1fd32fe16ec9f87569b1d9e35a17a5b7c42","datavalue":{"value":{"entity-type":"item","numeric-id":5417704,"id":"Q5417704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43091839a324676a777f2340037cfa363a3b1c6","datavalue":{"value":{"amount":"+0.746242880821228","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":"Q2164707$3F724DBA-9E76-4EA2-9BBA-E85EA4F06050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27cda82e309a95c0032018917d8b91f961e2a93","datavalue":{"value":{"entity-type":"item","numeric-id":6041109,"id":"Q6041109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e0c714f8f2551397ea0791dbab8cd194eef04d","datavalue":{"value":{"amount":"+0.7445657849311829","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":"Q2164707$597168DC-CD76-49A1-B554-423E79B0707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145e7a91880625608db1ac1a61b307ade7b2abb2","datavalue":{"value":{"entity-type":"item","numeric-id":2687063,"id":"Q2687063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c31719f91d18cbf1fb6377006e00000dc923625","datavalue":{"value":{"amount":"+0.7396482825279236","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":"Q2164707$78D19AE6-1262-4773-A292-F0677D3E3303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2164707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2164707"}}}}}