{"entities":{"Q6587259":{"pageid":14198415,"ns":120,"title":"Item:Q6587259","lastrevid":55725682,"modified":"2026-02-17T21:45:16Z","type":"item","id":"Q6587259","labels":{"en":{"language":"en","value":"ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896677"}},"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":"Q6587259$0461CF1E-263C-4981-9A05-6750B9E1A4ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bbe5fd477472367f7af41998670a00a0ba7325","datavalue":{"value":{"text":"ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587259$52F57593-9990-4579-9E7B-A2D699306C0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f36dbb6fb3bce56ebd63c734bad2d200af27afa0","datavalue":{"value":"1542.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587259$68EA376B-AA7A-4ABB-8150-60E4AACF5E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cac83de974471f50dd476a342b8d9ceadf0ed06","datavalue":{"value":{"entity-type":"item","numeric-id":202496,"id":"Q202496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587259$32785A84-97B6-4861-81C4-127F969ECAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c0748413bca944eafa533483fc6d000417de40","datavalue":{"value":{"entity-type":"item","numeric-id":6587258,"id":"Q6587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587259$0CD9BAB7-7291-43ED-9909-E9EB752B65C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587259$FDB4CE5D-BEE2-417A-8FB7-226DC8978CB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587259$56511638-5DC2-47D4-9B22-316CC9FEC4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587259$988D4D56-57FC-433E-B5F0-1DEA8B32BC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587259$2476D34D-DA5E-44EB-9577-D1BDFC7B5CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8754fb7cfbc3040aee1d1420b6a2a2d94c7673","datavalue":{"value":"7896677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587259$8EB24BC4-D62D-4B3C-825B-90CFA1A81E1E","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":"Q6587259$50EB4A24-7E75-45A8-AE1E-7D718CAB5990","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8811cd33450ad779d000ab6f0e8e795b9791a141","datavalue":{"value":{"entity-type":"item","numeric-id":5477668,"id":"Q5477668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587259$41613731-D1F3-40AE-B329-C10B34A6CB45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c184b931743fb9115ccf8c02302b5399d53d4221","datavalue":{"value":"10.4204/EPTCS.114.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587259$9A50CC7E-82FB-4E85-92BB-056D33CE2E74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850937993e3f48a98a673c900bc345d87ed82e24","datavalue":{"value":{"entity-type":"item","numeric-id":991105,"id":"Q991105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844a55a617b1a21c4c9147084fa84141ddbd0342","datavalue":{"value":{"amount":"+0.7651771903038025","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":"Q6587259$22575288-4D43-476F-A70F-B997D0D312E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080abbfe7a48b43526ef6fc8b3aebe35d1d7319d","datavalue":{"value":{"entity-type":"item","numeric-id":2120963,"id":"Q2120963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038295bd43e39bc493ada61b9d8b1354b353c873","datavalue":{"value":{"amount":"+0.7064045071601868","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":"Q6587259$1D8649C1-3571-4DD5-BC11-49782D23F4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671dbf31887e080caf5a49267c894bff7d3abd4d","datavalue":{"value":{"entity-type":"item","numeric-id":2145339,"id":"Q2145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe84a364a8f582222ab1d03251a136943e5f538","datavalue":{"value":{"amount":"+0.703629195690155","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":"Q6587259$34544667-872F-40FB-A680-DD7AC5EA5333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5555bd553a019fcdf079c7139717bb35a55ff","datavalue":{"value":{"entity-type":"item","numeric-id":1703009,"id":"Q1703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e903f6503bf74c33f3d69ce91468939c4029bc3","datavalue":{"value":{"amount":"+0.6990004777908325","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":"Q6587259$B0DBB487-63AF-463D-98C3-A9D9A842730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c4253cea330f04189d128f75032589de4e13db","datavalue":{"value":{"entity-type":"item","numeric-id":2413347,"id":"Q2413347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75affd7c5f1ad5efe7ae496313962022dbeb3023","datavalue":{"value":{"amount":"+0.6917450428009033","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":"Q6587259$2117CC01-F8B6-41F6-A8C5-30ED74C19A09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587259"}}}}}