{"entities":{"Q427560":{"pageid":429327,"ns":120,"title":"Item:Q427560","lastrevid":77747612,"modified":"2026-05-06T09:58:18Z","type":"item","id":"Q427560","labels":{"en":{"language":"en","value":"Learning from conflicts in propositional satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046271"}},"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":"Q427560$525B1879-4C8E-4742-A030-5260C9E6B2E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fa71eac0bb6f6a7415cdbe0b94292aed6e60335","datavalue":{"value":{"text":"Learning from conflicts in propositional satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q427560$576D2073-E2F1-41F6-80F5-B77D00ECD6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101688c3019da2bce1aca255379e0afd2eb0adfb","datavalue":{"value":"1242.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$A3C3439B-D1B2-44F0-B004-40C6489D4B8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cda698754ec34aa18ba66c57a2afb9aa1743fae","datavalue":{"value":{"entity-type":"item","numeric-id":427557,"id":"Q427557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$0409BD9E-1B24-4221-AF2D-B9CC19E57B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52131f929e9d2e69942ba82e4ebb686db4e996da","datavalue":{"value":{"entity-type":"item","numeric-id":427558,"id":"Q427558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$850FFD5C-B328-426D-AAC0-C41F4EE2596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$7D330900-77BD-4B9B-ACEF-D55B4B10031B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d92a8df68dd721ea0fb0b324d32219435ae70dcc","datavalue":{"value":{"entity-type":"item","numeric-id":262441,"id":"Q262441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$7E9BFF0A-3C7C-4C56-BE8D-7DFD7C85B8E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b947ce7f91b8cd4bd8b2fce7e70b93d373e39b9","datavalue":{"value":{"time":"+2012-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q427560$DCC092F6-7AD8-4ACE-87C6-DB0469786BB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$B2710060-92AC-4DB4-8267-1D4E6B663277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$2E0CEB79-DA75-4670-8E25-BE88504833DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$B713A5A2-D3F2-418C-BDCF-5904FC3B032F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a04d4d5958cff72b1e1ea4848e0daa114cb03023","datavalue":{"value":"6046271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$AADE816B-1ED2-4C59-AE64-ADCEFBDABE1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q427560$E5A4B6DB-A081-4F43-89FC-E8E2CB8F1939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337354ea2f38af14a1ed593bf461bfad3e15e434","datavalue":{"value":"conflict learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q427560$C5027213-3683-4C21-B331-116C6E4DF98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q427560$1E68CF48-781F-4912-8C3B-75DB2829C679","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$AA483768-C765-4AA6-B5FF-9942BD4FF25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$52C68680-C6FE-44E0-838A-48158B785A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$966F19C6-0E69-4000-B483-051B2030D5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$AB575782-328D-43C4-8EC0-26EC3E647D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$C524D505-0511-472E-833A-3D89B1906370","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":"Q427560$FC8BEABE-4590-481A-995E-0F12A9526E2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7aabcf0557a2303ee0789c79d0685167cc9111f","datavalue":{"value":"https://doi.org/10.1007/s10288-011-0191-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q427560$8213DB10-6322-4F68-B25B-023CFE83341A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13098c009dc0f26aacf1ff12802d9d29f5c1b7c6","datavalue":{"value":"W2047512375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$4F54FDD9-FDE6-4DA6-BDEF-ECA3C41B03EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ed378042883c33f78646cfc2e282152ec8d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3502689,"id":"Q3502689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$9DA7FA6D-45C4-4631-BD57-9714118C0F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089c0f270ae82010156ed1f303095e04c74aaaee","datavalue":{"value":{"entity-type":"item","numeric-id":3007683,"id":"Q3007683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$96388955-8567-4C91-A684-20C5DD661099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$72B17AA7-716F-4CA2-BF96-AD5C75BCD1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03526791996a8ac5d2e9e5c45ddcb96c84819bc0","datavalue":{"value":{"entity-type":"item","numeric-id":3502690,"id":"Q3502690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$25A49489-E0B8-4019-A7F9-3336B1EF0916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$2F2BBB84-87BF-4896-AE97-9DA53E88C726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$0AAEB22A-E0DE-47E8-8689-BAEEB564BAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$902EAA71-29FF-4B63-AD6C-6CF25B952A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$738C4F15-E538-426B-A307-096708AB5360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$E45C78FB-B492-4750-B6B0-633FD66042E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$5B3C1B85-316E-4A25-BE8B-BC37B935493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7822b32c270c4bed5a3c343d0bc07d27a793e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$F83078A1-DE98-4CCE-B92D-A4083DF85914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4140c1175bddc4c685fd37c0a5c7adcd0a184434","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$F634DAD7-EBA8-4CA4-9A8D-4FEFBE3D449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$9763D7B6-6DFC-4869-8769-27865F4D9455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6aa8bbda13bc362d278699a1d3dd6036a337fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4523706,"id":"Q4523706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$C679BECE-5D45-4EBD-AE10-EF643C49E2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05de296e121fb7c75e48d1e2ce77bc16cf43eee0","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$01FC9049-D058-4A5F-A8FD-EE3AD8E47F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$F5C1D18E-C2A1-487A-97A6-F6BF65BA4074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$26E4C567-868C-42CA-A5B2-F677BD5DAAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$53093C6C-C4A8-40B2-952B-D954AE2F724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$457365CA-576F-4B17-9ED8-9735084CF3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$101F674A-30C5-4EF6-B4DD-109ADB3D301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$3CC3049D-4A57-483A-ACD0-2CD56345302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822937a9d01cc9dda5e4376303179bea61b01a37","datavalue":{"value":{"entity-type":"item","numeric-id":5714759,"id":"Q5714759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$7862A46D-18DD-466B-BE58-31363EEA13B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$10B421B1-7EA0-43EA-9A49-08D6892C1A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f8add1f616833f2166057014bb1642fdfc59fa","datavalue":{"value":{"entity-type":"item","numeric-id":5713747,"id":"Q5713747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427560$2F3F7A3B-F56A-4095-9965-8364044DE810","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c43abd4b30e6ee9c0243c40c28ba678dac226679","datavalue":{"value":"10.1007/S10288-011-0191-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427560$05AB9EDE-3A39-4D88-B026-5803EF82D051","rank":"normal"}],"P1643":[{"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":"59c2d18598bdaee406a5dc173dc461336fd06b30","datavalue":{"value":{"amount":"+0.9887318015098572","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":"Q427560$EAFB41C8-FFEE-49FC-93A6-276C4551A795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b28ec7583e0344dd752474382a706f41ec9b6bc","datavalue":{"value":{"amount":"+0.8370368480682373","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":"Q427560$FC0D2933-FD6C-4EE4-A71D-18FD43F3E484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d4f6217ed029274143aa23a104f7a469ac0b02","datavalue":{"value":{"amount":"+0.8176818490028381","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":"Q427560$6878F429-D587-4EC8-9D04-2E21C1EF76EA","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":"2b038e2aef890a1e89b241c6d04b33d493f96d64","datavalue":{"value":{"amount":"+0.8144142627716064","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":"Q427560$64217AD3-9A48-411F-8FEF-6574A1A682B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673b63355cd58404dd78df61c107b950ce5c5658","datavalue":{"value":{"amount":"+0.8036695122718811","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":"Q427560$154FA4C8-6AD5-4C44-94B9-E3725CF908EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning from conflicts in propositional satisfiability","badges":[]}}}}}