{"entities":{"Q3502710":{"pageid":5532613,"ns":120,"title":"Item:Q3502710","lastrevid":87276872,"modified":"2026-06-04T11:16:47Z","type":"item","id":"Q3502710","labels":{"en":{"language":"en","value":"Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279250"}},"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":"Q3502710$6A709FC0-A744-4A8B-B0EA-19FCD966AE7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11ffbee81a83fe2d059f092c84f0482d4936ebed","datavalue":{"value":{"text":"Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502710$8B174192-C21B-4010-9F0E-CC8B64496F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a0ba63c0b34497a088e89b10f6fee2ee74bbe1","datavalue":{"value":"1138.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502710$212A4DF8-5F68-4A00-8882-B9F195D800CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cabb696ebf7f6906fc6558af87e33c9bd7e7382a","datavalue":{"value":"10.1007/978-3-540-79719-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502710$732C683C-504C-4A41-8E3D-3903BC524BE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$238B7539-DDF8-4BF7-AF0C-28D90303B71E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502710$ADDF5707-F6FC-4442-A6D6-00ED68B39CD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fe760cd5a4edf94ec151a55ee80c9c63fdfb4f2","datavalue":{"value":"https://eprints.soton.ac.uk/265228/1/jpms-sat08a.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502710$7DFE0B77-B1B2-4D70-B8EF-38598F82D2F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502710$C626FC80-23FC-469E-A553-0AC6E8EEB879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed64901b298e017ca6d50e5b62c0e293f6c0e1bb","datavalue":{"value":"5279250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502710$AEDFFFD8-CCAA-4F7D-9EBF-28FFF664CAC3","rank":"normal"}],"P16":[{"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":"Q3502710$1AC7DABC-B7DF-416F-BB55-A20518F5360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a728a400be38b20d56d906a115846d8ae94fc384","datavalue":{"value":{"entity-type":"item","numeric-id":1430294,"id":"Q1430294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$01EBA9F5-B313-41C9-8BE5-C24E9CCC1E59","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":"Q3502710$17CA2062-ADF6-40C0-9193-A12CF2FE3C74","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":"Q3502710$5FFE723F-A4DC-4B28-A640-5A93CBF574F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36ddeb3710b5a3b175263c2f377110b7717c4f80","datavalue":{"value":"W1559357575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502710$B4BAAA97-2B80-4DDD-93EF-50A2B861AD04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$5577A20D-20A8-4B8C-8EEA-85C2F2897CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$55D58931-BCF4-4194-A624-449B3ED0DE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$91C9A5F9-2435-4C07-8C13-45C357418C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca3a432c939c1be42016652ba4f0a805ab2d26c","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$87BDD04B-251E-4CB7-99F0-169FEF12D85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a8d987551eab7ec18164c57255bdefb0c42a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5435834,"id":"Q5435834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$EA4D865F-F0D7-4640-956B-E6848993A38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1fccc99698c14d7e57ebaa0e58c68bcce15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3429158,"id":"Q3429158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$130148E8-EBCD-4EB8-A602-3B0847B2E5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9a72bd5b8ad0eb5b073c23f386e953fd3da941","datavalue":{"value":{"entity-type":"item","numeric-id":3612460,"id":"Q3612460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502710$AB7D8DCA-87B9-4D59-A444-4B95DFF3ED9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f468461b016f4b6f6bc315aa82eb00230b2b90a","datavalue":{"value":{"entity-type":"item","numeric-id":5326461,"id":"Q5326461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6086d9090e5d47eb33319619d88e2c320baf6aee","datavalue":{"value":{"amount":"+0.8104230165481567","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":"Q3502710$BF85CDE5-11C6-4A09-A90D-E156363F87A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b41f2ac86a731202047bd4ff362dd9bcd77637","datavalue":{"value":{"entity-type":"item","numeric-id":525063,"id":"Q525063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52af8f5c5f30944a7714823c4bf68a144f9e59b7","datavalue":{"value":{"amount":"+0.8037329912185669","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":"Q3502710$333E4812-9DB8-4B8B-9D2F-F47A4809D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4601125705a4d0f52b78cb9ee4c303f22e04b582","datavalue":{"value":{"entity-type":"item","numeric-id":5015594,"id":"Q5015594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7aa70cf10dbc0ffcedac8a2cc2972b04326156b","datavalue":{"value":{"amount":"+0.7946121096611023","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":"Q3502710$A4B53B66-82C8-45E7-B20C-0B000618FC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fab5ee2f1056f67c7cca1c78cd3b32f4dddc39","datavalue":{"value":{"entity-type":"item","numeric-id":3453232,"id":"Q3453232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09110a75b328cb4438e774252074ce78d762f7b2","datavalue":{"value":{"amount":"+0.7904180288314819","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":"Q3502710$D1B4A87E-2FE0-475F-B9D5-0521BD8B0311","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":"7662a0b2bab4f3f39ad28da2a928e8b8a92edb93","datavalue":{"value":{"amount":"+0.7806746363639832","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":"Q3502710$46F7211C-D176-4F33-9B18-49D0A95AB734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms","badges":[]}}}}}