{"entities":{"Q2828249":{"pageid":2838987,"ns":120,"title":"Item:Q2828249","lastrevid":83655818,"modified":"2026-05-07T09:44:38Z","type":"item","id":"Q2828249","labels":{"en":{"language":"en","value":"Query-guided maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642946"}},"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":"Q2828249$42B0409F-C5C6-49A3-86DC-3EAE2406EB71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d71aeb4d642fb56150a64f9a8bff198dde2202f5","datavalue":{"value":{"text":"Query-guided maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828249$CA25B107-027B-4FA6-B5D5-078D12CC8D65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a87bbf96b0e6595a6a3e906a8c76134a8fc88c95","datavalue":{"value":"1347.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$7D920302-F60B-489D-A5A2-40BA1C21383C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fffec116a5b4b77bd5833c2225d993863f1397ad","datavalue":{"value":"10.1145/2837614.2837658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$90ABF22E-02B6-4FE4-ADDA-B21111AAE7E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79a46f1159ff943e51238aba52d294bd7fc649","datavalue":{"value":{"entity-type":"item","numeric-id":2233538,"id":"Q2233538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828249$BE2C01D1-CF76-4E2D-91C9-2060637ADC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"404c35f5e22cfb67984e81e72f05be65541ec9cd","datavalue":{"value":{"entity-type":"item","numeric-id":765511,"id":"Q765511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828249$AB11F8F3-F6B1-4989-A905-E128042EE197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0cbdb982e68877c7866a261809ea46914b284b5","datavalue":{"value":{"entity-type":"item","numeric-id":2151234,"id":"Q2151234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828249$716C1B6C-3F1D-4EA8-9D09-094086FBA74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ab9d334870e7048af7cbc9d9aaf857cacfdc812","datavalue":{"value":{"entity-type":"item","numeric-id":6772192,"id":"Q6772192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828249$6B49B1FE-9815-47C5-99B0-E1FBD7BC636C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828249$CD891297-9E7B-4852-9D1F-A62AF10E1BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828249$C247E21F-59CB-45B5-A9CA-8C888AB10010","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$91D9D037-D643-4179-AA88-97300EFD6199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$FE91E432-90C0-449D-BEEC-A84477158C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$F3593642-A164-41FE-922E-C58C893BF9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$5B691906-5632-45B4-AFE3-7158B6935F98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac8ba383f82679be695546a366962cc5234ab71f","datavalue":{"value":"6642946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$3ADEC78F-5429-43F7-A379-74531F688CD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3604872cd1c96e6c8dde657fdf1aa052bd30f77","datavalue":{"value":"information retrieval","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828249$7336E055-C3BB-4049-9689-ED879DF1426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828249$BC182060-EB0A-43BE-B4F4-33E09ABAA09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828249$138C3D6B-AEBA-4337-9C1C-9EDA500670D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c275ada553f98382af3589e95af1c9a57c44d01b","datavalue":{"value":"partial model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828249$0B54D6C5-C95F-497F-8E0A-D925568AED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828249$EC580D6D-F79B-4BBD-9EE5-CF7F5E98EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfca0b199689c61a3c63d71b24b402baf8946ae0","datavalue":{"value":"query-guided approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828249$312EC678-15B1-4DE2-81E9-268C4714C6CB","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":"Q2828249$C6B339E5-E843-4B5D-9E25-3F16A33BD4F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ccc9f342b1310eb5c8ee62c36e86bfa9194f5fc","datavalue":{"value":"https://doi.org/10.1145/2837614.2837658","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828249$1F00D7EC-D366-4C50-8F31-C00872BAC3D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bba2f67e9a3b5e76ac47b88e93d21572c57f93b7","datavalue":{"value":"W2272616495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828249$5ED42025-C8D9-4F5B-9713-07EFACE5DF18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71544db130f71863703aa6b9e4aa5a1dc2fe65d5","datavalue":{"value":{"entity-type":"item","numeric-id":5326468,"id":"Q5326468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a741bb0a99940e9fb23c6be71875e461f4818ac","datavalue":{"value":{"amount":"+0.9313771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$498B9B35-D044-4AB6-AC7F-D62EA522AD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03757c4c169a4643f27fcb29ea31f0abc2b953cd","datavalue":{"value":{"entity-type":"item","numeric-id":272016,"id":"Q272016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f6208ad90ff8306066e87dac31638f177e0a10","datavalue":{"value":{"amount":"+0.92196256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$F5B72C25-DDC7-4EF3-B90D-0197042AF0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6ae75201ef83af672229a6b6085fd52c4019ae","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b661eec7076fadb23d3a988119bbad8e3bfd371","datavalue":{"value":{"amount":"+0.8957261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$048675FD-4FE5-48B6-A406-2E8D34CCBD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d9e4774b7e1934b5f5fc21702e6649798cef0c","datavalue":{"value":{"entity-type":"item","numeric-id":3637181,"id":"Q3637181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aaf0d4cb3fb1193722c75faca198e66c0acec6f","datavalue":{"value":{"amount":"+0.8805329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$B2269905-D304-415B-85D2-CB01458F9728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4baf9a944b9034652fc6ceac6eaa8e04fca963","datavalue":{"value":{"entity-type":"item","numeric-id":2296713,"id":"Q2296713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c67b0479e58b79d67982c04aa55abc38bcb6e4","datavalue":{"value":{"amount":"+0.8763859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$7DA7988B-5850-41B4-B12C-E1486CC0243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e072797ad362b9a3c08754aaee5b3bd0c5b0c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2694600,"id":"Q2694600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e3a14167684d1bef6df54a0d0da7add01d1199","datavalue":{"value":{"amount":"+0.87487876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$C1FDA4A7-EBC6-4669-AAF1-9FCF581ED91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f1ea5787bfd41891d3761ad7bebad46bb8f341","datavalue":{"value":{"entity-type":"item","numeric-id":5740179,"id":"Q5740179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3443b533a2eacb6059bc97379d95007d3d96d80e","datavalue":{"value":{"amount":"+0.8714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$35E81381-4DAD-4428-9D91-F426142CBF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556a36f614df5d3ab1308d0a93bb5720459211dd","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005f5aa1c3e1e59ba8e61e559db5abd01887e356","datavalue":{"value":{"amount":"+0.87117094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$C00CF24E-A280-43A3-B6B5-1DBA4BDC19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a30ac10cd326287ac3209c357ff1436b5eaa64","datavalue":{"value":{"entity-type":"item","numeric-id":5696308,"id":"Q5696308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ddbb9f7e482928ef54efea3b3df79266a4a27c","datavalue":{"value":{"amount":"+0.870237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$86072FCF-422F-4BB6-AD90-971796922CE0","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":"55a52131ad49e73f0d36b85f50b7d7c466530e6b","datavalue":{"value":{"amount":"+0.8698365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2828249$94923D7E-54D0-4720-AEBE-A9C5ADCD1BC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Query-guided maximum satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Query-guided_maximum_satisfiability"}}}}}