{"entities":{"Q6535484":{"pageid":14146627,"ns":120,"title":"Item:Q6535484","lastrevid":55544962,"modified":"2026-02-17T18:34:16Z","type":"item","id":"Q6535484","labels":{"en":{"language":"en","value":"Exploring formal methods for cryptographic hash function implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786559"}},"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":"Q6535484$CC53381E-322E-4A41-A0E3-2C5140FD0E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b376441d529dd7583b8f27f0062f2561602f735","datavalue":{"value":{"text":"Exploring formal methods for cryptographic hash function implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535484$1F9BE2B9-357B-442E-A01F-BAC2748F8456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"451d9e545a4cc7832432b3cd26ff7009af4d3dca","datavalue":{"value":"1545.94075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535484$64A8FDD4-F563-4412-9377-DE0707E616C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"877eef3e605a120d39ca1c4ed632f972260b12ac","datavalue":{"value":"10.1007/978-3-031-35486-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535484$03D67ABE-AFF7-453A-84C5-415589531E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09aeddf484fd089eddbdcfa225763bf99be25530","datavalue":{"value":{"entity-type":"item","numeric-id":1703943,"id":"Q1703943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535484$9F2359F2-589F-4379-9838-0435B509481A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535484$5B73B541-B5D8-4E82-9477-2F4B038B267D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535484$E4AC7699-8BE8-4E1D-8420-A61C0D31445A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535484$B1DCD5CF-08AD-4B44-9456-B78A531960B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78e4ce8f8fea59b4f00fc910e16dc451e7969eac","datavalue":{"value":"7786559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535484$F78A9650-A97F-4293-AEED-C5AEF0D276FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4cea434ed4cfda2bdbddd3ea9cf243918e1c72e","datavalue":{"value":"SHA-3","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535484$15559E99-E867-4046-8A91-93FD655A75F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4328b4cc36b17348e112d3a732b528b5cb5fa05c","datavalue":{"value":"hash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535484$D2C0F880-732E-4A3F-86C1-A42B592A2F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a26ba025c55d543ff26de6cf7e62ac3421fe111","datavalue":{"value":"Keccak","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535484$D87445DF-5316-43BB-BF6C-98799922FAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b524458e535ace9b0dcbc801e8d101594f48feb4","datavalue":{"value":"BLAKE","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535484$9A298E36-FE74-4744-94B0-39B690923412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc33a918a16af58559759e2480a36743b7740fd","datavalue":{"value":"Gr\u00f8stl","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535484$7D1D69BE-1B5A-471D-BA74-0D7D27B5CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e97dcc6824508c25da58a469e6789303b2e463a","datavalue":{"value":"CoreCrypto","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535484$D248A36E-8D83-4389-BF55-F006B658CF27","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":"Q6535484$3EBFEA22-386E-4CDD-99A3-6654808B47E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"218b4f5fe1826911f167865f0948bf9c3266057f","datavalue":{"value":{"entity-type":"item","numeric-id":832351,"id":"Q832351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535484$366032CF-3E06-4F13-8465-D78C14FABBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535484$CFF8E874-E66C-4C3C-9A31-A4458A6AC0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535484$95BFAE2E-F611-4662-AACF-73D20940C0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1884347a99056560f9c230ac027409ef740c926c","datavalue":{"value":{"entity-type":"item","numeric-id":6080893,"id":"Q6080893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535484$3A186923-7DDC-45E3-B382-58433532910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bb0947ed236e3acc7c72a8a23a5f812d7fb4be","datavalue":{"value":{"entity-type":"item","numeric-id":5451016,"id":"Q5451016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535484$58A6882D-B19F-4348-AD45-4F330AAD624A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe2504e4e6d7f2a25c5f692879b453844630133","datavalue":{"value":{"entity-type":"item","numeric-id":3058717,"id":"Q3058717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f09d11af9bb1f2a25c47844d371fff7d62ed03","datavalue":{"value":{"amount":"+0.7046170234680176","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":"Q6535484$4E5F4FC3-0563-4311-BE3D-D745D778F079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081e3efd4168c760755e8d1316ba081f66325836","datavalue":{"value":{"entity-type":"item","numeric-id":2442950,"id":"Q2442950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c78fe746f0e8438bac825adbb79bd484dcec2f8","datavalue":{"value":{"amount":"+0.7001654505729675","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":"Q6535484$1F00DB2F-3024-4D46-8828-4586939AF498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50d74b6ae711f0b8cebec1e683a08b103146ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4408419,"id":"Q4408419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389c9f8c2dcd752e8e89dfd2b8950a1b444f4ec0","datavalue":{"value":{"amount":"+0.6917974948883057","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":"Q6535484$5B76409C-9D1F-4935-B9CF-781551956117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c5e1fa2b9577474cad96bbaf67d5fdf628a373","datavalue":{"value":{"entity-type":"item","numeric-id":5875633,"id":"Q5875633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2bae51cc17edaadc946152cc6b41be0e8951db","datavalue":{"value":{"amount":"+0.689812958240509","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":"Q6535484$8F2B2BE9-CFD8-4381-9DBC-F85EACB5824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0275fc83ca2568d958e48883d7c733b4e2ae350f","datavalue":{"value":{"entity-type":"item","numeric-id":2507330,"id":"Q2507330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbcd80facd62e4cbf85eff1df5ba7d69445f49c","datavalue":{"value":{"amount":"+0.6876089572906494","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":"Q6535484$375769CB-DF39-4DEE-9AA9-46F9051560E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535484"}}}}}