{"entities":{"Q3453232":{"pageid":5232632,"ns":120,"title":"Item:Q3453232","lastrevid":58181490,"modified":"2026-04-04T03:27:57Z","type":"item","id":"Q3453232","labels":{"en":{"language":"en","value":"Exploiting resolution-based representations for MaxSAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512579"}},"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":"Q3453232$D65CD22E-528B-4361-A85B-4605A02BD32C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af5b822961e39f73b2a6203104e4a92fe7345c87","datavalue":{"value":{"text":"Exploiting Resolution-Based Representations for MaxSAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453232$CE9B91CB-DE91-40F5-B84E-4EC610143688","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bea17bfece6a04cf95aac2e51ea6658c8d5eee53","datavalue":{"value":"1471.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453232$0A181706-7219-41C0-BAEF-8D47F329247D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a42050c804b708f19556f0d1cd227ed04d46fe52","datavalue":{"value":"10.1007/978-3-319-24318-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453232$A964C893-DEF9-4296-ABFA-D666F6DC5BD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5289775e49b399f228a5fe8474df6c14924c736a","datavalue":{"value":{"entity-type":"item","numeric-id":3453231,"id":"Q3453231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$59661E40-A11B-41B0-9C54-34CDA31B8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e35c1612b99def540c2af974a24bae384b973e6","datavalue":{"value":{"entity-type":"item","numeric-id":487633,"id":"Q487633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$4A2A2929-FDCB-4A45-AADD-6A82847A1545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$DDB366C8-5FED-4A25-8FE5-B42648757B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$F6876ADC-3E53-45CF-982D-9EE826E166C6","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":"Q3453232$1A081748-3045-4168-AB0F-6BF9282AA0CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$A6C2F109-6776-45FA-B908-79AD1236E761","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453232$B763E884-41D7-44B7-8F9C-3A6D73AEEBD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c48845ecfa423d50a9d6ce91039eaec5c4a16c78","datavalue":{"value":"https://arxiv.org/abs/1505.02405","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453232$B31B6AAE-E53B-4963-9D42-193FB310AAF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453232$485B109A-FAC6-4358-9672-156AAAECCE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453232$EFFBED00-456C-4F2F-9BBD-FB46F3DD620D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6efe6889a3e298d54e3574c6a5a1d68024c88d3","datavalue":{"value":"6512579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453232$C80BF5EE-4069-4C29-BB4F-146BDFB37508","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$70607DE7-52F1-46F0-96DB-69687BCEB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6fc33202d024597ac45755407e0288c38ed39e4","datavalue":{"value":{"entity-type":"item","numeric-id":22015,"id":"Q22015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$1D52A8BB-AAA0-4167-A761-544B68F9F89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4080854e6c3efd73caa0f3157d5ed5b72457336","datavalue":{"value":{"entity-type":"item","numeric-id":21549,"id":"Q21549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$7C85400C-BED5-4C4B-B15D-61846843E77F","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":"Q3453232$0FDFD410-2743-4A68-8DF8-BBD44D7150D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"748f8185ea5159642448720a46747697ec404a05","datavalue":{"value":"W2210398979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453232$C762CDB5-C623-4245-9E22-FAF59340451F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4967f109372099be77d5d3444f35cb57a000bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$F136FFB3-E055-4001-83CA-9023C6BFD286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31034d3cfe4350320b40aef6c74f7389b81ed6a3","datavalue":{"value":{"entity-type":"item","numeric-id":475170,"id":"Q475170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$D6E37A7B-65D7-45A2-BC8D-7BB499773F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$F0B1AACA-1EE9-47AE-B860-7B84874D315A","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":"Q3453232$88078CA0-097F-4738-9AA4-7CAA08C9A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489ae184126b14496f8db90426e5f33c6171fc6b","datavalue":{"value":{"entity-type":"item","numeric-id":4547718,"id":"Q4547718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$DCDACE93-F596-4FD3-87BF-F576D42885DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d55e35b69ae0e11cce11be9096bb9fe1235899","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$29E80CF0-F3E4-4945-BEA2-70FEABF84B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fcb47205f7355f04704ca0aae0d1eced512c927","datavalue":{"value":{"entity-type":"item","numeric-id":5283008,"id":"Q5283008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$9243E239-F4D0-4F73-810E-9909910148B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d12daf634076f57033ce6bd48e225399436588","datavalue":{"value":{"entity-type":"item","numeric-id":2786910,"id":"Q2786910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$FE2BCEDC-0DC3-4F18-9348-410CC663030A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$461178CA-3AF7-4C7F-8504-1F6256711C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed4ece76f4ab904d4327d98033c70a14ec294ba","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$26B4AF65-50D9-4E12-8886-6C231DF2AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3508621c44cb1e31d1449d9069f4f0e7ae434","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$F2589AD3-E923-4F19-A1B7-80A02DA3C8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$AC616C80-248F-4416-9DF6-589B6D78AE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce9b03416f80b2adc8c6048219abb7b06833646","datavalue":{"value":{"entity-type":"item","numeric-id":5326461,"id":"Q5326461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$17D3FB5F-8FB0-4B13-9738-327A80C11ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$FE2A5549-F6B8-4682-881D-B718F566B1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a6b652a56cc97a0cfb61529d9b614d8a0988c8","datavalue":{"value":{"entity-type":"item","numeric-id":3169452,"id":"Q3169452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$0E84CEE1-29F8-46DA-AAB7-48789BDCA7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd37d50d5d2880c1b79306c2f454035a01b03d1e","datavalue":{"value":{"entity-type":"item","numeric-id":2543000,"id":"Q2543000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453232$BF47C4DC-A0A3-4532-9625-32F7965EC12B","rank":"normal"}],"P1643":[{"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":"b04287f3c0afcf9d10534b8da91898fe28008811","datavalue":{"value":{"amount":"+0.8396270871162415","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":"Q3453232$BF1C7099-8014-482A-8ED4-EE081A4CFD63","rank":"normal"},{"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":"a2b053b0e840d578591c45be1555f28277259879","datavalue":{"value":{"amount":"+0.8379855155944824","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":"Q3453232$B04743BF-248B-4B19-993A-6DF48DE4820D","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":"b5c44e079ef0c10ef10bbb9d44c4545cb8c4e073","datavalue":{"value":{"amount":"+0.8208737373352051","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":"Q3453232$C8BCDD5D-DF18-48D7-9192-CB7490A329D2","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":"71e2516a38aeed42493b0e6e66de26addad37827","datavalue":{"value":{"amount":"+0.8003433346748352","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":"Q3453232$E5B5924F-F70F-4B9A-B2F5-0E15210FD9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0cd430ca59a93f22b307b525b1ef9891eb82a","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"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":"Q3453232$94E7C4E3-D5B1-480F-9AE3-422A87948779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453232"}}}}}