{"entities":{"Q2892748":{"pageid":2903473,"ns":120,"title":"Item:Q2892748","lastrevid":51497282,"modified":"2026-01-18T12:39:39Z","type":"item","id":"Q2892748","labels":{"en":{"language":"en","value":"Java and the Java memory model -- a unified, machine-checked formalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049280"}},"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":"Q2892748$B511F757-2576-4640-9554-501215A2EA8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"605291e915ebc9e3e94ac890a5e14fb40166b55b","datavalue":{"value":{"text":"Java and the Java Memory Model \u2014 A Unified, Machine-Checked Formalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892748$F0CE01AE-4129-43D4-92B1-AC89AA141D5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e276c4d39d3c2ead7fc9b2d57a4051c8f35a6ea8","datavalue":{"value":"1352.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$3EEE64D0-1FCD-43A8-9C0B-517CB6EAAB7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d497cd50cb4587ae1e061b796bae5737b4c8a304","datavalue":{"value":"10.1007/978-3-642-28869-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$58244B3D-7E41-4250-BDA6-3CEF73987B2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892748$D86B2BBF-F851-43BA-9DFA-E324333104F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892748$3ECE8EBC-A05D-4064-BFB4-4BAFCCDEA632","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$C4C42A23-B5E1-49AC-956F-A5C762F41D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$0A1F2738-7225-4BD2-BED6-DF6B2CA661A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$14867CA1-E21B-4084-9ECA-717EFCD0B634","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d1b220ab2b4800a09d42f9d1710cd3f4f561784","datavalue":{"value":"6049280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$3BC44D91-1732-4EF8-AF1A-1EC7C51F79E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892748$05A3EB1E-9C23-47E3-BB3B-158E50AC5CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b749df484915165121f8a0de730969762d4c4285","datavalue":{"value":{"entity-type":"item","numeric-id":40253,"id":"Q40253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892748$06F0FBBD-93D3-4E57-AFC3-85A144F5F8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86d9d04762f0ea93e67dde51002faadad043987d","datavalue":{"value":{"entity-type":"item","numeric-id":40252,"id":"Q40252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892748$EA0BA485-8A82-4BC0-9606-34C5A4DEB19F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892748$E856AC05-547F-4D15-A3B4-D11030C09BA8","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":"Q2892748$A03D2E9F-E4AF-480F-9928-C6A131D68E60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38de1d537faec91e934b92c1973f5d3b3ab80dd5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892748$3EB89B71-EC30-4F0C-A0A0-B9BEF94BC1E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"356a67fc9c610b480cb995bd988e554a7748abd9","datavalue":{"value":"W64027241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892748$CF82CF5A-0542-4BCB-8E51-5AFAED6A237C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eaffb589497ea3469dcc257718aa34ae285eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2754065,"id":"Q2754065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e8736fbe92dc63d883d43234e84b81f60dc628","datavalue":{"value":{"amount":"+0.8507785797119141","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":"Q2892748$3D1893CD-5587-4BE3-AB42-5F9A657D0E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505611ef02b2a722b7e9be561f37aa086880d4db","datavalue":{"value":{"entity-type":"item","numeric-id":3523163,"id":"Q3523163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd053528752ad96ce9e7bd7bb5a6a9192debf4c","datavalue":{"value":{"amount":"+0.8487585186958313","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":"Q2892748$ABB87DA1-D663-4C72-8631-96A0D41CE64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c165bde94abd1c3fd680f0a1cfe01be560585af","datavalue":{"value":{"entity-type":"item","numeric-id":2894274,"id":"Q2894274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb81a7634bb8b3b846fd38b6e7f32e63b064a0f","datavalue":{"value":{"amount":"+0.8431549668312073","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":"Q2892748$EF9ABBBB-6238-4B5A-94E0-B77906E5E71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57255c83ee5eff21ef14be0b88cc7ae23c5622f","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5577e20a8cce2a5c3d65b62bc563a1ee429aa81f","datavalue":{"value":{"amount":"+0.8290290832519531","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":"Q2892748$9C7406CB-7B0C-4D91-BF66-2E7B9576252B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de01c215cf4f50be3d7010f8851fc15145abf901","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5577e20a8cce2a5c3d65b62bc563a1ee429aa81f","datavalue":{"value":{"amount":"+0.8290290832519531","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":"Q2892748$FC940456-1029-4C55-97C1-D9E384C43F3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892748"}}}}}