{"entities":{"Q2119962":{"pageid":2130705,"ns":120,"title":"Item:Q2119962","lastrevid":43522069,"modified":"2025-07-30T14:03:30Z","type":"item","id":"Q2119962","labels":{"en":{"language":"en","value":"Accelerating SpMV multiplication in probabilistic model checkers using GPUs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500639"}},"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":"Q2119962$F5569660-64A9-4384-B91E-C3278A83F2EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af99e2372b33bd9dc4a5045a5ae60306e83b2728","datavalue":{"value":{"text":"Accelerating SpMV multiplication in probabilistic model checkers using GPUs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119962$6BA647B2-2540-47E6-9EB0-1416BE7D3E90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0db4ab993db47d9ca9433ae3f3d6d0244514dc86","datavalue":{"value":"10.1007/978-3-030-85315-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119962$8BF36952-F664-4774-8D63-E56B3DB451C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1626770b817eb13e9bbebe94824c9a5d0913cab5","datavalue":{"value":{"entity-type":"item","numeric-id":2119960,"id":"Q2119960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$BEFB7526-CE38-413C-AFBC-1C6CC4959188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b78f4686d3f25bbb2e33afc2b96f9731b0af66e","datavalue":{"value":{"entity-type":"item","numeric-id":2119961,"id":"Q2119961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$FB450564-5AE3-403A-803C-4F62D0418A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e278277f37a38b76f3f2f9f04c295ee246cc95ac","datavalue":{"value":{"entity-type":"item","numeric-id":823615,"id":"Q823615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$359B6C14-BB2D-46E0-9057-D83A3509F23B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cb51486d062318d72a3e7127aeccd5361ad436b","datavalue":{"value":{"time":"+2022-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2119962$1F2E40AA-B4AF-42BE-B4E9-358532F6271D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119962$9FA135BA-36C8-443E-983D-3D911B8A7813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a278c95364414ceeb03449ce55d0b7f68eb60e10","datavalue":{"value":"7500639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119962$1D9C7F18-6CCA-44F5-B186-172DC7C4A3AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119962$F7A3B90C-DEFF-430D-873F-94BC882735A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3863d245f5b039d264fcf14c1e4e377215cfd7b","datavalue":{"value":"GPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119962$22FC6C4B-4ABD-4DE7-8672-19C87D3958F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4fc0642aa0d1dda4317c8c0a060732a301b0d64","datavalue":{"value":"\\textsc{Storm}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119962$E6E67B63-A248-4DD0-927A-90E82531B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f43c47cdf33bb18c55a07c8f2844af91e08b13","datavalue":{"value":"sparse matrix-vector multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119962$FBB259A8-C2FA-4D39-B36C-2927FD228005","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b422b9458922babecca33da1efdc9cd508e18f2b","datavalue":{"value":{"entity-type":"item","numeric-id":19590,"id":"Q19590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$353AAA6B-58ED-4876-A382-A06AA82E8AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$6496E74B-1327-4685-A670-6ADE4842CBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a3c1be1ab1eb143059684494329289ddca91d54","datavalue":{"value":{"entity-type":"item","numeric-id":31370,"id":"Q31370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$3D947B77-C5CB-4F81-A1E3-E1FA537F2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b40bab7868278e6c9c721a35407038e23408df0","datavalue":{"value":{"entity-type":"item","numeric-id":19903,"id":"Q19903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$209F4D4A-64B2-4779-B81D-929E5F1F7C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3a054baa4efca75beada6ac9f2f664c52ac32a0","datavalue":{"value":{"entity-type":"item","numeric-id":15791,"id":"Q15791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$D08B6DE1-5CF9-4D65-A2D6-F43A21A1B218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4d6f87be2e6a2647ec74e7f56eb9f5bc9f19e1c","datavalue":{"value":{"entity-type":"item","numeric-id":19119,"id":"Q19119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$91461E5C-AF8F-48EA-ACC0-1D346EB969E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$7D1FFE61-95B5-4956-B801-22ECA395086D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$A1277A91-FEE9-4716-B6F4-08AE55C7FBAB","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":"Q2119962$B9C18781-6239-41AD-8E3E-60D13EFF63A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1df07a6aa9e6c33c4d9123bc675d4848f241479","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85315-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119962$8E56B8C0-BC70-4205-9D35-058ECF6D15BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bd5f91a4a77ec2289d7d378736893cd5a1e7232","datavalue":{"value":"W3195926294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119962$CD0AB8A6-91DA-46C3-A1BD-CEB5970005B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$E0197C26-DD4E-4570-A68F-78619D11E50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda05fa7733652b718babfbd348283b731bf9018","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$9B3FB93E-9F50-4C8E-BE82-59299D3A889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cca8ae53770e040cff239fc1159e6d086d75e14","datavalue":{"value":{"entity-type":"item","numeric-id":5858723,"id":"Q5858723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$2B6DB84A-4342-40C0-9F5C-0A6C8B579D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dab088d995d3d939e403e3a0a80def6dff68a2","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$11BB67E1-73FF-463F-8F7B-72FEEA789747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401797d3a891c9289ac45deca7ae4b1a58b9129","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$BA14DA1D-BA80-4605-9CF3-FD88BC7546F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd2c3a761d19e638cd0748a3bb6d31e472a507f","datavalue":{"value":{"entity-type":"item","numeric-id":1941879,"id":"Q1941879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119962$B9F3B163-6397-468C-B735-9947BD1EE3E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2119962"}}}}}