{"entities":{"Q3225865":{"pageid":3236573,"ns":120,"title":"Item:Q3225865","lastrevid":55898803,"modified":"2026-02-20T23:20:38Z","type":"item","id":"Q3225865","labels":{"en":{"language":"en","value":"New upper bounds for the problem of maximal satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6018357"}},"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":"Q3225865$4762939F-430E-409B-9C95-FAD7285FDF9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"961935733aa26c8befd6a5a123ef7f9b0ee6ebc7","datavalue":{"value":{"text":"New upper bounds for the problem of maximal satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3225865$4856229A-B108-4777-A799-FDE374B8BC80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eb61c08b42699ea5a497310b4849cdefa9ce4ed","datavalue":{"value":"1234.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225865$2AB70C9D-D449-4F74-BF16-379EC48DE74F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c7b095b483dec5775c176bb41d10efd5fe67b95","datavalue":{"value":"10.1515/DMA.2009.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225865$5A717589-23CC-4797-ACC5-952A1B9AFC67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3f29044676183072af2237af81ef1f0e2d73782","datavalue":{"value":{"entity-type":"item","numeric-id":3225864,"id":"Q3225864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$BDB87F20-EC4C-451C-8DA0-64261E46DC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$F5DD9440-2C1D-4F88-BE99-43B5C11BC8C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$58684C3A-6883-4978-B676-A526D37E6D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e25ea026da941bf2415d8e8a4c5b808379c44bc1","datavalue":{"value":{"time":"+2012-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3225865$D1B7F225-EDA1-4E06-A56C-AA7301DAFB17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225865$B44D870B-C379-4C79-AF9F-C838A9200447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67c0731532a3cdd1fb39ee43361c0115d339cff6","datavalue":{"value":"6018357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225865$29AD0A45-3270-41C8-9B91-202B6456ADA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bead99822eb062df0b3ae25c93314f696f175f29","datavalue":{"value":"MAX-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225865$70D4B117-988A-4A38-8B8A-5D0F34540B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e898a78c355268fe2b17cbf144df82d81b94778d","datavalue":{"value":"MAX-2-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225865$227B49A4-9F16-48D1-A915-97A20E53672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225865$1D4EDBBE-7A22-4116-A33A-578BC72E4549","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$71D989F7-46D3-43EF-A02B-F7A018FD9BC8","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":"Q3225865$DDB7F88F-E6A7-437A-ADC4-01927C2F4931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b96802a4bc595abfff91b293156ef6206f716","datavalue":{"value":{"entity-type":"item","numeric-id":5756576,"id":"Q5756576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$4BB28529-E35A-4736-B500-B3ADCB6CBFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd9dca378e2837fcc1caf4cfda7d5448dbdf8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$6325DE4D-75FE-472B-97F1-8298BCD99B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54532bff3725d39915a638916ada47e62eb5675","datavalue":{"value":{"entity-type":"item","numeric-id":3499776,"id":"Q3499776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$B5495DA0-B600-4D61-B648-8636E76758AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$5EB8C2C9-A1FF-4568-995D-8DBE3E3C0694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb905b79b8a8b710686969dae7565d6e29bf903f","datavalue":{"value":{"entity-type":"item","numeric-id":3777476,"id":"Q3777476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$BF297213-1365-456F-84B1-16B9D890D883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35e7e8088a1c75c0531cf5e343082d089b95179","datavalue":{"value":{"entity-type":"item","numeric-id":2427689,"id":"Q2427689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$07565761-0714-4930-BE9F-713FCCFEA2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6a72a62eb7ac00a65cb3378a54949f41ee0676","datavalue":{"value":{"entity-type":"item","numeric-id":2581276,"id":"Q2581276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225865$ACA179FD-F1B8-4080-BD67-AB3329CEB712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07111d9cc22a0e26ddb2b81de2cba916e05b2a5c","datavalue":{"value":"https://doi.org/10.1515/dma.2009.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3225865$AE9BB6A5-C15B-4075-840F-C176B6153724","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd453b5ecbccaf0da805ec8de1bfe952ceb6826f","datavalue":{"value":"W2022837198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225865$3E5CA2AB-D6A4-440D-A44D-1EAED61633ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"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":"Q3225865$A66438D9-C49C-4AE9-BE0C-98F106A981C0","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":"af22ff543844f1fa41f0fd5c8b095602e2cf6a91","datavalue":{"value":{"amount":"+0.96381575","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":"Q3225865$1FEBA787-0936-410A-8FF5-F85533D3BA4E","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":"88974b950a3c3be97bc8724ea82add5bc964a84b","datavalue":{"value":{"amount":"+0.9379208","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":"Q3225865$32281CA5-0F3C-488A-B546-02EAE7E32465","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":"dde70361712e58155040d6bbc1f930e53d114096","datavalue":{"value":{"amount":"+0.9278783","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":"Q3225865$CDFA4372-F8DD-4853-AD4F-5FCBA618F935","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":"ab23cc7092665efa44bdc5c2da4eccef27cc3ebf","datavalue":{"value":{"amount":"+0.9226077","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":"Q3225865$75ACEF52-1BE0-44A4-8F27-B813759926AD","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":"ab23cc7092665efa44bdc5c2da4eccef27cc3ebf","datavalue":{"value":{"amount":"+0.9226077","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":"Q3225865$5EF744A2-62E3-49D1-A45A-E829D5290AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364518d8413330694049cf3ab925de858aa2ab22","datavalue":{"value":{"entity-type":"item","numeric-id":2941085,"id":"Q2941085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd62970e17af809b0bc825bd387535d88c20e1c1","datavalue":{"value":{"amount":"+0.91922104","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":"Q3225865$85C9C8A4-EE28-4223-B254-6E620A40C30B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3225865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3225865"}}}}}