{"entities":{"Q2818043":{"pageid":2828781,"ns":120,"title":"Item:Q2818043","lastrevid":52614977,"modified":"2026-01-23T02:52:06Z","type":"item","id":"Q2818043","labels":{"en":{"language":"en","value":"SpyBug: automated bug detection in the configuration space of SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623536"}},"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":"Q2818043$E8109C4E-8E02-4E5E-B18E-8EAEDEF59E38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aee19d2e2ce8f26fddefc87f9d3175f48f02207","datavalue":{"value":{"text":"SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818043$C8356A37-22B6-45C3-AF4F-994CB3D43F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62bc0096ed8396a0df4ef80d9319a0a448deb804","datavalue":{"value":"1475.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818043$4D718614-C872-410F-96B7-E720DE768A2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba8b3508b987a0997f176a9c6dcfbafbcf6e5edb","datavalue":{"value":"10.1007/978-3-319-40970-2_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818043$1190F3C6-744B-47E0-8DA5-C400D4492BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63463e2ddaf3f2f568848f59f2b8d314cfe6b5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2118328,"id":"Q2118328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$349A5B5B-72FD-4D9D-88E4-3CFD29DC6803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceed65a6a5b8ae21a480d79068a15e91574641c1","datavalue":{"value":{"entity-type":"item","numeric-id":286384,"id":"Q286384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$58A9B870-095C-42EC-978C-940794A85B83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$B9208060-D394-471D-B805-3537B3E33E6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818043$DA25BECB-9E84-4A23-A78C-6CB31CD4E213","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818043$669C9235-1A67-490F-B55E-E594C8C1CEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818043$9F374AAB-5404-4BD6-9E51-E3B81A4F397E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aa569a52598bff2207ba863acc53d14385e579e","datavalue":{"value":"6623536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818043$904CC2DF-7900-46C7-98E5-044B50C5C178","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d662728dc9fc849ac1c2fe11d42bc85b885ffc1c","datavalue":{"value":{"entity-type":"item","numeric-id":20839,"id":"Q20839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$0CDF7047-D60E-4720-8F24-AA1985F936A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a3128c90e03896ee0d98cf8f52b2e52fa0a4d4e","datavalue":{"value":{"entity-type":"item","numeric-id":13432,"id":"Q13432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$88AE1813-1596-42B0-817C-AE38A34178E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7976176a94f43b9f6319302f6d9a043832eb238","datavalue":{"value":{"entity-type":"item","numeric-id":28608,"id":"Q28608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$24B15CE2-64DA-4C3E-B411-BCC6696ACA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94874e3d47702cbae713106381472e14544818a0","datavalue":{"value":{"entity-type":"item","numeric-id":28609,"id":"Q28609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$C0E0D40D-8801-4878-BD75-DAECFE143403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$698850E4-F31A-40D3-A64F-32CD3B6BC09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$013FAD8D-CBBE-48AB-95BE-AAA1739A4A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$092C2639-0761-4A7F-BC51-3FAE8286CA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e14aff3b5921bcfb0a4e4d178ae4c7b6aa538a8","datavalue":{"value":{"entity-type":"item","numeric-id":38933,"id":"Q38933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$7A14701D-42AF-4077-92F5-E0D0E2F43CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"179af68833d4e59c1e0a3c7b1bf054d82b9a6b91","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$206F6813-CCB8-4BFD-B870-38D726333F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$7FC3FDAC-3262-4B93-87ED-C6A07E5ABF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40cc7b9b8df38bee3c4bac438cbe92ba782674b6","datavalue":{"value":{"entity-type":"item","numeric-id":55834,"id":"Q55834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$64A8D424-FA22-4D76-AF68-913A5DC526CE","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":"Q2818043$2694DBCC-EBBA-4D35-98FA-C4DFB6E25F2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3515b255d7f151fb2355868540090ce365ad9a73","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818043$CDD36F24-7045-44E1-9A6C-6EEA69CF3123","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66078c9e66ebc235102516a6457f5f5d86a3c62","datavalue":{"value":"W2487961158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818043$C8F2489F-E61C-45BD-9768-2DF31C40A1FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdf64b2a914be509f334d011c8426b5f7796a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$BB47BDE2-7981-4076-803C-2D98CF23A32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee27f9cea5e60e372a32dbe416d2c83ecce85f","datavalue":{"value":{"entity-type":"item","numeric-id":3453227,"id":"Q3453227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$C49088DC-95E2-4838-B4FA-CB620EDD2646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$7006EDFA-D86A-4CB8-ACE2-5367A3A932CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec92487e0774e4ecd565c4d24d646490b018f3c","datavalue":{"value":{"entity-type":"item","numeric-id":3651487,"id":"Q3651487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$8599563A-555A-45DD-8705-4FB45178A42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d851b43cc825fe5357151b169748d35d9167b6","datavalue":{"value":{"entity-type":"item","numeric-id":502389,"id":"Q502389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$3945C89D-6EDA-410B-ABC8-B4861D1BB9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$5891C022-AE25-48DD-9084-EA1EA79BE756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839fe9e80ad88458f41a8a24be5284fc203e2e80","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$B9D1363A-27CD-4A3B-AAE3-955EFB6469B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24266047ac8ffcefe32630c940ffdb70489bec0","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$71CCE15E-5FE9-461D-B6E0-339E0370CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cbe2ed6c9a80f1b0a931de0d2dbb2418b522ec","datavalue":{"value":{"entity-type":"item","numeric-id":2786915,"id":"Q2786915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$AD8FA714-EFDE-4149-B56B-8ED6EEDFF7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba865dce43431d561e11a6af45af74510464b24","datavalue":{"value":{"entity-type":"item","numeric-id":5713723,"id":"Q5713723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818043$2BA88675-23F8-4812-AD60-77103D60579A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75c3c7e49395f8402392bff872e1e41ba74928c","datavalue":{"value":{"entity-type":"item","numeric-id":3453227,"id":"Q3453227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553a0ced8fb2e281b9f433e762911f2726768b61","datavalue":{"value":{"amount":"+0.8323670625686646","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":"Q2818043$36486884-567B-4C73-B582-9B7BB53B0E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7237aee3a5e9393d1bad9b271d7d57ac0128bb77","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231c09fee56341e29be8ea93a9fb833fd76af6ea","datavalue":{"value":{"amount":"+0.740284264087677","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":"Q2818043$C3A56F0E-2E93-46BA-A8CF-DF7B4A6C2388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6f2d2422f3e8b0f28c1173879439572e0c44a1","datavalue":{"value":{"entity-type":"item","numeric-id":502389,"id":"Q502389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7282c169b6d8c9504878cd842e5b342b03a0339d","datavalue":{"value":{"amount":"+0.7219834327697754","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":"Q2818043$898BFC5C-FF9C-4848-8B82-3123B6C56085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfa68d8b3ec172f1571f069184938abfd094878","datavalue":{"value":{"entity-type":"item","numeric-id":3000646,"id":"Q3000646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fddf1e4547ac9579f1b9edbe1ca2388483064e","datavalue":{"value":{"amount":"+0.7134432792663574","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":"Q2818043$07600234-A895-4783-B3DA-9189AA10F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9156c547f9e4dcaa41b713dd7c24243717580c6","datavalue":{"value":{"entity-type":"item","numeric-id":2634473,"id":"Q2634473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5076ed6109c383a8a726cb226f5cc30fa41bfc","datavalue":{"value":{"amount":"+0.7095077633857727","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":"Q2818043$539B724E-E4C8-46CA-9152-E6F4B0CCD6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818043"}}}}}