{"entities":{"Q3604010":{"pageid":5633916,"ns":120,"title":"Item:Q3604010","lastrevid":50577740,"modified":"2026-01-14T11:11:56Z","type":"item","id":"Q3604010","labels":{"en":{"language":"en","value":"The first and second Max-SAT evaluations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510699"}},"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":"Q3604010$8F3FB9E8-239A-457D-8724-6F8AF5B8BA06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b07822a63d6641afbc3ed7d3e58f80edba1b4f8","datavalue":{"value":"1159.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604010$8329A15D-81F5-4A9F-8818-5EF1C7D03B9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"020b7b03434454bde83442c66980eba824126b86","datavalue":{"value":{"entity-type":"item","numeric-id":421448,"id":"Q421448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604010$435AAB1E-6419-4871-B214-9E1A2D75F76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604010$3B7BF922-2FF8-41BD-A923-1A4B8BD9E3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604010$F58D7328-0531-4E36-8E02-EC6AC229CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1386759083fa06706fff167aac6c7a385c25af60","datavalue":{"value":{"entity-type":"item","numeric-id":505971,"id":"Q505971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604010$C69E73A3-F7CE-47C8-9C07-A224D0CA2DA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3604010$D8281F9D-573F-4428-934C-521D03DC55AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604010$DC7312B1-9A48-4CE1-84C9-A753B50ACE6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca8e317abd6b563cc9d7622f1e6ec0a9b441f5c","datavalue":{"value":"5510699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604010$0A94555F-7029-4A73-8AD7-698A3736567B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81abc9c6216f1495fa41bd3e60eb0c6bd0df16","datavalue":{"value":"weighted Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604010$7DD8B0DC-150A-49FD-9800-FA30B5B02F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d1701ca76c9ced7404a333866ad31e5775d563f","datavalue":{"value":"weighted partial Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604010$DAFB23CB-87ED-4A81-A5F1-1FA33D39A365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c2e5027a62c7964406ffa7c5d9053cd10b460","datavalue":{"value":"empirical evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604010$4CF0ECC2-E7EA-4782-B024-734C2D6A4F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88028b42ecfd9f4ec087f91a1a60ad6fe6cd7961","datavalue":{"value":"solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604010$1009C52F-D3D8-40BF-8064-C6CB0D8DB257","rank":"normal"}],"P1463":[{"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":"Q3604010$2F2D628F-5989-4E7B-A356-B5039F60F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604010$9EF65A73-5F66-4854-BB2D-CEBEC0B9E74E","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":"Q3604010$1174BDD3-FBD3-47B5-90E3-D70249F0F188","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5793930af5c91d6b7e5590de229d76b9b49551b7","datavalue":{"value":{"entity-type":"item","numeric-id":3604009,"id":"Q3604009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cfc5ad96d4a3f95d23f6627e51ff29e5b0223b","datavalue":{"value":{"amount":"+0.8073216676712036","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":"Q3604010$5D725AA3-74B1-48F1-A6CA-D9FECD3AA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad40105f936cb5ef210541082116c6a560942455","datavalue":{"value":{"entity-type":"item","numeric-id":3429158,"id":"Q3429158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a37f8dbc9941c42c03c2d57b7b16ddcc2ec120","datavalue":{"value":{"amount":"+0.775904655456543","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":"Q3604010$3A736B8B-518F-4A27-9526-739E0AD087C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a33f977bf33eeab9e2b7dcbeaa58b3cd8de0609","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d8fcb67808281f90242374a76853f43683e536","datavalue":{"value":{"amount":"+0.7389086484909058","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":"Q3604010$BBF7E354-1BDF-4547-8791-DFF667B67AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2643e601498b0a07c3125e9fd426278846b0b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325882,"id":"Q5325882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c491f6e05ae2143b64f701d8286d405e59ff569c","datavalue":{"value":{"amount":"+0.7310542464256287","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":"Q3604010$A8A8167B-F095-4AB7-AF6E-662F8BD27EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126d4d871d06b17e7671c4bb12e3c63983c99e44","datavalue":{"value":{"entity-type":"item","numeric-id":5714765,"id":"Q5714765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf9cefaa1a28d02e1c2ea71dc6cd4e8fb2b5cec","datavalue":{"value":{"amount":"+0.7220715284347534","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":"Q3604010$6801D7B8-A33A-44A8-9936-848A62D9AF07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3604010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3604010"}}}}}