{"entities":{"Q2870118":{"pageid":2880838,"ns":120,"title":"Item:Q2870118","lastrevid":58046691,"modified":"2026-04-03T14:27:07Z","type":"item","id":"Q2870118","labels":{"en":{"language":"en","value":"SAT-based preprocessing for MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247429"}},"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":"Q2870118$7C48FBD4-6B69-4970-B65E-9F8FBA3B208D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28a59e310c6f9d33e81b768fd4a25ec18d4b62ca","datavalue":{"value":{"text":"SAT-Based Preprocessing for MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870118$35E56E69-C8D6-43F8-BB5C-74AC11E92150","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3cba7df9e5aad425b0ebab5d3c03394517b6dde","datavalue":{"value":"1406.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870118$62188933-B06B-48B3-B9CD-2E371666429C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8b78210d3aef6fdd7cc1a854a78caa223c43802","datavalue":{"value":"10.1007/978-3-642-45221-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870118$C983B0D2-A610-4B60-99FA-681830EAA268","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323b5428bd25b1bf57218d22ff06d9e5b29f1d38","datavalue":{"value":{"entity-type":"item","numeric-id":460637,"id":"Q460637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$C0D6B6D5-A514-44CB-BB04-C9A63D6367E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$D478537C-DC3F-4874-AB94-EBE5B69733B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$72A904CD-4E76-4325-AA0F-531296A8AA8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$0D1C98C4-4C50-4455-A98E-57CA5D594F0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870118$378DA6FA-AB36-4408-91DF-240241C34CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09bd860b3c53b9c1067e3dd6462a190c911cc578","datavalue":{"value":"https://arxiv.org/abs/1310.2298","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870118$7D47CE42-5DCF-4110-9F3A-A64B34E3273B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870118$9B48837B-FCCA-40C2-8FA6-EF29DA785421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c7db3c31a3540b38c689ba7277937c4d5ffee4f","datavalue":{"value":"6247429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870118$12C95A27-5B3C-4885-9C25-C5A4FBC68BDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$40E17125-3EC3-4EE9-BAEA-E47528CA2BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$191E92A4-3868-4E8F-878F-B5E9A0FB64C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71a80c8d86a299205c3fb7c2d9469eb3eb7657d4","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870118$E8A6E8F6-8CDB-4D85-AF46-A3AE364EB34F","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":"Q2870118$A8F9C2F7-2625-4A07-A4D0-244345A0C554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebf6cc8764bda1025ffcbba3ef7a85b457c0784c","datavalue":{"value":"W40823289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870118$8B96E4DB-29FD-4D23-B06B-A19776DE8132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24ac00bd5f3eb86c49d70cbbc09fcc92919b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502688,"id":"Q3502688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d47a851a558380af7e97c20f0141432140203a","datavalue":{"value":{"amount":"+0.853577196598053","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":"Q2870118$423174A7-3A87-4596-B292-F2CB305D2A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6fe14a39d01d62c39ca3389ae5ae2c9ea14eec","datavalue":{"value":{"entity-type":"item","numeric-id":4576195,"id":"Q4576195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18993425ceb09b192e065587f938535324e8c36e","datavalue":{"value":{"amount":"+0.8435167670249939","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":"Q2870118$D0DA09A9-CC53-48BF-8370-624CFA44EAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21b66a846c072f388056414a8ad63791db4da6c","datavalue":{"value":{"amount":"+0.8231712579727173","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":"Q2870118$838DB9EF-57BB-451E-8AD4-5DEF2D6614E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2855ee0111bb61faf4576f7a80df70075657985e","datavalue":{"value":{"entity-type":"item","numeric-id":2234104,"id":"Q2234104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389020eaa1f54c21566114781164efda4a39b269","datavalue":{"value":{"amount":"+0.8184419870376587","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":"Q2870118$A2B23428-F000-4853-8F58-4FBB336A7991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1f63b928faa2a3069ebe2e3a8ba479fbb41189","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43c4aecf13672516d7e2165eb50456d738a84c9","datavalue":{"value":{"amount":"+0.8051146864891052","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":"Q2870118$20523E0E-8F26-49D3-BA15-C71492EDB17F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870118"}}}}}