{"entities":{"Q6572011":{"pageid":14183166,"ns":120,"title":"Item:Q6572011","lastrevid":42356101,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572011","labels":{"en":{"language":"en","value":"A comprehensive study of \\(k\\)-portfolios of recent SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880723"}},"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":"Q6572011$59B397EF-0ADA-4FC4-B9FB-DF0D0303C6C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"718f8da0afd20c8ad061d63a5dc84facbeef70f9","datavalue":{"value":{"text":"A comprehensive study of \\(k\\)-portfolios of recent SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572011$0441FEDC-093F-4DC1-A9EB-57ABE9E2D13B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"759349e71cad8013caf39bef5f2b9d0620a5dd14","datavalue":{"value":{"entity-type":"item","numeric-id":6572010,"id":"Q6572010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572011$2349CE23-F982-4266-BA78-8C6E5A2E9E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd232b06d10036c80884b9a858c30c48129d2788","datavalue":{"value":{"entity-type":"item","numeric-id":334793,"id":"Q334793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572011$9191D339-7545-48D5-BFF4-8005F038C2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e74bd771d44e24f4e069402ab27c3692111901","datavalue":{"value":{"entity-type":"item","numeric-id":736500,"id":"Q736500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572011$D03DE7D8-6D63-466E-ACC8-2F78280E7A15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-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":"Q6572011$C09E5DE6-AF3F-46E8-95F7-DE7259DA9797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572011$ECA52B86-44D6-4E3D-BC20-8A72F9A53E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572011$600A0E06-3D45-4EFB-A430-95243EB20204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572011$43D5C84A-406B-4D00-9BE4-3549528E7185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fda17756b662ae1a86673e2748b898c6e931607","datavalue":{"value":"7880723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572011$468A63C1-7B45-4A15-BE49-80BE3BCEF724","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572011$B01E413D-BCB3-4B9C-8807-C68862D86A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef13627a71b4756623f33ab2fff107cb878ae3d","datavalue":{"value":"solver portfolios","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572011$6166218E-9441-437F-8D75-4316323A60FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a582e39a2884e09747e9abb8825d4468403af313","datavalue":{"value":"runtime prediction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572011$FFA522D3-0DE0-46C0-B487-983E2B359E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572011$832EA1FB-1756-4E2A-BC88-50DD25E8714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572011$8E6BB7B1-6241-4C49-A132-C162B758678C","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":"Q6572011$71292DF0-24FD-4E8C-A812-A8E8679A43E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ddeb4ed6c1c544e1823d2be43f369d90373ba05","datavalue":{"value":"10.4230/LIPICS.SAT.2022.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572011$9DBE961C-972A-4DB2-AC59-E0EDCB452A44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572011"}}}}}