{"entities":{"Q5096092":{"pageid":7125668,"ns":120,"title":"Item:Q5096092","lastrevid":91357286,"modified":"2026-06-04T22:58:02Z","type":"item","id":"Q5096092","labels":{"en":{"language":"en","value":"Lifting CDCL to template-based abstract domains for program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571432"}},"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":"Q5096092$A6686E03-BB2C-42BE-99C4-6ED3004CEDF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8c76994f97cd364dd90a3a1be28e9e42be68c11","datavalue":{"value":{"text":"Lifting CDCL to Template-Based Abstract Domains for Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096092$AE1860BA-E870-412E-B623-15B1209C3EF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c18574af95bbcb2f946b6b30477bc66a59dcd15","datavalue":{"value":"1495.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$343D6616-155F-4D55-9088-C71DCB9E050D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df4855dd29c7bc8bc5bf8402fc2ea3fc631e9341","datavalue":{"value":"10.1007/978-3-319-68167-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$F8C4C25E-040E-40B1-8A05-8E71A70396C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6045d1143ec0e200f8d96cd8294b77b4ecce00","datavalue":{"value":{"entity-type":"item","numeric-id":5096091,"id":"Q5096091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096092$5221AF27-1F54-4C4F-8A2C-5EF1B905E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d1f5ffa296b4fe4db7c249b03fdf396db98ef1","datavalue":{"value":{"entity-type":"item","numeric-id":435975,"id":"Q435975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096092$55C66CCB-E442-47CC-A0D2-F616F0EB5EBE","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":"Q5096092$8B7C8608-88D4-42BF-9EE0-0EAACD457395","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":"Q5096092$A443BB01-4982-40CC-B61D-307548BA72F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cc370034ec8bce9df6b6d7f74a57927fbdd1b1","datavalue":{"value":{"entity-type":"item","numeric-id":207986,"id":"Q207986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096092$E53ACA34-A2C3-49BB-9071-075628F3D088","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096092$3EF3715B-DA02-4E96-88FA-32C39AAF4115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096092$17519F26-7A9C-4FFB-AE6E-253DAB27994C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d843162e5ae83c646ab30e2c1599e7c4386f2c6e","datavalue":{"value":"https://arxiv.org/abs/1707.02011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096092$B788B19B-E3A8-411E-BC96-22FBE339CC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f47cc937f4d40dbb79ba9b97086409f7375f2c","datavalue":{"value":"http://sro.sussex.ac.uk/id/eprint/69532/1/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096092$CD76D7E2-4B79-468A-9F06-F33B355B8960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$83ED752C-557F-42FE-A513-A49451F34022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$D0D25A1B-88F6-425E-A779-D6A16F3DFB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$9FEC1A97-4E6A-4514-AA5F-F640E67C377A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$068EBBB7-8EEA-4640-8B56-E8258BDA76DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17da67e2ac649b39b40d6e5bf74d54c90ca11892","datavalue":{"value":"7571432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$6E234783-1168-44DF-8F1A-9A8535D85A0C","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":"Q5096092$0D0AAA76-217B-4CBC-9B84-36FFD0BA4540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7e45ffe57b764c9a6d0fd88561ed476163030fd","datavalue":{"value":"W2732529469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096092$55114D7C-303E-4450-A248-47682CF6E38E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ba9e94d71a4f0bb280ca00ff450c082360b8b3","datavalue":{"value":{"entity-type":"item","numeric-id":2931790,"id":"Q2931790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d535071697fa685a9f374a787a61d6322047712b","datavalue":{"value":{"amount":"+0.7397097945213318","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":"Q5096092$8D9F67A6-DD0C-4C7C-8254-ED65BAD37601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4a777bf0bb99053f551e2b6fa0361d1c8156bb","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707438a1547c7b4c5dbbc5333680b2621a956c28","datavalue":{"value":{"amount":"+0.7145859599113464","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":"Q5096092$8750CE35-30F3-48DD-AB95-E71E508FC572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae543d3164609a478eaf3c26694eec20cce9b473","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf01ee4fbcd94d9394f2bf64f015681c2f375761","datavalue":{"value":{"amount":"+0.7082687020301819","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":"Q5096092$B21E946D-B9E3-4400-A85C-044B4EFC8E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dff869873663397c44d1ceb329ed990cc947358","datavalue":{"value":{"amount":"+0.6993008255958557","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":"Q5096092$02CDE969-4D7A-4CEA-9049-41E0F4B92BB1","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":"c372f3fa94a6735cec70cd52191ca9a5a28a41f7","datavalue":{"value":{"amount":"+0.6976258754730225","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":"Q5096092$2C4C5054-E648-4D38-BE17-641B63EDFDAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifting CDCL to template-based abstract domains for program verification","badges":[]}}}}}