{"entities":{"Q2819831":{"pageid":2830569,"ns":120,"title":"Item:Q2819831","lastrevid":52631369,"modified":"2026-01-23T03:48:32Z","type":"item","id":"Q2819831","labels":{"en":{"language":"en","value":"K-Java: a complete semantics of Java"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631319"}},"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":"Q2819831$CD36EFA4-BAC4-4D10-9FE1-A398E7DB0C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7641e8a15c776858e51f2cf40b4b1288ea233167","datavalue":{"value":"1346.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$87593857-BE5B-4A96-BC0F-17FDF32A4478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f48882e142a39bb2e2509b9ec52151b69f1b695d","datavalue":{"value":"10.1145/2676726.2676982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$2EF5AC68-92B4-4A78-8152-41045C6A2D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75d0fc818e24a85adc1e52c363ca0d75180ecad5","datavalue":{"value":{"entity-type":"item","numeric-id":2819830,"id":"Q2819830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819831$84160ADF-871D-4081-8656-D3F8CC899F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819831$8205FE61-D07C-4818-97E8-14E95F6AA485","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819831$7D045940-04CD-422E-857F-378ED9FE3302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819831$78F015FA-6233-41FD-B680-2F53516E59E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$302B32D0-5345-453B-AAD2-2E7659A1F854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$7DB5972D-BC35-4F3C-AD84-25821A490E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$3FDDA18C-E45C-4C36-942D-7D4C5DA304D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6427c27eeabf53980cdc85228e07fd791c0cea1","datavalue":{"value":"6631319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$5C06FBE9-8417-4D18-9EBC-A4F5A475FAAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819831$1D6E54EC-F946-4D2E-BD43-EE3F859CB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512ad73b89f393b02a9b4022a91ea85653a7139b","datavalue":{"value":"K framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819831$8FC3A6B8-CA05-4F5B-8E9E-2E764510D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5dd5c8acf1308ec7dc28b894a7c73396ee20ef","datavalue":{"value":"mechanized semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819831$CFEE7D38-AA89-49CD-9175-B26DABC96545","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819831$DBBF3658-AB37-4CF0-B8A8-A369CBBBD19C","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":"Q2819831$4FC1519C-DF8C-4D62-B232-0FDF95FA8A9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50d14e992fda0e07b56a87e9ec10f6f2119851d3","datavalue":{"value":"https://doi.org/10.1145/2676726.2676982","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819831$62148889-5DF1-4172-8D4E-31FEFD59E93A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8704365fd56b28796c5e931c9641c00cadda1ce","datavalue":{"value":"W2082036516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819831$BA61EDFD-01FF-48F9-9565-75D0E0E2F84C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae86c4b0b89bf2c874516ba64f5c1de338284c66","datavalue":{"value":{"text":"K-Java: a complete semantics of Java","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819831$F747825A-AB59-4035-8B7B-DCDDD2AB3B8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf02f1efac4f39981281c38ad328a5ed9b49128","datavalue":{"value":{"entity-type":"item","numeric-id":5305646,"id":"Q5305646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef028000d24ea316554890c818a27d016e43dd9","datavalue":{"value":{"amount":"+0.7538336515426636","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":"Q2819831$91AB0179-BC9A-4BF4-96AF-69F8EB14FAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20396aa5cd838169f5f47e75b6edbb854d7cb1f2","datavalue":{"value":{"entity-type":"item","numeric-id":5316580,"id":"Q5316580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4637c62cec144e1fb1fdd844deec0710c43e374c","datavalue":{"value":{"amount":"+0.7471190690994263","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":"Q2819831$D3890FE4-DA7B-4E40-8944-E60E8FC97795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2acafe07ccc311ad4048ab2265fa40b3451de65","datavalue":{"value":{"entity-type":"item","numeric-id":5435635,"id":"Q5435635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367ed352c4404f04212b3e0cc68c071136989deb","datavalue":{"value":{"amount":"+0.7445448040962219","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":"Q2819831$557FBDDA-009C-4D25-A4DD-496413954987","rank":"normal"},{"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":"8430f423f0e588e75ad4faf73984f9976b08fb4d","datavalue":{"value":{"amount":"+0.7403258681297302","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":"Q2819831$576F8581-FF49-4484-9191-AD2E5D603930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38b53b98c65f89ee27d6f3305cd7b54e8437c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e843537efc9a3dae2c8dbab19a77e7ebb4f099","datavalue":{"value":{"amount":"+0.7339816689491272","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":"Q2819831$1FE3755B-F5BC-4E19-AE5F-53331A4B604C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819831"}}}}}