{"entities":{"Q3624109":{"pageid":5654015,"ns":120,"title":"Item:Q3624109","lastrevid":50641457,"modified":"2026-01-14T16:07:31Z","type":"item","id":"Q3624109","labels":{"en":{"language":"en","value":"Minimaxsat: an efficient weighted Max-SAT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547911"}},"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":"Q3624109$A40A9CDB-D63B-452D-92B7-9BE3CB92DDB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69ee58523156cc8b461424ff20b8855395d94a9b","datavalue":{"value":"1183.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624109$71F639B5-9F52-4F2A-BE23-F5F776CE9058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d5029a19407694c0d46deb444f7fc5d33718a4","datavalue":{"value":{"entity-type":"item","numeric-id":2348539,"id":"Q2348539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$D2E72748-7DA9-45D1-9611-6DE16BB8BF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$51C2AC54-6C99-463A-9707-C36159400D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$D547B5FD-B782-49A9-B8A2-560DF113F455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624109$ADC93A45-EDDD-4AD3-B389-9AC2995973DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624109$9AEE05B6-D941-4692-BD60-CB00F947EB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ca48fce10ea7867f144a053b35afbdade46cb8f","datavalue":{"value":"5547911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624109$A8F66E2F-C179-453C-985B-34ABE52AE899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226083d394e381804654ada04bdf62d3d52a1994","datavalue":{"value":"hard clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624109$9B638334-10BD-44BA-A4A5-868860DA6972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3e2598d7bafa08b9a21c96e20d6a485002300f0","datavalue":{"value":"soft clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624109$6B7EF3D6-C46C-4A6D-B231-2690E8E684E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3f2ebac77954886d6e11431aeb633e822551aa","datavalue":{"value":"pseudo-boolean objective functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624109$EFDF6DAA-8086-4D91-9301-7D50362F8109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624109$AE6C69A9-39D6-466B-B604-DA5262A53673","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$54AE4E98-0538-41E1-BEB5-1202D7052109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"327d4a53b9450aa43441b555bcbd82aa43b41de7","datavalue":{"value":{"entity-type":"item","numeric-id":13494,"id":"Q13494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$06349362-2D30-4B77-9B03-F6A7DD3C571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"054bdc753160250e7a128ccbc7a9e886c58a34e4","datavalue":{"value":{"entity-type":"item","numeric-id":14538,"id":"Q14538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$89454240-58D5-466D-A669-F156E7CDA524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff2d5d5cda41d7572712528175edb4defca67610","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624109$BE1EF73C-803F-437E-B3E1-D6A11B79D116","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":"Q3624109$B618C37F-3699-4BB6-A778-E87344948605","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":"Q3624109$4E885598-8184-4877-BCEC-1A6C86DB13A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e063c21433991f140c0fd197a8d85d5d9c45afb8","datavalue":{"value":{"amount":"+0.8842577934265137","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":"Q3624109$D8E241A2-7B02-4AE7-888D-E500255DA94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3811e4e4167f8e1a36f42be366c196f7c894651","datavalue":{"value":{"amount":"+0.8706395030021667","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":"Q3624109$1690A819-616F-4C15-805A-A0FA4160CDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8454c04da8a2ba158e2b6641cd997f45578861","datavalue":{"value":{"amount":"+0.8511767983436584","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":"Q3624109$172B7FDC-04F6-4ABC-BCE3-D6B8A93B4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33250f260d9da800bf4da3a93eef7edbea6c93db","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e04948d379332be68231f7f3e62ddac5942ebd7","datavalue":{"value":{"amount":"+0.8483880758285522","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":"Q3624109$EF884704-46C2-4021-827F-2F5EF3A042A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba2ab3119bb58452c460bfdecd60db831e1c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1605b93ca1d0323fcbcb44fd979379ef38410f","datavalue":{"value":{"amount":"+0.8482789993286133","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":"Q3624109$108E7264-5A5F-4F90-A514-4086EB58AC67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3624109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3624109"}}}}}