{"entities":{"Q2165501":{"pageid":2176244,"ns":120,"title":"Item:Q2165501","lastrevid":43626906,"modified":"2025-10-31T14:05:08Z","type":"item","id":"Q2165501","labels":{"en":{"language":"en","value":"Formal specification and verification of JDK's identity hash map implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573714"}},"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":"Q2165501$931B0C68-AE91-4F13-AE7F-8E3C160BBD42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b5ac9720cab16f637cbd1eb93aa080c40b2486c","datavalue":{"value":{"text":"Formal specification and verification of JDK's identity hash map implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165501$B10DE846-2BB1-43E9-8F36-DA3A88770602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf8742c664a5a88870397264df78a68f5af5531c","datavalue":{"value":"1502.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$F8F0EC26-F5B3-4029-B6D3-83CBE10BE56C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edc7581af5ea3ccd52a97bf1a8a3ce3326921870","datavalue":{"value":"10.1007/978-3-031-07727-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$1E41AC5D-141E-4AA6-8E60-5DDC4EEDF2FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e039a2fc16e198a3b5de9c36fee3c6c93937da3","datavalue":{"value":{"entity-type":"item","numeric-id":2165499,"id":"Q2165499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$1D8A823D-3BE7-43A5-B0E6-CBB76E84CF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aefd3dc8baf412ad499f2ca296441595294e16c","datavalue":{"value":{"entity-type":"item","numeric-id":2165500,"id":"Q2165500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$80344C4D-BD49-475B-9AFC-52ABCB39AB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b40af6acb3456c1b6977fa01e79eec0014485a","datavalue":{"value":{"entity-type":"item","numeric-id":1630024,"id":"Q1630024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$914414C6-C854-4E9D-93C7-99024DA51FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31515ed69a84f0b06568d583b29c1b31c782866a","datavalue":{"value":{"entity-type":"item","numeric-id":832052,"id":"Q832052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$2D43B5A7-B3EB-46AA-9C7A-6AD5DBCF73DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0398911d42e6e3a3ccdcc486b680b938bf2b8aaf","datavalue":{"value":{"entity-type":"item","numeric-id":804296,"id":"Q804296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$3A02E1EA-1F76-4EFF-96D8-2B51E6D32079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e006463586296b6604df0526236cdd07ea4c259","datavalue":{"value":{"entity-type":"item","numeric-id":439943,"id":"Q439943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$D75B4867-F9DC-4E9D-BD19-6D44EB2C1B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165501$2D3FA37D-5AE9-4C81-90D4-E59D5A6DE277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$9DA4C2AF-87E7-47C5-9867-21DCB6EAA944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$6DC262AA-210F-4464-9E12-7D8D59DBBA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$A07AD9B9-701D-463B-9DDF-43F5174024B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d450e332f7e4462a6b664dc88b533c3adc067db","datavalue":{"value":"7573714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$388349FC-759A-47AB-983E-F0E3D3E98A36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a39f3391456e628009a52cd8ed1a4309c7e72db","datavalue":{"value":"real-world case study","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165501$A2860956-AAEF-4C49-B98E-1DF403603CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757d965346c06c3204f84840816c70899ad83131","datavalue":{"value":"deductive program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165501$49486A37-561E-4FDE-9C99-C7513CA8DA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c828e9ccf6760aa8c3fbda847f2852a33f0e5c","datavalue":{"value":"Java modeling language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165501$68CC4BD2-FCB4-4204-9717-E0CAE97EBCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ee42397ca654a0833f967268698e08358a33a5","datavalue":{"value":"verified hash map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165501$8376FE84-26FE-42D5-AD69-00D3F1AF567C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63ba9f019635d67d83cf20f4d09a730c89fe19be","datavalue":{"value":"verified data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165501$03C51ACC-93FD-41EE-9551-EF533B2B4423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8eacc04f2bdff48ef4e14b3be3d5b3f1bf649d8","datavalue":{"value":"cooperative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165501$3648A59C-9475-4406-81F1-6EB20ED5D5B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$E97E78B7-634E-4832-A056-B593E10CFB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ba44c00a1dca3a3675ca0a9e2d9e7fbaf25b9e12","datavalue":{"value":{"entity-type":"item","numeric-id":37641,"id":"Q37641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$1B62B436-0EED-4AF8-93B6-BBD0D2F6580C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b41e86b1b411e7fde45349aeda15658331b3c1b8","datavalue":{"value":{"entity-type":"item","numeric-id":13232,"id":"Q13232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$C7EDD82D-D7C7-45B4-BE35-334F19FD1A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15df3347da4f77fd05a06551feb8504f4b1bfb98","datavalue":{"value":{"entity-type":"item","numeric-id":31665,"id":"Q31665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$0D4470CA-F493-4077-99D4-5575EC56776D","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":"Q2165501$55CF4B75-D9E7-492D-9F5D-D6B6F40A4E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad5bd4988c337c79b2e64992c9ad76983e2ba8f6","datavalue":{"value":"https://doi.org/10.1007/978-3-031-07727-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165501$6E7F8C65-93C6-43F5-B89A-B2BAAA882CED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15fcc864b8bec0cdf735a4ddfe4a5ff97add51dc","datavalue":{"value":"W4285124781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165501$9E3AE2F9-9992-443D-8F18-69B56AAC2915","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19d8be06009204324df8ff597524e57805cadb","datavalue":{"value":{"entity-type":"item","numeric-id":1630025,"id":"Q1630025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$5365E682-0D68-48FF-B5A7-7EB83B2778E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e044e9e3b21b228718f89e1b64de2c48e2e3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2875082,"id":"Q2875082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$387299A8-8965-4B65-B765-E1F962CA0048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30d090e1b9bf62fcb593518cbc377ab44d312a5","datavalue":{"value":{"entity-type":"item","numeric-id":3067548,"id":"Q3067548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165501$5FD226DA-5B27-41CE-85A4-28464B0AE28E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc2b1143b41820ec316c87ae158e220cd9bd863","datavalue":{"value":{"entity-type":"item","numeric-id":2771757,"id":"Q2771757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9af7705752acede18d9a7f87617df4cfadf5c6c","datavalue":{"value":{"amount":"+0.8621905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165501$E538A731-BB1C-489F-9BF3-917BA8742C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bc0c6cc4965d32c7db8d601632ac735d4c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c67b1b56f1f03556cf7671211408e32864669f","datavalue":{"value":{"amount":"+0.84977746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165501$99AC987F-DB05-4968-A144-4BC9186D2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fee3c78a26bec46f8a63f4a521fb36d0e5b9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5166662,"id":"Q5166662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bfa099146363d888e198305c0861f2594319db0","datavalue":{"value":{"amount":"+0.83090025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165501$9FC4A338-086E-4559-877A-94792A9F1D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b351945072ba9ccd92641ab9dbbf3cb84d1c975","datavalue":{"value":{"entity-type":"item","numeric-id":4794727,"id":"Q4794727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52995f77faad553d5a231664b2fcfd1808b25ceb","datavalue":{"value":{"amount":"+0.8278154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165501$D4DE345D-5168-41A9-8BF3-E440B5085193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670aa66f52a18b1f697db7bcee1e566ae2cde7a2","datavalue":{"value":{"amount":"+0.8231082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165501$E45ADD9F-115F-4733-838E-43DFE2C124D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef10785ba3147b129147c393779f9863b9a70a","datavalue":{"value":{"entity-type":"item","numeric-id":5506391,"id":"Q5506391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edcdc67186cf4635df1bcc615e1a67fa74047e7","datavalue":{"value":{"amount":"+0.82288724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165501$C67E86E0-D4DC-410C-A6D9-F5CDD3C4E94B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165501"}}}}}