{"entities":{"Q4500858":{"pageid":6530451,"ns":120,"title":"Item:Q4500858","lastrevid":55898794,"modified":"2026-02-20T23:20:33Z","type":"item","id":"Q4500858","labels":{"en":{"language":"en","value":"New Upper Bounds for Maximum Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1496877"}},"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":"Q4500858$9A6F24AA-4E10-4192-A6C2-8D65D032B0A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a9fd22cf3a243188a48ab873b4bdadc34090f88","datavalue":{"value":{"text":"New Upper Bounds for Maximum Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4500858$288B2527-E35B-4F7D-A71B-E917DFE262FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c1c318d25ea9b40c66415d5533aa4e2ec0ef869","datavalue":{"value":"0959.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500858$A777A3C7-BB7E-4F66-A72D-1855CAB7DCF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae9ae3d803b6f9d7df2d14c483ee95b047535f8","datavalue":{"value":{"entity-type":"item","numeric-id":175575,"id":"Q175575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500858$8F4B30A2-CC88-48BD-9691-92064F982DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b649ac41c270dccb8d2c710d97ea2a08b9b1f33a","datavalue":{"value":{"entity-type":"item","numeric-id":340580,"id":"Q340580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500858$67439BC8-2DE8-4E0C-B751-AE97AAE0C38A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500858$D99DEA0F-D2C3-4951-87BF-3F6F46612449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f187196cbeaa531cb0a93ba8ad652d4ca6a1fb33","datavalue":{"value":{"time":"+2001-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4500858$A4090374-980C-4FEE-B3EE-4ED80FBC6252","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4abc59066108abd3ae9ada1dc0200ebdc780947d","datavalue":{"value":"https://semanticscholar.org/paper/385c20806ee166f3ba62205793c13b6e28f5b3f2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4500858$653F3470-07E5-4016-A97F-1EF37FCC6F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500858$11D83AA4-EE2A-4AAF-A310-327EC89A1245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500858$E3F746D0-AF93-4143-BC0A-C9128274D7A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fa51faaaff46c45154d5c43df5bf99348aac5a2","datavalue":{"value":"1496877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500858$ADCD9D2C-659C-402A-AC98-E88BDDCF3522","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec272a6895f1d9efbde6f9c4fc0d133355fbf00","datavalue":{"value":"maximum satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500858$D0C928CE-A067-4CA6-9695-A3E34459D10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dedb672c53a8471c7c0fbaf6554b559fd5f1b7b0","datavalue":{"value":"MAXSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500858$6EA20119-42EF-42FF-9C45-C3B9D9571FD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e07ac258d59c8e1ba77c20daae1bd8c4b666c30","datavalue":{"value":{"entity-type":"item","numeric-id":15887,"id":"Q15887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500858$9BA3A590-AF01-4143-B2B0-510F85AAE0EC","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":"Q4500858$9906C354-2295-49CF-9880-ECF83EF5548F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363ff4b4af41dd02002bf768feef3db0517ac6f7","datavalue":{"value":"W2154474334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500858$318FE183-1199-4409-9888-2D45993D4524","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a9e2a14233d72fca1faf336493974618009f5bd","datavalue":{"value":"10.1006/JAGM.2000.1075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500858$8F535BF9-F29D-4461-83E8-A8C40F5E20EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5996d46a69aea0faebcd39d52ae3795adae448","datavalue":{"value":{"entity-type":"item","numeric-id":3225865,"id":"Q3225865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02527c3029fb56db4b9a447cbe0d74e474f2c5ce","datavalue":{"value":{"amount":"+0.9928964","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":"Q4500858$A08B900B-A77C-4CFC-BC8A-66CA2C22BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d117cc0e5847f3353c25b42295fbb040d2cd09b","datavalue":{"value":{"entity-type":"item","numeric-id":4938646,"id":"Q4938646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04a511df8f5ac3202c2d05e981a2fb0041a2dbb","datavalue":{"value":{"amount":"+0.97202843","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":"Q4500858$03646C0A-3557-4716-876B-6033CE1B61E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f954ba7254e6add514d62ba2c058b2bcb5ee61","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b9f1a55cd006f91059c7c8439e5c065022ec13","datavalue":{"value":{"amount":"+0.94548965","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":"Q4500858$DC3F5F81-1C61-404E-8097-467693FCBEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ad0e252c44ac2e66afd93d4f676561c0cc09b3","datavalue":{"value":{"entity-type":"item","numeric-id":5958807,"id":"Q5958807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842deb7c4ebdf61c5dd286d9d3f4e69f1ce63ddf","datavalue":{"value":{"amount":"+0.9339853","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":"Q4500858$0B675305-0585-48FB-B41B-3D6E94B1FDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da09072ba16986a4daf17cdd80049c123546b75","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3312a9231eebfcf1128c43e2c476de18a1d8f06","datavalue":{"value":{"amount":"+0.9277581","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":"Q4500858$EA238060-BB48-4936-A233-2836B3063CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d4b832dcced774bee8e907a04090e6f44ff42","datavalue":{"value":{"entity-type":"item","numeric-id":2749858,"id":"Q2749858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1165de053bfaa3f09e4985c5d9210ac85d9a5a44","datavalue":{"value":{"amount":"+0.92775804","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":"Q4500858$268CCF67-FCC5-4BBB-93EE-8CF7EB218068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77570455ac3c31bca24025c62ea37cb517c063bb","datavalue":{"value":{"entity-type":"item","numeric-id":3599157,"id":"Q3599157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777e00f3704eddd6dc211a91ef101d96d0b98572","datavalue":{"value":{"amount":"+0.92706937","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":"Q4500858$20FEC030-3E9F-4096-8C9D-BAED934CDC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27857379913b459266a370a37d4f3c45322e9093","datavalue":{"value":{"entity-type":"item","numeric-id":616992,"id":"Q616992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777e00f3704eddd6dc211a91ef101d96d0b98572","datavalue":{"value":{"amount":"+0.92706937","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":"Q4500858$75360F4A-22A1-45D8-81F2-9FB44A22B29A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4500858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4500858"}}}}}