{"entities":{"Q1941888":{"pageid":1952630,"ns":120,"title":"Item:Q1941888","lastrevid":43436176,"modified":"2025-07-25T20:05:37Z","type":"item","id":"Q1941888","labels":{"en":{"language":"en","value":"The safety-critical Java memory model formalised"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148353"}},"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":"Q1941888$D3EF123C-C34C-43A3-9110-B4959EBCAEDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"862351389df0580d17f977057b96618c9bf48b7e","datavalue":{"value":{"text":"The safety-critical Java memory model formalised","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941888$53A1EB8C-5564-4FA0-9064-7FB60DEEA6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"581116fd0a4f48ce8a69781875978f31a2a2675b","datavalue":{"value":"1259.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$FB34BC0F-CFD4-45B8-8E43-C9746D67A2A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$27AAC722-372B-41E3-B21D-8C28E6C240E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fcfe015b3d030ff851a646ac4a4ba21d0aeb782","datavalue":{"value":{"entity-type":"item","numeric-id":1770586,"id":"Q1770586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$C35CF579-7BC7-456F-B45F-67136585CE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$6F50F36A-78F5-40A2-B3F3-CAF4C1B79072","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$2430B9D7-481B-4554-A6B6-64E7D4BDB910","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-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":"Q1941888$568A560B-2898-408D-BFFC-1D4A4AEC1863","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$7CB30675-7992-4E6F-8B8B-613A74976F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$A24B97F3-C6C7-4F0E-8125-C03FDD45282E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$C823B6B9-E869-49FA-A823-2AF8716FD1F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9593ca898169a7e1f40ae9ab514ffd33ae415b3","datavalue":{"value":"6148353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$39150D14-4A2F-4912-9EE0-583180E6CE31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33da7e3853071a32a8cbdbe38424ee6a37b7004","datavalue":{"value":"safety-critical Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941888$6ADF32CE-5646-46DC-B98B-2D32FC299A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa365f462f7bd1b9fdf8abaedd14810c00851a5f","datavalue":{"value":"memory safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941888$61F55942-9077-48CA-8452-CF0CC9DC660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941888$4DA24BFA-4126-49EA-A2F4-63E564FC94EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941888$A59C6BFB-B4A9-4EA6-A24A-3AC1C8138A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec0631565ebde35d187cc0059ef452a7b66aefd","datavalue":{"value":"integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941888$6977BDF8-E99E-4A74-BBF3-247C227CA1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941888$8328C61B-755F-4B5E-B78E-B4D58DE2E970","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$F7B6D1D5-DE9B-433B-957C-1C24E4BFD638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b5e8edef972e5928d0af948171b712f3c8407b4","datavalue":{"value":{"entity-type":"item","numeric-id":5972677,"id":"Q5972677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$8EF3E25E-8351-41CF-A239-B8E89C559E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$2FE31377-BCB1-4621-A727-9E97B3ECE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$F44D808F-02DD-4E2B-B739-8290F4FE5D51","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":"Q1941888$F64C0C6B-4E18-4AB2-B933-D6CEA5503CC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18ed4331f688f318d58b83aee75fe32baf8acd1c","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0253-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941888$E6EE1600-2A2F-47F2-AB6F-246D09C0E2CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce9015c9bce4d8aae3f1f86042a7bcb2c8283942","datavalue":{"value":"W2061414465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$13B66133-4CF8-4AD8-9194-931682A3E39A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32873b63211e359025d0fffa3822d61ff66f942d","datavalue":{"value":{"entity-type":"item","numeric-id":4343984,"id":"Q4343984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$52D1077E-FF52-46DC-87FA-F2C21363B2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1fcaf801699e340ab052c7ce961980dd3177c0","datavalue":{"value":{"entity-type":"item","numeric-id":5307482,"id":"Q5307482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$0F3E6572-1042-458E-9F72-BFABF9AC114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6e496e1f524d4e43b1cd367c9d4ce92ef8c083","datavalue":{"value":{"entity-type":"item","numeric-id":3618818,"id":"Q3618818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$EF388726-7219-4ECE-A017-861DFC42F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fb67831048f0d62fe4d449fdd58a69df2892fe","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$5505C5C4-4658-4BB7-A939-24DBF27D9E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a719b09c741781eed5b77ae51fceb2a045b68e","datavalue":{"value":{"entity-type":"item","numeric-id":3608891,"id":"Q3608891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$9A90F457-D7E8-44A3-B8F4-EBAC11F6E880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$3CCF7BF0-27F1-46DF-8EFF-AB993523E3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be54a74b6e196c5ea397ce63a96f656ed0929e","datavalue":{"value":{"entity-type":"item","numeric-id":968306,"id":"Q968306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941888$FEC1C855-B732-4B3B-9089-61609E1E0BD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3909573c5f558ae4f1acd3be5fdf15f3a891deac","datavalue":{"value":"10.1007/S00165-012-0253-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941888$4397F491-CFF3-4969-BE9F-63FE96688772","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db442536ae6e62ff9ab4d3a185c91390ceb7fc7","datavalue":{"value":{"entity-type":"item","numeric-id":2892748,"id":"Q2892748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fc91ac02af4577c87829cd5eb4e03e8ad43183","datavalue":{"value":{"amount":"+0.92409086","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":"Q1941888$F8848940-E52F-4E7D-BCCE-9D83AAF2FD45","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":"b5d36b6cb3999db6273f6c777a3cd82037810893","datavalue":{"value":{"amount":"+0.9110538","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":"Q1941888$17B6F5E9-616C-4FDA-91F9-37469C688F52","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":"87c09d18c66cc655e2501ee06a016f1634d79e39","datavalue":{"value":{"amount":"+0.90635943","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":"Q1941888$6FFA020A-23CB-4EC2-9DC3-3FA57B0C9CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de3d15387c229207d7c2e49f3192b254d89dce6","datavalue":{"value":{"entity-type":"item","numeric-id":2443940,"id":"Q2443940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb977e7e21a200b1ee69e09fb3716b1472db846","datavalue":{"value":{"amount":"+0.8951084","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":"Q1941888$0E13F41F-D4DF-4979-8790-9E7560C5B5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2012ab69fcb2b12b7e639732dac8615eb9b5b26d","datavalue":{"value":{"entity-type":"item","numeric-id":2722012,"id":"Q2722012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879a80f8eb8770d8f54e5b21219fda4fd090ef1c","datavalue":{"value":{"amount":"+0.876955","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":"Q1941888$43A200FC-531E-4A46-B9D6-706E6CC1D0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c25ca5e49a67ba513c8a109b68de4de70a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":5756503,"id":"Q5756503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc1288bb993c87416424cfb6eed715becfc7ff6","datavalue":{"value":{"amount":"+0.8701752","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":"Q1941888$8CC1ED1D-03A1-40BF-9CE4-0927E662C076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941888"}}}}}