{"entities":{"Q2181946":{"pageid":2192689,"ns":120,"title":"Item:Q2181946","lastrevid":53736404,"modified":"2026-01-25T15:29:24Z","type":"item","id":"Q2181946","labels":{"en":{"language":"en","value":"CrystalBall: gazing in the black box of SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202469"}},"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":"Q2181946$7ED24AB3-F031-4DA1-AC69-86354484D403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1443db0408eabaffffb45d82d6063b815a7ab83d","datavalue":{"value":{"text":"CrystalBall: gazing in the black box of SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181946$95590BF1-9B09-4C3E-BC69-549F0B7F235A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57ca681131d814e4fc87d8a9d6887c5b75061b14","datavalue":{"value":"1441.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181946$48247313-0440-435E-883A-524A62B79454","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"128fda32fe62bcc6c3aa808e5eb8a33ec875f9e9","datavalue":{"value":"10.1007/978-3-030-24258-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181946$E9C21DFE-BB91-4551-96AA-5F1ADDA2FCD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e021083b98331811d288b99ed5d26250209841e7","datavalue":{"value":{"entity-type":"item","numeric-id":2118338,"id":"Q2118338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181946$7F8F5491-12FC-4258-A9F4-456FA6607629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10c8f5e1bffa273fb36637ecf9a1ec460c2f132","datavalue":{"value":{"entity-type":"item","numeric-id":344774,"id":"Q344774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181946$9C069E43-A065-43A2-8685-9377271B337E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181946$3776C897-072F-4411-A9D0-A98EFF4F5EDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d777a513c8a436f6b680a1e02c588f4cd3d39d0","datavalue":{"value":{"time":"+2020-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181946$669C5CBA-646F-4178-A675-A692273FE929","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181946$D3C9D5DA-3BB6-491A-A1DC-5B247E200445","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b32ce4f4b23ce3b10f0e08e23af319cc947841","datavalue":{"value":"7202469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181946$0AF037C9-8285-4983-A8BB-157A42E26BE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79f2fd73ea0fb5039a59d83de2c7829084a83846","datavalue":{"value":{"entity-type":"item","numeric-id":20073,"id":"Q20073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181946$92FEE26C-E48D-4B33-85D1-031DFCAD0ED4","rank":"normal"},{"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":"Q2181946$FD009C45-91B1-4C50-8677-63E006674C4F","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":"Q2181946$1FB664E5-730A-4785-BB09-3A64A2390C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181946$10E24057-E8C5-48A1-8292-388AEADD87B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181946$8EFBD704-BBA3-4D4A-8042-5FEC2EAC7EF5","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":"Q2181946$122D1378-11B6-4AF0-8FB4-B84E30BB007E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b26a7e9fa627cb4b5cbb561dedf2e4a29dd8798d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-24258-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181946$C793D19A-EA0B-45CF-9ACA-4C811490D2B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd2209aaec6d749531309320e18289a46fd38bc2","datavalue":{"value":"W2955519387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181946$2F085CB1-1941-48F5-9646-30A01CDFC52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c647744274850ccef5a15f5cc3ce686ccc5200","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af06e88e85d550b1f8df2cb109faa853b4af51c2","datavalue":{"value":{"amount":"+0.7667398452758789","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":"Q2181946$1BAADAAC-762A-494A-B513-F0DF941C0956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074f7cd0b2771a547328373d05517a78a172e8da","datavalue":{"value":{"amount":"+0.7582833170890808","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":"Q2181946$7FF4CE72-BE6C-4405-9814-FA1824DAACB5","rank":"normal"},{"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":"6adb87cccbc6cb5d199faeca584d409e4dc3f812","datavalue":{"value":{"amount":"+0.7485553622245789","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":"Q2181946$51EBEC63-1D2D-46C0-9537-F8B33A93323D","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":"e9e1c58e2545a8adadf4c28cbcc0b77ee470d9d9","datavalue":{"value":{"amount":"+0.7463831901550293","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":"Q2181946$6A3CEAB6-D0AC-4298-AE3B-809F2F4C8BBF","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":"bd626d704d8ae082b4b10883f8a2ad44e2d4bb41","datavalue":{"value":{"amount":"+0.740497887134552","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":"Q2181946$3848EC56-3160-4F08-8255-96DB53E0FBCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2181946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2181946"}}}}}