{"entities":{"Q5408435":{"pageid":7438009,"ns":120,"title":"Item:Q5408435","lastrevid":41552491,"modified":"2025-05-05T19:04:07Z","type":"item","id":"Q5408435","labels":{"en":{"language":"en","value":"A sound and complete abstraction for reasoning about parallel prefix sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282439"}},"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":"Q5408435$82807B1D-AB07-4B6B-A8E1-45017C685DAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"697e186613b42c25e517353519b5af7b73f9c363","datavalue":{"value":{"text":"A sound and complete abstraction for reasoning about parallel prefix sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408435$29FDFAD8-4CD5-4061-A272-0ECEA980818D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63c0f641862e9261cc0f6d2317e6f221d61400fd","datavalue":{"value":"1284.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$47F1263C-5F3F-4E4A-AF6B-1DFAE1314438","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6c64b5e1a92e5eb0e44ce99bcaeca360d3c8e7a","datavalue":{"value":"10.1145/2535838.2535882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$00C280FF-A153-4753-B4B1-F21171E97D0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3adcdab47226c4a4b2232b1fe85f57c574c4a28f","datavalue":{"value":{"entity-type":"item","numeric-id":5408434,"id":"Q5408434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$677D1CE1-210D-4AE3-BEBA-D8CA871C2516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$CBFE0EDA-172A-4CD7-A13E-D97812E5777D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$A06EA5DD-4939-46F8-9285-F0F3E59DFD56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$FC1B1D69-D7F0-4FB2-8059-833679D551F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408435$D87CA3B7-D658-490D-8D88-786316534C69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12ab34dadc2ade03ed105ce2a7aebf3578268353","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.850.3891","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408435$00CCE1EF-E306-4CB5-9B82-A4CD613ABCC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$5E173BA9-22E3-4109-A62C-C2545F91D4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$4D63B3CC-042F-496E-9F74-BA0CEAFE9335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$1CD92E6E-9096-4FB7-92C7-965D60AD9898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5abbdb626b29fa97d9ec1bd47c6795b31f0e5a0d","datavalue":{"value":"6282439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$58E497CC-D500-45BF-8946-AC405A8847EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408435$5777F489-0B8B-4273-9A44-AD1AD424ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408435$F6E1D13A-242E-4FCD-85CC-0567153CD920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14561166d784bdd524c3455579aa2bb8d1bf45b","datavalue":{"value":"GPUs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408435$F17DE383-4843-443B-B272-61F846DCEED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80ba9aaf397379a496a3a615bd57bff265037f95","datavalue":{"value":"parallel prefix sum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408435$33A98EA1-5A99-452C-9472-8860177C098F","rank":"normal"}],"P1463":[{"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":"Q5408435$6A08D867-1CCF-470D-9AC7-DF137A0DC921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8eb406da0bebd03f9ecb41f74e5badb7396eef3","datavalue":{"value":{"entity-type":"item","numeric-id":23206,"id":"Q23206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$E9E9179C-DD3C-4E01-852A-F2B4C5596FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5c25a833dd83160701dabec2d3701728a00ac19f","datavalue":{"value":{"entity-type":"item","numeric-id":25434,"id":"Q25434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$C35722FE-8962-4913-AD8C-2AF3F2865650","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":"Q5408435$872E1E8B-7CC4-4022-9359-862D11A94B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$D956FD5E-BC80-4336-AA23-56558412A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8d8f10a93b523882fb84087e4f3ec3a91618d463","datavalue":{"value":{"entity-type":"item","numeric-id":24718,"id":"Q24718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408435$116AA165-BD02-481A-A4C8-178AC9AD9C42","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":"Q5408435$5A2A2FDB-F897-4999-8BAA-B1F71A67F19A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"161a7a6a12b482ae2b550ffbe09db31f6f7ed380","datavalue":{"value":"W2022457591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408435$96A458FD-E4EF-4582-8023-D5866978AEA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e60bc3c769daab1ffe80c2487a23dfe700335fd","datavalue":{"value":{"entity-type":"item","numeric-id":5312909,"id":"Q5312909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e4f0c9d23c47b9ad0132d21465a5460015d4a0","datavalue":{"value":{"amount":"+0.8632805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$AF8A4EE5-A229-4C7F-AF72-408192B41A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9985928ce85af5415458f01657254b2042469c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a28cf67a15bc0d3ae47ddce87992dc6c308a61","datavalue":{"value":{"amount":"+0.8632125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$93581012-943A-410A-9619-43A951F71DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c572367093997ece4b413563438c29d28d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4571129,"id":"Q4571129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344ff5a57ba8a67c10ca7c348465623103919dba","datavalue":{"value":{"amount":"+0.8509014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$FC2143F7-9A6D-4F5D-8C2B-E8321261BEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e50542a69270a471b253589a5b5d5c1eaf35d68","datavalue":{"value":{"entity-type":"item","numeric-id":5028469,"id":"Q5028469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b254f000e3bd585549cf4bdc7aa6467e1097c14","datavalue":{"value":{"amount":"+0.85029083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$279D7F55-7217-42E1-8BEC-AEE1B05FADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26cb631c93528bb39a2c0b2ed59ea123928f074","datavalue":{"value":{"entity-type":"item","numeric-id":5262950,"id":"Q5262950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654b04225c4e56c61c958af7f453dd737ed2d609","datavalue":{"value":{"amount":"+0.84565216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$1607DD04-725E-4CC9-8389-216145CCFFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db743f567637b48771682e15b3dc731517fefcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3775517,"id":"Q3775517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b25f848766831104353cb66e51234f9739735b","datavalue":{"value":{"amount":"+0.8450484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$A176E296-7A60-4010-8533-B0DED3FDFB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60241529a852d80c887342c2b5f669fe8ece9ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5464718,"id":"Q5464718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ed296154a3a7c3af45d6c2e53b48c6790f3d26","datavalue":{"value":{"amount":"+0.84394616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$6335BD08-80CF-4292-8F45-B3BA199EE2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a787a4c613ab1ea1bbbbac1a60696d274fd6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3525626,"id":"Q3525626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8cb326e9dfe6864e7f888418776b9f586fdc73","datavalue":{"value":{"amount":"+0.84016734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$754F7980-8456-433D-B721-E279AE549DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443bf126061b655a1ae3c748c6e6feb065f277d9","datavalue":{"value":{"entity-type":"item","numeric-id":1350241,"id":"Q1350241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fab727116fab2b3794b7ca7dbaba4ee448405a","datavalue":{"value":{"amount":"+0.83984464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408435$E6826BE7-53AC-4CC8-9259-8C384B61D4AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408435"}}}}}