{"entities":{"Q5875950":{"pageid":7905501,"ns":120,"title":"Item:Q5875950","lastrevid":97593929,"modified":"2026-06-05T15:03:45Z","type":"item","id":"Q5875950","labels":{"en":{"language":"en","value":"MaxSAT Resolution and Subcube Sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650604"}},"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":"Q5875950$15553F43-A2AD-4692-A9B6-0FDD406CA33F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"222369b086cd5556b2925d2adc0e997f992ee56a","datavalue":{"value":{"text":"MaxSAT Resolution and Subcube Sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875950$A0E3022F-BCD8-45AE-9AF4-23BC5FF25AE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6bc58512ac53b87d88b0a5f685d009f81e30bc6","datavalue":{"value":"10.1145/3565363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875950$4F0D704C-15D7-450E-9C3E-51352FCB7375","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0fe0a7fa80a03dbe218a5c976959a59a29e24d","datavalue":{"value":{"entity-type":"item","numeric-id":312256,"id":"Q312256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$6634C1C2-CDDF-42E8-AA62-728156B245AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$13966EC3-36AD-46B6-9BD4-60DCE60F1AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e0811b8e06de8d9bd08809a52cb321eeabfc7a7","datavalue":{"value":{"entity-type":"item","numeric-id":1981763,"id":"Q1981763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$73BEA659-54C5-40AC-A212-2719FC00B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5302b48d82eac44081d15b48583a3fafba169c6","datavalue":{"value":{"entity-type":"item","numeric-id":1656562,"id":"Q1656562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$2E1C7DDB-CD87-48F4-9453-DC95CF31A7FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$9D0D4A50-7A1A-444F-BBAD-86D9EF232ED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875950$C7799D56-3CE0-48C8-BBDA-1A3541FCE00E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875950$F763D694-8032-4885-8600-2BD37867E191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875950$79788B3B-8EDC-4AE7-96C0-A4EF04E4E8B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c89266aae1b3469629bfed93eb8bf746f0d94bdd","datavalue":{"value":"7650604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875950$EA9CC27B-FF40-4B40-8F91-E891427C3ECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875950$4B18CE40-BE31-4210-95D1-5155473F1333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875950$3781FF4C-C412-42D4-AE56-A1AA35772FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875950$F10F236C-F986-4189-BD7C-CAC093A92B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41bb4fe7dbf1b7374c586f62b5f84a3b9f0ac86","datavalue":{"value":"conical juntas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875950$AE1F6D63-644D-4480-9A33-47BCFD70D2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da65a1d89d19ee7e9a491b5ccccd6f93f1c19d48","datavalue":{"value":"Sherali-Adams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875950$6F188D85-FF7C-42CD-812A-AC1A0F0F13D5","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":"Q5875950$70FD813D-32FB-42C3-B250-7533869A2E47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fb0aca145034b71a64bfa3b87d54af5d94cb669","datavalue":{"value":"https://doi.org/10.1145/3565363","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875950$F22D92A5-DA0F-4076-BD9B-3DC54AA75781","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9949c0d90a4f28cc2345e62aee397b68058fa0a7","datavalue":{"value":"W3027534747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875950$3F64335C-7FC8-42D1-84B3-8A5A08586A9B","rank":"normal"}],"P223":[{"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":"Q5875950$420CD5AF-DFCA-4841-9D5F-65D587A4678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff00a26c1e33dbc6bdf2c54942494cb6dac3032f","datavalue":{"value":{"entity-type":"item","numeric-id":5091776,"id":"Q5091776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$4E323D41-3208-4C7D-80DD-1DDFED9DEC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eeaa0df34904c86cee275cfe49c6122cfbc8370","datavalue":{"value":{"entity-type":"item","numeric-id":2181918,"id":"Q2181918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$F4FC38EC-D480-418C-93E2-B4C5485897BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465f736e3553ade7935865484c1b908a1260691b","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$AA17748B-59B8-4228-8979-F21970A6F18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4543d8f2ef36738c645393aea2d2e60cd486df7c","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$7BBA7C2D-2F19-4BBA-89E2-2CF0896A4BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cd1afd6809f2236d203cad789f950bef0e99a8","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$B48232A8-8B08-4A1C-97B9-9AAAEAC9D962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$8AF04A4F-005C-47EC-B597-9F025BC28B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feefa0ab8d53a72c8121731a2cf52a9226c9b951","datavalue":{"value":{"entity-type":"item","numeric-id":3304105,"id":"Q3304105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$75A475C8-3603-4263-ADDF-17E0241B434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ced15fce0c8018e5dfdcdbe2ed656ec7ef7ed09","datavalue":{"value":{"entity-type":"item","numeric-id":5769706,"id":"Q5769706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$E163CA0D-F5A8-4AEA-A2DC-C42B2EEEBED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e2f087aaf49f7fd67c6e79e5747bed7a3ffc20","datavalue":{"value":{"entity-type":"item","numeric-id":2661345,"id":"Q2661345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$8F77C5BC-36FC-4BB6-BFCF-3952D29AD19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195e255bdeaf4bf846130abcc4540de6bcf13af0","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$A17C536D-87BD-440D-B518-A78FFE16A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445ca81f1046c8b5bea1a2062f174b139078383","datavalue":{"value":{"entity-type":"item","numeric-id":1217591,"id":"Q1217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$6594F4E1-1E21-49AE-8A5B-BBB159DA6B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$3966CCE8-5EB5-41BE-93A2-767CB88F2E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd01ae611bdc1621b0ff2ccac7d01bf6e7f3b87","datavalue":{"value":{"entity-type":"item","numeric-id":5215904,"id":"Q5215904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$A7F7611C-73FC-41EF-B519-132199527458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8882b47df15b6dc3bb408911ea80f0f4c85834","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$731747C1-FFD5-4294-A380-FF9C776DAA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6c8b2c77388e4584b678679cdf93e1da366a80","datavalue":{"value":{"entity-type":"item","numeric-id":4606697,"id":"Q4606697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$0F915BAF-B6A7-417E-BE2A-113D9A68493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa73f31eabcaa7f6edaa43f9cf12d612364b8f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5890971,"id":"Q5890971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$CF41F827-0B46-4DED-937D-696EFCB3EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$873B6F10-5D7A-418D-8180-2F49B43FA32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f4bfa92705b572567f58ecc118973f52ffa3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1680253,"id":"Q1680253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$3BBFF653-A105-4200-87A0-568FF2AA81B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1525b7f67f4018cf4fd19de33dde843ec62771f6","datavalue":{"value":{"entity-type":"item","numeric-id":4937847,"id":"Q4937847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$F654CF38-82F5-4256-B893-8303A0208F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$E87A9EF2-525C-4FBD-B9C4-66BE1886F295","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":"Q5875950$78B7262F-4C6B-41F2-9105-2132657070B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deea660d10fd4b86a2a9ccda6c2d772a49be68cd","datavalue":{"value":{"entity-type":"item","numeric-id":2661348,"id":"Q2661348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$9E136FF4-E3B0-4FB1-8BB6-5CC8A57B3628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938f45300ee577556089b723db1a3a0198511173","datavalue":{"value":{"entity-type":"item","numeric-id":1686838,"id":"Q1686838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$6139F12B-7265-4FCF-BFED-DE795BC400AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134e740d2f93ffe16c38e583df0a2463a87f02f3","datavalue":{"value":{"entity-type":"item","numeric-id":5090501,"id":"Q5090501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$D1E75A08-92FF-47B3-9CAC-5373FBE54849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880145612697544da302b05887b6a2683688c5ee","datavalue":{"value":{"entity-type":"item","numeric-id":3192059,"id":"Q3192059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$3E77029B-F3B6-4909-AD37-DA6629DE5365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$06DD3222-53E0-407B-9711-B1C95DEB845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$FB69614A-B90F-49CF-A195-37416082E0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884b8665e793cc5a0462f976a58380dc237d4652","datavalue":{"value":{"entity-type":"item","numeric-id":5406224,"id":"Q5406224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$F770882C-4424-4EB7-A80D-62B146F8A01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$41194458-9A5B-4695-B4A3-475D624252FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$C8C926DB-4646-46C5-925C-93E0868F3D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072cffe5e562041fac3b3dc409ab53ead46167de","datavalue":{"value":{"entity-type":"item","numeric-id":4931562,"id":"Q4931562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875950$55507715-B966-4D92-8248-49278DD8B3DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MaxSAT Resolution and Subcube Sums","badges":[]}}}}}