{"entities":{"Q2843334":{"pageid":2854054,"ns":120,"title":"Item:Q2843334","lastrevid":51798701,"modified":"2026-01-20T02:32:01Z","type":"item","id":"Q2843334","labels":{"en":{"language":"en","value":"Improvements to core-guided binary search for MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197761"}},"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":"Q2843334$E95A6C3D-AC7F-4A7A-8F0F-96610640D0F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"359189de79a6378fc72c22a21d9fb11c9c27416c","datavalue":{"value":{"text":"Improvements to Core-Guided Binary Search for MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843334$C3BEB18D-E911-478F-8379-9DA4B75CB6C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4ce99f8b8af051360c39eb4a20e9ebf9789a72e","datavalue":{"value":"1273.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843334$AB61948B-618A-4B2F-961D-5D076FC82469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"920618e1851b5c6e7830f7205b040c1076e0d4e2","datavalue":{"value":"10.1007/978-3-642-31612-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843334$11513DA4-9A5C-4E5E-830E-2C15D679B3A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$7CEE6914-A9AC-4803-983D-0D2C951B7FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d5029a19407694c0d46deb444f7fc5d33718a4","datavalue":{"value":{"entity-type":"item","numeric-id":2348539,"id":"Q2348539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$5DBDD6B4-94EF-462D-AD32-504282D79CBE","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":"Q2843334$DEB74A0F-57BA-4229-9018-41CC3658394A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$A0F497B0-31ED-4E7B-A19E-9EF09AFD25C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843334$58E8750E-B501-4726-918C-8B73BF191407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f67ac4a60e23c1132a8fd03ea5c8b20ee83257ab","datavalue":{"value":"http://hdl.handle.net/10344/2771","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843334$4D6A7AFE-0138-412B-9764-DC2D90887CD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843334$55A196C4-26FC-4E69-A34E-95E51F2FF824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68cba998fa6562b14bb5f5ad8d711de44a1843e3","datavalue":{"value":"6197761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843334$EB38E8E8-3025-48CA-89F2-93527A7B44DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46bcd62f451878e06535242e19e6d27106dd0716","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$7D0F3C41-75BE-4834-AF45-F83A9BEECCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc58ad0645335839a7be6fcd1c3c5700ae701897","datavalue":{"value":{"entity-type":"item","numeric-id":13549,"id":"Q13549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$90EFBC6B-2925-4E9B-A12B-516FC839FFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31c2312fb7c6357e3d954c77885cdbc13cc6a5bb","datavalue":{"value":{"entity-type":"item","numeric-id":21712,"id":"Q21712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$047D9A1E-AD23-47CB-B3E1-A8F33089FC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4080854e6c3efd73caa0f3157d5ed5b72457336","datavalue":{"value":{"entity-type":"item","numeric-id":21549,"id":"Q21549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843334$B6227D8F-403D-4762-9DEA-E073C722A830","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":"Q2843334$A07BA929-921B-4974-80AD-BE066D26BED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86c69caa78c1bbb9b97094e4257b5c4b4dc2ba2d","datavalue":{"value":"W1852879971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843334$B26A9006-2A7C-405D-B573-E51C93715BE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94851d8563ba275202b8910bc97ac866bde4824","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7a27bc56bf49ca6cfe089c7421e35a860477b6","datavalue":{"value":{"amount":"+0.8536602854728699","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":"Q2843334$92B0DC06-7C40-427D-A527-8CDD1EB7A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d526bc0ae721d58c0346f48a38c28650c0a224d4","datavalue":{"value":{"entity-type":"item","numeric-id":5283008,"id":"Q5283008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3c7eac276316d9ee815f9d5c1930441657b6a8","datavalue":{"value":{"amount":"+0.8159316182136536","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":"Q2843334$86F514FB-FB63-43D7-BE37-F83E4AE7ECF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d9e4774b7e1934b5f5fc21702e6649798cef0c","datavalue":{"value":{"entity-type":"item","numeric-id":3637181,"id":"Q3637181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3728d1d12379b0b3bee45f4d96ef01de5380a14","datavalue":{"value":{"amount":"+0.8110089302062988","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":"Q2843334$949779F5-BC01-4218-A7E7-0271A939D346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b07b628a7ffb57c2d4b07c01985097998e6399","datavalue":{"value":{"entity-type":"item","numeric-id":1680676,"id":"Q1680676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a861449f3dce8323a6e9f447de8969d41772fc","datavalue":{"value":{"amount":"+0.8043597936630249","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":"Q2843334$3E4F1422-0B8A-4AED-95F2-386AB9650E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944677192979990d1e36614027371852ce6358f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83933d015dd7446696e1db58ce3f8e1d0dc3b9f9","datavalue":{"value":{"amount":"+0.7893965840339661","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":"Q2843334$776F8F9A-8E79-482D-8B45-7748707EB1F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843334"}}}}}