{"entities":{"Q4922900":{"pageid":6952482,"ns":120,"title":"Item:Q4922900","lastrevid":41082381,"modified":"2025-04-18T04:35:59Z","type":"item","id":"Q4922900","labels":{"en":{"language":"en","value":"Stronger Inference through Implied Literals from Conflicts and Knapsack Covers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6170475"}},"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":"Q4922900$94A46A08-4A76-416D-B470-8BD27A7D4D38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6674f1eaae64c00015e25e5ee9b3ff8df67077d","datavalue":{"value":{"text":"Stronger Inference through Implied Literals from Conflicts and Knapsack Covers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4922900$7482F1D1-4CF4-4214-B202-8F47C4431C51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44e29ef034315e8bb3dc922f41c2b9c99328989c","datavalue":{"value":"1382.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922900$52427FFD-725A-46D7-86F4-08C274F41D82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ae5d919df73a3f1c026d88956cb1572c8b8a9b8","datavalue":{"value":"10.1007/978-3-642-38171-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922900$7F230EF9-F1EE-4A5F-8458-B558FCF7C508","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"039bd19d8455f544c90b790add624ee221fe750b","datavalue":{"value":{"entity-type":"item","numeric-id":708778,"id":"Q708778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$0950B4D2-41B4-4DC3-8B16-6BA50A865FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$45D427B9-F3A7-466D-AFC4-9E6FA3A16F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c36537daa507899538e7c1050c58bec7c9307b","datavalue":{"value":{"entity-type":"item","numeric-id":205121,"id":"Q205121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$8889822A-34DC-47E9-B0D4-D3EA3044A181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b5703dbefadb0dc8a94567ea5d35c321580fcba","datavalue":{"value":{"entity-type":"item","numeric-id":3003269,"id":"Q3003269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$08A56A5B-ECE0-4F2A-9DDB-4A890754F9F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af9b62ac256232ff2c823523b8bf5580eae9c05a","datavalue":{"value":{"time":"+2013-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4922900$912D6686-0466-4FEC-B98F-D8BB60CAE2E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922900$7C4C6F89-0026-40E2-98B9-EC337D991377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922900$EAE59D80-5E55-4144-A994-53C42F4CBFA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91b057f721b7b9de0c50d7214adcd85c4f7e9105","datavalue":{"value":"6170475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922900$BAD89479-AB68-489D-8B35-60C117D33EA4","rank":"normal"}],"P1463":[{"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":"Q4922900$5FF11FC3-E785-40DF-8B28-7370C89314FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3d4aca78a7df260cf2c9340be52081d0d969d02","datavalue":{"value":{"entity-type":"item","numeric-id":16254,"id":"Q16254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$6D53AE50-51D1-413C-9970-27AA12207B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$65929CCD-1B25-443F-93A4-AC6D92324D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922900$9FBC264F-4D9B-43D6-A5B7-0B16E7114037","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":"Q4922900$A3A1FF98-2AE1-4F2C-B1D5-E9A93A80E5F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"137f1f282140f001d5d03a32ce4ee9db6d984c3e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38171-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4922900$D30C17C8-21AB-41B6-A045-B84F2CB89C30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c4730a91f0e275d7b15fc5b7c189d27b2c2566","datavalue":{"value":"W2183437836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922900$4074FE40-A1AA-45C1-B144-5491D837B561","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e1ab111833897f6610fc74feff763196614d2","datavalue":{"value":{"entity-type":"item","numeric-id":3007694,"id":"Q3007694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf16233ad67131cca2d596db45f1fcead514559a","datavalue":{"value":{"amount":"+0.81377584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$14018418-7F3D-4378-88BC-6BC9370C1653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a399ad02e32cdbbfbdec3f6219745392693fae31","datavalue":{"value":{"amount":"+0.8073356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$AB974398-4E42-42ED-94DB-D4DC738CB0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a5b1a5c7de8fab9c71f19f5bb12b51ae5d2360","datavalue":{"value":{"entity-type":"item","numeric-id":2581317,"id":"Q2581317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3f21710a6df4ebd7fb2b5a16c985aacf0b120c","datavalue":{"value":{"amount":"+0.80527914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$5D38DC36-62D9-4B8E-82C9-90D8AED20CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76cae6210843204e419e6bfdc26e0791eaa683ad","datavalue":{"value":{"entity-type":"item","numeric-id":674439,"id":"Q674439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ca85b2136760a66e65e54a10697ed8d55d01a6","datavalue":{"value":{"amount":"+0.8027644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$C9DD9C95-1FA5-4603-8B1C-5B3B8BF82327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbd40e4696f0fd5ddfba1637da940af21d4683c","datavalue":{"value":{"entity-type":"item","numeric-id":2630816,"id":"Q2630816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f4a237e7715fa3441088d939959efeda3a6862","datavalue":{"value":{"amount":"+0.80095494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$6960B388-992B-43C0-AC3A-1E9EDD059116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"236c78f78e1a98a69b795bf3fb9b3a5ca8761ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1656556,"id":"Q1656556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4668d9cbaaa9e2b6815976e144a653b4f4757a1","datavalue":{"value":{"amount":"+0.7995304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$F725C012-CD4B-4A0C-9BEC-387E89FC00AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b5d4fd92f071554399c4914eb9294b95d5b8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5150749,"id":"Q5150749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3c78585e9d2c2ac86d0ffdb505a3e4a05bb5fe","datavalue":{"value":{"amount":"+0.79901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922900$51AA55BA-2622-4243-89FE-A2DA3DDB04AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4922900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4922900"}}}}}