{"entities":{"Q6572559":{"pageid":14183714,"ns":120,"title":"Item:Q6572559","lastrevid":95765669,"modified":"2026-06-05T09:43:48Z","type":"item","id":"Q6572559","labels":{"en":{"language":"en","value":"Formalization of randomized approximation algorithms for frequency moments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881134"}},"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":"Q6572559$37B9A947-9B60-44E2-B5DE-A89244FF9F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a401c88881b50ef1636d90dae11ec8818dc52750","datavalue":{"value":{"text":"Formalization of randomized approximation algorithms for frequency moments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572559$4667CDAA-84D4-4462-AE52-F8582F01B9FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb36501069134594f8e682a833d889c0b6c4790","datavalue":{"value":{"entity-type":"item","numeric-id":2121063,"id":"Q2121063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572559$71C553CB-0694-4AC6-80D5-899F0253BBC1","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":"Q6572559$AE45DF60-E442-435B-9C01-C10C143326E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572559$9A423BEF-D485-4B1D-B398-27B3AEB7172D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f983589e563ee7182da6ffe58632ad6457aecdd","datavalue":{"value":"7881134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572559$795A5344-D063-41E5-AD5D-E49FF0886BC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572559$9D91819B-A7AE-43A1-8714-6D32C2B69F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572559$4D516CD0-E506-4161-B83E-3B9E42E509AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572559$8F0D332E-4F2F-4E17-BD8D-B868CBE0D4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23643e6115c7e420ee500d35de7bf2d21f044f7a","datavalue":{"value":"frequency moments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572559$C99A828C-0D08-4DE4-977A-60F43A7DEE93","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":"Q6572559$BEDE1540-F121-4388-9462-D7093DA801FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e4e69102560e823be8e92761c31b0ad96f6df3e","datavalue":{"value":"10.4230/LIPICS.ITP.2022.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572559$D844EB5B-EE12-4EE6-BF7B-D94B5619EA26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of randomized approximation algorithms for frequency moments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_randomized_approximation_algorithms_for_frequency_moments"}}}}}