{"entities":{"Q2118339":{"pageid":2129082,"ns":120,"title":"Item:Q2118339","lastrevid":43521121,"modified":"2025-07-30T13:45:51Z","type":"item","id":"Q2118339","labels":{"en":{"language":"en","value":"Leveraging GPUs for effective clause sharing in parallel SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495592"}},"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":"Q2118339$A882222F-ECF0-4A91-AF66-55147F008930","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a16a449b6eef5cf2f67d6de211b28ac7ea82b6a4","datavalue":{"value":{"text":"Leveraging GPUs for effective clause sharing in parallel SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118339$A89A122A-6A07-45DC-9E9B-743C143CF8F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9af0a59a52816bc018b521a16590da6b8e5de62","datavalue":{"value":"10.1007/978-3-030-80223-3_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118339$DB44D456-EE1B-4CDC-AF2A-2C06A8B0EE2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9631feba87ecea044ccb665a3aec509cd3f4a55e","datavalue":{"value":{"entity-type":"item","numeric-id":2118337,"id":"Q2118337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$08C8AC71-1550-4B06-83E3-AD5CB8C0DE93","rank":"normal"},{"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":"Q2118339$CD7C4CE7-67CB-4769-BB23-0C145775CB44","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":"Q2118339$0494F239-C83A-4A9D-BA9A-498D73D297B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118339$ECD0BE0B-7854-4B96-A788-2E804F73B232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118339$F520D68A-3DF2-4F6E-B7BF-2971A10543DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118339$B013070A-7548-4C7E-8A5D-B5B7BD1C1A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118339$10BEF92A-3CD0-4613-A4A2-55BA73F36F5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de65499d363ec5c66c2b08f64991b523ef04ec1b","datavalue":{"value":"7495592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118339$74E3AB46-5DF7-42E6-9133-9F9FED8ECC57","rank":"normal"}],"P1463":[{"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":"Q2118339$AB2B3826-871D-4E80-8DD6-F38821ADA0BC","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":"Q2118339$EAB74673-49C5-4A9B-8C00-C2CCD2FA7A57","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":"Q2118339$B55D1867-E3C5-4CE3-8094-F3620FE1E6A6","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":"Q2118339$4F331B48-7CFA-4568-98D4-84CE40DC07E9","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":"Q2118339$AA23BD87-764F-44E2-90F6-681AF6E24CC6","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":"Q2118339$F6BDAAD6-D5AE-441E-BBFD-AFDD3BBE4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$3E2E275E-A561-463B-9886-CA87CBCCF334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5f5926ed95eedf302eaa9478c2c72d1c2ea5879","datavalue":{"value":{"entity-type":"item","numeric-id":5974596,"id":"Q5974596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$D1AD14A8-A8F3-496A-92CD-A0FFA8E7BE42","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":"Q2118339$1BCD5B00-0F65-4813-BE27-93714CB12E7C","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":"Q2118339$AA947724-2CA3-4791-B0B8-A21C6A5A9B32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4dd79c0bb317ea364cb12a7e16d397744d2d180","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118339$7F627EA5-C83F-4B2C-B5D7-9D92C79AB8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ceefb33548941874d91fdc3e347ea5851cb1830","datavalue":{"value":"W3184444919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118339$64E120AC-FBC4-46C3-870A-5F6BA0AE5B0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7d9c89646f8223557790cb05a8f48d182384af","datavalue":{"value":{"entity-type":"item","numeric-id":3192066,"id":"Q3192066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$9B610146-4E0F-402D-AF32-57620F60E4F8","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":"Q2118339$4AFD4482-7355-4B2A-8D49-1AB91AD89765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a5c4940466d35f592e34f0c53a75faf97010cb","datavalue":{"value":{"entity-type":"item","numeric-id":5239436,"id":"Q5239436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$755A7500-C019-46D3-8FC1-39C81CC6AC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$C177F401-67CE-4442-99FB-9A8FDFFB0C42","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":"Q2118339$E694FAD2-B27F-4464-B886-59F7232B8413","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":"Q2118339$4079DD52-0A61-4EAD-986E-BA321B09E118","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":"Q2118339$A7A86A45-0C2C-4A80-9616-EAACBB43A831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c69ccd6e43fa65023952614fcdeb0acf9cc365","datavalue":{"value":{"entity-type":"item","numeric-id":3604001,"id":"Q3604001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$11EF8E70-6F62-45A9-ADF9-43C812EA8143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$64AFCF95-9B3E-4A4C-8F25-F7B372EDF8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc98e815521712e1c2575e02ccd9833da741642","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$4034E5BF-5FB1-47E2-9D37-4E7C1442CBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902b08fdf1422579c2a98ca9cad98b322d25402c","datavalue":{"value":{"entity-type":"item","numeric-id":2661331,"id":"Q2661331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$9FAEF7A8-36B7-4003-A326-7F2F12E86DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aeafb9ac2f2609d33e0e02fb8c95752a23334d9","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118339$A44F6908-3F0C-43DB-ABD6-763DE54ABA73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118339"}}}}}