{"entities":{"Q6572562":{"pageid":14183717,"ns":120,"title":"Item:Q6572562","lastrevid":42356181,"modified":"2025-06-12T17:06:21Z","type":"item","id":"Q6572562","labels":{"en":{"language":"en","value":"Refinement of parallel algorithms down to LLVM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881137"}},"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":"Q6572562$D7D86A6D-9E1F-4953-87A1-B1CA0E4C8580","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14f7efee3e5e66f24db72f82868703951bf98d59","datavalue":{"value":{"text":"Refinement of parallel algorithms down to LLVM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572562$4CB2B69E-7FF4-4A0D-BBED-9E659999EE14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572562$FB778583-3B1C-46E0-98FA-3A68C899FBA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572562$B39F7C0B-7122-4565-B73E-DCFFBB5A1C89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572562$EDB8CD42-FFD9-49F2-AEB1-04D3A8B173C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"799a843b3a2a655215e05e7364dad9d18d447282","datavalue":{"value":"7881137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572562$17C81BCA-FFAB-4805-949F-A872CC73BA64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458bffe2fc2bb401d3d300e27e339f93acab7785","datavalue":{"value":"isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572562$56251F2D-9018-4462-B2C0-73EF997F616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572562$FA8C68E7-7CAB-40D7-9086-784A85D89B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a065eec76a594106cc400b83cfd32ff4a3dd08cb","datavalue":{"value":"parallel sorting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572562$DBCEA653-C369-489F-BDCA-23F96454B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2e0b1df3cdcc3827d03e73e9e6f30d480b73fe","datavalue":{"value":"LLVM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572562$F2DD58D9-95E4-4C08-8ED4-5575C4D5DD82","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":"Q6572562$C5F11716-F1F7-4837-B050-45D5BE400A5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06addea0e9c1b1ff8ca463152fee9ab6d3513511","datavalue":{"value":"10.4230/LIPICS.ITP.2022.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572562$51010CEA-BC57-4BAE-B952-E49B1D5ED315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572562"}}}}}