{"entities":{"Q515546":{"pageid":517313,"ns":120,"title":"Item:Q515546","lastrevid":62423835,"modified":"2026-04-11T05:59:40Z","type":"item","id":"Q515546","labels":{"en":{"language":"en","value":"Dealing with 4-variables by resolution: an improved MaxSAT algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695549"}},"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":"Q515546$5EC7B235-D716-4078-BB13-EBBF5F3C7BEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b20312a9703bea89d79d133da5d02c698317519b","datavalue":{"value":{"text":"Dealing with 4-variables by resolution: an improved MaxSAT algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515546$59D7D321-0A69-4DE0-A112-CDCD7FA62084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd24c8e1f03ab8c7f639956196e1a239552e0bde","datavalue":{"value":"1359.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515546$FA2B6116-A4DF-42F2-98FD-F8CB3BD3AC9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9143ec573d3f36ac5c9e76c1458b562264255b11","datavalue":{"value":{"entity-type":"item","numeric-id":279093,"id":"Q279093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$B189A10E-94A3-49E4-BEC8-649787BFE1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8a65950537ecd49151985eb84e20845944c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":328685,"id":"Q328685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$7C07C51F-094D-4BCD-B87D-7138D64FE019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d03752c29b41d1b87b62e2669413b34e8ba69f6","datavalue":{"value":{"entity-type":"item","numeric-id":1599636,"id":"Q1599636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$701281DD-48D4-4303-913D-3471CBE41434","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$A99DC567-494F-474B-81AD-C7006C883DFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515546$135CB09E-1D9A-4C9B-ADBB-97CB7B28549C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c95fc13f4f58d067a013fe1695c144740b9d8599","datavalue":{"value":"https://arxiv.org/abs/1503.02920","type":"string"},"datatype":"url"},"type":"statement","id":"Q515546$00B5B785-2811-4C29-BB2B-F5D96C67B98C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515546$1AF07E13-62F5-4B12-83C6-A391D61D0E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515546$ABE0C2C2-E2B5-4CC2-9BD2-2112F1DFA7A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f79f55361aa212d1f2a52a0de9cffab347b7fa28","datavalue":{"value":"6695549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515546$3FABBE8F-2D83-4D2C-BE64-FCA2A15C7BDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q515546$71E1DDBE-D102-4CBE-859B-B60D9662149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"439905524fc0b004f5fd79d6e137ce737123a25d","datavalue":{"value":"parameterized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q515546$B635E527-EF41-4948-AC00-735CA35BCE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc6164cf25ab131dbb818bbd16bab28b6f9d095","datavalue":{"value":"branch and bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q515546$0AACFDC1-8AA3-4CCD-9AA0-1C3803719180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q515546$98C14BC2-AC0D-43CB-9AC1-8FB7AB7F4965","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":"Q515546$04C601A1-3D9B-4CD7-A7F8-3D2BEBFA1C29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ee5ab837c71b497682076bc199adf6c04c9cb6e","datavalue":{"value":"W2585244063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515546$8EDD273D-84A3-4496-8EF1-E70980D812B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9913c3d6332b578d806d53613cd3aa7349227e1b","datavalue":{"value":{"entity-type":"item","numeric-id":5931443,"id":"Q5931443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$224B2C12-98F3-47B3-BE17-8311A997FE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cba9fbdc9039e838f889a936b0c489041fe1517","datavalue":{"value":{"entity-type":"item","numeric-id":2777611,"id":"Q2777611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$88C2C082-C8FF-4C89-976B-1318DB91BF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47614eb02f0bf4af90ccdbaabb6abfe86e3de0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$2F0B83D2-B9DF-445B-867D-D874A21721D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$4150F659-8B6E-436C-9D5D-5BDEA4F2F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7824bcc2c0cef48a59c7af5cea7e9a1a9ca3c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4899239,"id":"Q4899239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$D3A51D5B-A278-40FF-B24B-75F254F574E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c91f7565cf2db1f95e7eb525f27192b8c5f5d1","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$0201A72A-1BE4-45AE-B85A-62C9DCF0EA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530c44e692cd7fc61b1e312c0cbd39162c4add2e","datavalue":{"value":{"entity-type":"item","numeric-id":2775891,"id":"Q2775891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$ED8881EB-F009-45C0-B6DC-B3C35C84AAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$8827E5D0-54C3-4EB9-821A-D906B9F9C72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$EFF26F06-81DB-4A47-A3B8-B339BA9A9FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$73B25C50-9898-429A-97CD-DA910F9C894F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85859d4bf1a3e88a94a43f3e1ce8b0cfd1f2c77b","datavalue":{"value":{"entity-type":"item","numeric-id":3002852,"id":"Q3002852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$5FA150AB-6906-48B0-80AE-47A31F683717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$05D984E9-67BE-4BF3-82BA-75F8D59F79B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$19D0C91D-6112-4812-AB06-2C132146C778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a2fb6d6e604b7e9682fe686b930c6f89648aa","datavalue":{"value":{"entity-type":"item","numeric-id":4242660,"id":"Q4242660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$C7744A75-B4DC-423C-B25A-C800D1379DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671a4409a2433a335f15aa4e2d3714ed06fd49d4","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$CBE2BF15-4E50-4EA2-B526-FA70A2EBB052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a552c9d03d5d57f457ef431ebe1ddb6a99a18fc3","datavalue":{"value":{"entity-type":"item","numeric-id":5710689,"id":"Q5710689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$97BD9E3D-33C6-4358-9DF0-2E88F16E678E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178c8da8f73d331add655abe5dc0631001939cb3","datavalue":{"value":{"entity-type":"item","numeric-id":411862,"id":"Q411862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$91BE4556-7230-4A45-9193-32EB6F666129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3194984f10d1bd6b3034671e1f13a64006941dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$13CEF1D6-AB9F-470B-B5CD-552B7B2D36BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515546$D0F0B1C6-D7EC-4C89-806B-53C874169288","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f01d009994ba90a7204e784433ac110df71c831","datavalue":{"value":"10.1016/J.TCS.2017.01.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515546$217C429D-A26C-463C-8F0A-71E3708760AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19b8159abe7ef91c6cc9d24c864f7e5285e801e","datavalue":{"value":{"entity-type":"item","numeric-id":3449815,"id":"Q3449815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a8ce8168258287dd0ca21a69c6b32a7a13447b","datavalue":{"value":{"amount":"+0.9891183972358704","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":"Q515546$D3F29F71-5E30-4892-9749-1FBF12587F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66486b965ac69bed492925a66fac51a89ff79f0","datavalue":{"value":{"entity-type":"item","numeric-id":2424882,"id":"Q2424882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d57f8c8c32ccba103a81db991950210f4ebc2c9","datavalue":{"value":{"amount":"+0.8520579934120178","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":"Q515546$CB36627C-0915-41FC-9F1B-0738CDE920DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7991ccd70fff5ec8974bab9315f86ff20f0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":3467831,"id":"Q3467831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5250973f2a877b2f8a966bab9fe1200fbd4b46db","datavalue":{"value":{"amount":"+0.8516605496406555","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":"Q515546$612DB1ED-18B6-4DFC-9018-F6C69956BC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bb7fb10cdeaea91205d16793218a33d7da0105","datavalue":{"value":{"amount":"+0.7945202589035034","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":"Q515546$332E3698-DC9F-4C14-AA5C-F8C3796D1ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c4d9aeac577b6db1e97142d4a63a950bce9218","datavalue":{"value":{"amount":"+0.7787153124809265","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":"Q515546$916C25CC-9994-46B5-8AD5-01C40ABFAADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dealing with 4-variables by resolution: an improved MaxSAT algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dealing_with_4-variables_by_resolution:_an_improved_MaxSAT_algorithm"}}}}}