{"entities":{"Q7034859":{"pageid":21712038,"ns":120,"title":"Item:Q7034859","lastrevid":77522564,"modified":"2026-05-04T15:32:12Z","type":"item","id":"Q7034859","labels":{"en":{"language":"en","value":"Verifying a realistic mutable hash table. Case study (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977160"}},"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":"Q7034859$02AD6556-DF25-4514-B842-A4E122A23EE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52ed7e9d123e8af373dd50f2d962bbaaa0c3ea4f","datavalue":{"value":{"text":"Verifying a realistic mutable hash table. Case study (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034859$3EE3C2E8-41AC-453C-AAF0-CCF028157E68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67bcb888ba60cc64e61de0f2553997cc1f52107a","datavalue":{"value":"10.1007/978-3-031-63498-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034859$F430C8FB-B51F-4085-8C1C-F8646B192305","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38555f72c4198b80465896c01392605568021618","datavalue":{"value":{"entity-type":"item","numeric-id":7034858,"id":"Q7034858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$1C2D2F2B-CE90-4C03-AD31-4B0F5E3D0EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$77DF9D57-9DCF-48CB-A177-B25A8FC6BF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034859$4C0DC00B-0E6F-4882-9900-90B95A12A729","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034859$FA083551-605E-42D5-BD44-D566644B5AEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df9b4b458235c61cb299d36f76f80bca06f77f2c","datavalue":{"value":"7977160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034859$F3E90F02-29F5-4CB2-A310-8F41B6C20823","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$D021A29C-9BB8-4F01-8B13-1492326800E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034859$E129B39B-D861-40D9-9C20-552A4BD72EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a63782a6e969ce5883b99a313a92f075572eae6b","datavalue":{"value":"hash table","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034859$91262975-EE60-4634-9AF9-82FCAF1239F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa89be6291f76505a3731100791807b3670f826","datavalue":{"value":"longmap","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034859$6107BD3F-578E-425E-946F-74183D0D58D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6043365aa64175d2aeb00ade3edb48a3f4051e6","datavalue":{"value":"scala","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034859$DF926893-A0FE-4B1B-BACF-545F6F4DA9CE","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":"Q7034859$A5A609C9-12D0-4201-B188-B9814CE7B9AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$85D026EC-87B7-4ED7-8448-3F95EC882BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3878a5cb8873ef240e516907eb0d77672150d9e","datavalue":{"value":{"entity-type":"item","numeric-id":549282,"id":"Q549282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$05F3C7E3-8C89-452A-8E96-BEE333E12C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8540e36ffb1879d5044e59186a188093e1cd894","datavalue":{"value":{"entity-type":"item","numeric-id":6611956,"id":"Q6611956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$B05DAB4B-E926-4235-B1C0-90E93884B5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479cd20b3cce738598bc393630e3fca1a9fa841f","datavalue":{"value":{"entity-type":"item","numeric-id":6535699,"id":"Q6535699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$7F5C7B4F-0730-4CD1-A5EE-79EA1AE1A228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6da331e810a932dbfb0f056c5c8b01e6d9d2c37","datavalue":{"value":{"entity-type":"item","numeric-id":4127984,"id":"Q4127984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$9726A901-2098-417B-AECF-C68E7CF05473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2605f7e0615a8e6ba357abcf8a9f8ba5f41ad3e1","datavalue":{"value":{"entity-type":"item","numeric-id":5370871,"id":"Q5370871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$6F56CB84-247D-4A3B-97FD-C9E0F680AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034859$40861B37-2093-42EF-945C-1198A8E77545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying a realistic mutable hash table. Case study (short paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_a_realistic_mutable_hash_table._Case_study_(short_paper)"}}}}}