{"entities":{"Q2931790":{"pageid":2942510,"ns":120,"title":"Item:Q2931790","lastrevid":52145750,"modified":"2026-01-21T00:56:23Z","type":"item","id":"Q2931790","labels":{"en":{"language":"en","value":"Abstract conflict driven learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374669"}},"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":"Q2931790$0E8F5C3F-7B7A-4BF0-AD4A-DC6012ED781F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16c61cb3eea2cb4ef09b353cf30303f35490622a","datavalue":{"value":{"text":"Abstract conflict driven learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931790$C0F782D7-832E-4157-A600-33F0D5A2A2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317cff39f97df8d639f7ca213df7686924450766","datavalue":{"value":"1301.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$D0ECF807-322C-45E7-9398-2ADA2E93C730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d213058d3b8db8284f958fc734e95623d294afc","datavalue":{"value":"10.1145/2429069.2429087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$DE1B3D16-022B-45B0-8527-99642A7002AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931790$BAA736B8-FB4F-4B27-8F0F-F1607011DC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3f434bb92565e5cf6d2b60aac0245f4a58be6b3","datavalue":{"value":{"entity-type":"item","numeric-id":479836,"id":"Q479836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931790$AB464F2D-A668-4959-80FC-7077B739B079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931790$5351498A-CDDC-48F6-BAB4-62189F7728FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931790$388172D5-F45E-4AE6-9D1F-E9253DB80C4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931790$622F5766-E25B-4903-A0F5-9237C93FFC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$A3BD5CCE-DCEB-4ABF-A2BD-47274A583014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$F8BC57D8-A2CA-4A06-BCAC-FF99298204D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$4E5C41D4-849E-4EEE-AAAD-7A77424BA521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$3ED3249E-D25E-4704-A809-A40EE428AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$13850248-25D0-4B8F-BDC7-3C156A8AB738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd1b8abdf4f4debbe8cb10bd7713a2effaedb90","datavalue":{"value":"6374669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$A7022EEE-A51E-4F3B-BAB6-3E7D9A77D93C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931790$5A050FD3-65F1-4C01-B4B1-2B831EAD6CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931790$1841A404-DFB6-4EED-A7C1-4FFDDCC094E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931790$FB948BE3-4F48-4C90-AD25-99EDA13EBE84","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":"Q2931790$04874DBF-6B7B-4680-9494-D393A63D987D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75ec422f542d3e87b137c845208d71a6f01e722d","datavalue":{"value":"https://doi.org/10.1145/2429069.2429087","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931790$2D72E11A-EA7C-4264-92FD-58498A6719B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"605f2c40c570e4836d881fe951d497cb8fdb659d","datavalue":{"value":"W2125189388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931790$00DE7D80-E0A2-472A-B23E-B6EC0FAC271E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed87645e50d2c8a6ab4dca86d04da783f4a8dca","datavalue":{"value":{"amount":"+0.7846425175666809","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":"Q2931790$47946F5F-FE71-4303-84B2-121DEF4B8255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8037a02265f815a2545026a43d678033c4f9a89a","datavalue":{"value":{"entity-type":"item","numeric-id":1702895,"id":"Q1702895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97a5f2ea947124cbf0c440d1b51c9fafb1ce6ec","datavalue":{"value":{"amount":"+0.7837746143341064","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":"Q2931790$6923936D-1088-45D4-B0D0-555CCB4B741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbd40e4696f0fd5ddfba1637da940af21d4683c","datavalue":{"value":{"entity-type":"item","numeric-id":2630816,"id":"Q2630816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88286124d4d9abe4b7bcaef8c99b277aa334893","datavalue":{"value":{"amount":"+0.7817491888999939","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":"Q2931790$89E4F5F4-53E1-4FC5-9BCA-196C683DAFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e1ab111833897f6610fc74feff763196614d2","datavalue":{"value":{"entity-type":"item","numeric-id":3007694,"id":"Q3007694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0429dbacf101629479174a63292f750bae3b6e","datavalue":{"value":{"amount":"+0.7733380198478699","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":"Q2931790$F4B056C4-6127-4369-84C2-3E898E2D6915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edc12eb6e2358997236471eba59f1e780170e97","datavalue":{"value":{"entity-type":"item","numeric-id":5408412,"id":"Q5408412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698d730acf9f3a88494ce0ffe18177689f6fa92e","datavalue":{"value":{"amount":"+0.7709633111953735","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":"Q2931790$B72A7E23-4A4C-4ED1-84F0-D8DE708864B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931790"}}}}}