{"entities":{"Q5326460":{"pageid":7356034,"ns":120,"title":"Item:Q5326460","lastrevid":51791498,"modified":"2026-01-20T01:39:31Z","type":"item","id":"Q5326460","labels":{"en":{"language":"en","value":"Exploiting the power of MIP solvers in MAXSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195194"}},"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":"Q5326460$1ED2A7FC-0B37-4E6E-B704-7A2A3DD0960D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee6520d222ee1492c5eeee2888a2e3a531839191","datavalue":{"value":{"text":"Exploiting the Power of mip Solvers in maxsat","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326460$DA6D9014-8915-40DD-A99D-1ABFC6A300C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dd0eb2f4491664a1ee3308b1ac2f52bfdd951de","datavalue":{"value":"1390.68592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$71ACC8FA-A71C-44C2-AEF2-94FB48C148D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"413ec08e7a9e1e5b5649f630d16bcb75be374165","datavalue":{"value":"10.1007/978-3-642-39071-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$5C7F2B4B-23B9-4F52-B929-DE57074CFB7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18209072ad27dec62167d445e795d33fcfc5bc24","datavalue":{"value":{"entity-type":"item","numeric-id":464612,"id":"Q464612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326460$F32C1128-5621-447D-8E22-B7925AB01536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326460$84EE82D2-0BEA-452B-9945-59D4263C85DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326460$F617D8DC-61FF-4CD2-A4BB-3FF97186E918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326460$7463EE59-546C-42FC-B9DA-358FE45B4E5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$E1DF3E0C-17BE-47C7-AA84-ECF5231B787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$01669EE7-3576-49D8-A6AC-97C63EA4323C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$CFD0E1D2-E8AA-4EA8-BB07-1F429546D52C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19d0d9e419a09b2798ce73d1b91c6410c70052de","datavalue":{"value":"6195194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$A1FED10B-E75B-45B8-B357-B7D587CE228D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326460$D57DA050-7C6A-46DA-A249-908BC1E54885","rank":"normal"},{"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":"Q5326460$7CAB9CC6-CC1B-4E35-8613-C48E05ACE984","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":"Q5326460$07E7E418-A478-4797-B1A7-551AC74C3721","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":"Q5326460$11DD49DB-0210-4F24-8949-FB145FB38337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"816de76dbe1a38563c6d5989d841937469e55f0e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326460$0A82850D-122B-4762-B73B-8E012E64DD8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d14ea7cb9b5a447977951d19556f4467586834c","datavalue":{"value":"W116541839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326460$D3C83346-0472-46CA-9A15-8742F1B62CCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559c81a080977a3ab26faab588f00e01addc3c7e","datavalue":{"value":{"amount":"+0.7949610948562622","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":"Q5326460$71B7505A-6065-4861-AF72-4956CBB97866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b41f2ac86a731202047bd4ff362dd9bcd77637","datavalue":{"value":{"entity-type":"item","numeric-id":525063,"id":"Q525063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4632ba483c11d4e5f0ed334b6ac338d44afb25e6","datavalue":{"value":{"amount":"+0.7890189290046692","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":"Q5326460$B4FB9758-0412-437F-B5CA-EA86620D720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf4d866e68bc2042476a6fb24341692dfe6ec74","datavalue":{"value":{"entity-type":"item","numeric-id":2818041,"id":"Q2818041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b46e3d215193d2b50bd69f151be1f63e1cfc684","datavalue":{"value":{"amount":"+0.7867132425308228","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":"Q5326460$3D2EDADE-1DFF-45A8-AE77-3D24100F476A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6008c60e235e2a466ea9630813f367285d1ab502","datavalue":{"value":{"amount":"+0.7721665501594543","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":"Q5326460$AF45DEF8-775E-4573-9E5E-965FDE7F1FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9495f4d718a6a21cda8386bf16c5c91b848453d","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29348fe2280671bbd77def777bfa385cfa6594b2","datavalue":{"value":{"amount":"+0.7692379951477051","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":"Q5326460$DD9D4C88-1752-4490-A802-F0E97F070DE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326460"}}}}}