{"entities":{"Q2786911":{"pageid":2797649,"ns":120,"title":"Item:Q2786911","lastrevid":52463204,"modified":"2026-01-22T17:19:56Z","type":"item","id":"Q2786911","labels":{"en":{"language":"en","value":"QMaxSAT: A partial Max-SAT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6544919"}},"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":"Q2786911$127B5277-3F60-4240-B8FC-452BD29886E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b40d90f9d07d65f40e13e28996874f6cb8caf6c9","datavalue":{"value":"1331.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786911$BEF2E3A1-C10C-4B90-AA07-D36466C49D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f429de4bb61af0cec7dd689742f7976bba897976","datavalue":{"value":{"time":"+2016-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786911$0EFA1919-6978-48EE-BDE1-6F7B3BB3C218","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786911$C7955D4D-647A-4D0D-9C0D-647DF694B1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786911$3A911D5B-1A4E-4EDB-B746-303C4931794F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af9b9f946c63df08c000dbdd2d22392f0cf807b8","datavalue":{"value":"6544919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786911$7CDD53B6-9F86-472B-8C8A-1F359E992F26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af2eef907053e286c75c52446d2016c7dd887b2","datavalue":{"value":"partial Max-SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786911$975B2D8B-F621-4292-B154-8CF7CF86BDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66450e2485ec69aa212a2766f89693c730b6a35c","datavalue":{"value":"Boolean cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786911$8B3649C8-2F3A-4ABF-9D54-E0E6DD86BBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7475f349eed769c30553477f98afe9162ecae52","datavalue":{"value":"CDCL solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786911$CB0C73BA-DA4E-4996-BB51-4896268C8E02","rank":"normal"}],"P1463":[{"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":"Q2786911$52C2955B-E6BF-47A0-96D3-98E6E7EC647A","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":"Q2786911$393176A2-9FD2-4355-B3C4-13494E88C99C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b534986868bdf4ef4ad873a4784197d22824176","datavalue":{"value":{"entity-type":"item","numeric-id":2009183,"id":"Q2009183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786911$65FEC7F4-7897-44D1-9517-323996CA5E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f847c54065beaa822b98537d265a10bc41f7e783","datavalue":{"value":{"entity-type":"item","numeric-id":841398,"id":"Q841398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786911$6F33DA6C-75AD-4799-B8DE-DE96CE688241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5607f46eb5324f89d8079b77c8c7c5f3472faeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2009184,"id":"Q2009184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786911$567C16D7-37EC-4FC9-A4A5-2C3CA45FF93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0312a78e7027ddb6fbd6f4dc8389e9f76e9f623","datavalue":{"value":{"entity-type":"item","numeric-id":1077927,"id":"Q1077927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786911$56DE7332-5847-46B0-99E3-6F415A2F0D58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e101c4ea39d87353e36b0e0cabe45e5345d2ac1","datavalue":{"value":{"text":"QMaxSAT: A partial Max-SAT solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786911$E058D213-8FE5-4F99-9246-9936AE38A9FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b42cd1190c17abf3583de3251015c8863d46fb20","datavalue":{"value":{"entity-type":"item","numeric-id":6618904,"id":"Q6618904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786911$E738CD58-9C07-4638-88B2-1D7752F1BDB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e806b67f85600bb4fcb050af553bbbd449983369","datavalue":{"value":{"entity-type":"item","numeric-id":3457805,"id":"Q3457805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fd906ba302be26286438787e4960e0f50c7e67","datavalue":{"value":{"amount":"+0.8344190120697021","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":"Q2786911$053CAAC0-B29E-408D-B259-5C995E508750","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":"ad002127f443dde7164f47ac2ac69723b239cb93","datavalue":{"value":{"amount":"+0.8024747967720032","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":"Q2786911$5F8DA482-B018-42DA-96A3-76FB614AEB17","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":"b092fad6283e028029bf9d0c548ab7e6c9e3f55c","datavalue":{"value":{"amount":"+0.7980490326881409","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":"Q2786911$1257168B-2E24-4CCB-9EAC-E818320C772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd8d74823daa27b3040ccf96b1ec4eb1aea35f7","datavalue":{"value":{"entity-type":"item","numeric-id":3637165,"id":"Q3637165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b219815428c006f463d818b40157280854b29a6","datavalue":{"value":{"amount":"+0.793592095375061","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":"Q2786911$3F42D036-9079-4081-8995-C8892E34750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd7fa545b72419781ceb4cb8ad39d7522fde786","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8aa0377044223761949202600c2306d777ccc6","datavalue":{"value":{"amount":"+0.7934542298316956","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":"Q2786911$E36989F7-51E4-4F5D-8790-F40B9C8BF1BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786911"}}}}}