{"entities":{"Q5326459":{"pageid":7356033,"ns":120,"title":"Item:Q5326459","lastrevid":51791489,"modified":"2026-01-20T01:39:30Z","type":"item","id":"Q5326459","labels":{"en":{"language":"en","value":"A modular approach to MaxSAT modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195193"}},"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":"Q5326459$E9208FB4-5F20-4FE1-AD16-E74E84C1CF52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56f799865fd9765a8be9b2da144c19bb2e579312","datavalue":{"value":{"text":"A Modular Approach to MaxSAT Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326459$2865729B-C652-414C-BA77-799D10829EA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"014c43480beb91b32b5c2964e0bdcf222983af00","datavalue":{"value":"1390.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326459$EDB8549B-8382-46AA-B6C3-078436A43513","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a62f6a6a9bf8bc1a3ab697e943b238d42afe9b26","datavalue":{"value":"10.1007/978-3-642-39071-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326459$0139B4F2-5C2B-49D2-AD7A-945EEE285F78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$E7283957-3D7D-4855-9DEE-4A5C2724379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$319F162C-4B7B-4FE0-AABB-6C4DFDF134E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4141b28a9da6f93e8ddbe35f4d6e06c48ff0a627","datavalue":{"value":{"entity-type":"item","numeric-id":5326317,"id":"Q5326317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$78B4C6A9-4409-47C7-8CDA-3099490C2DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$0DFBA104-1CC2-4939-8170-92550EAC3A13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$2238C34B-5164-461D-80EA-95A1AA879825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326459$CD19B07D-2ACC-4765-9E48-3BB32FC92483","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326459$F9510931-FD6A-44E5-9C5A-034CFAFF9411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de0018e852346b4027ccd80f052809a6c7fe9d8","datavalue":{"value":"6195193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326459$FD724C6E-5738-4C0E-848A-A67F56DC6D2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2945b3d36ec67e722c819b684cb1079f36c2efb3","datavalue":{"value":"Q62041163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326459$77DD6C6F-BB43-495B-A064-579AD667837D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$15DA27AC-59D4-456B-9B0D-2888B7C640CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326459$9F6B4326-FB58-47DA-B796-F8C0ABF01A08","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":"Q5326459$2B00DEF4-F960-4CE7-A79B-FE347F26BDF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d60a04c0f2d4d2f662ef2f8f22e1bcaaeb01773f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326459$4F7EAEFC-3687-4417-8C99-D176F216869A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7edd8d7b1309998f4d44563d49fb295921e6946","datavalue":{"value":"W89830494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326459$29C18C63-0201-4A2F-9AA5-CA0B22B5F923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9106f5e86e101ad9763bfa8efced152930103c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7d8910b3e9b7c7cf9059c104b3fbd4c3f5a1e0","datavalue":{"value":{"amount":"+0.7974162697792053","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":"Q5326459$4FA86146-9A3F-47D0-8CAA-7734C0DD4C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f02898ffbf29782a3effcd6f3dc7beb9372411","datavalue":{"value":{"amount":"+0.7927982807159424","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":"Q5326459$A8CC1724-257B-469F-BAEF-20D09F4E42B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bbf874af4baf25a0b1e7541c8a19132254b45a","datavalue":{"value":{"entity-type":"item","numeric-id":2848055,"id":"Q2848055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848dda248d326c4e074eb2874a0a19846c711abe","datavalue":{"value":{"amount":"+0.7922347784042358","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":"Q5326459$972DBC98-1987-495D-9D9A-790D7F08802E","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":"36d8dec84973c8bef05131bf9fb8cfd23d69974f","datavalue":{"value":{"amount":"+0.786549985408783","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":"Q5326459$68519960-5CDD-449B-A2CA-ED9EA026EC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3984ad3ffdfd65761978a1de0f25c539320ac5a8","datavalue":{"value":{"amount":"+0.7781615257263184","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":"Q5326459$612093FD-DEE6-4913-97F1-73F5DDF95830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326459"}}}}}