{"entities":{"Q1944054":{"pageid":1954796,"ns":120,"title":"Item:Q1944054","lastrevid":82222802,"modified":"2026-05-06T20:23:37Z","type":"item","id":"Q1944054","labels":{"en":{"language":"en","value":"Introducing concurrency in sequential Java via laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6150241"}},"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":"Q1944054$2DE23A43-ECB1-4AD6-9A8B-6452AA43AAED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecd9b3155cd4d69f6057928b96bafad1057126f0","datavalue":{"value":{"text":"Introducing concurrency in sequential Java via laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944054$A6B5C156-7A18-4450-9921-4F6F37DA1A19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7455ff0d1fc23adea2ff34d2ea3769ff23d6124","datavalue":{"value":"1260.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944054$D12D2F3E-D51A-4FEB-924F-00524DC7F29B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b2cf2660188fbb68ca8210e14008d9d643342f7","datavalue":{"value":{"entity-type":"item","numeric-id":1944053,"id":"Q1944053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$82AFAAED-69DB-474A-86EA-FC6C18E4BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7adeca81e015c1557520dffe4e77927ba591c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":175411,"id":"Q175411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$454ED646-BF3D-4816-A24C-8B30528350C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$985B087A-6EBD-4386-BD0B-DB177DDC0941","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$7D3C81E0-1C3C-4366-8686-7F6A6BCD8FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed03f72b49df8968931f2c7d2aea5cd917c04029","datavalue":{"value":{"time":"+2013-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944054$D5430B1D-3332-40F0-B36C-971EA83B7497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944054$00BC9C57-65B3-4EE9-AFF8-C6166A1F59B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944054$D4D2259F-6AF3-4E82-9139-2A1C4C031B3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b4f4fda18db84c821f186aa42c82804a85cbce","datavalue":{"value":"6150241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944054$279AB533-D0CB-4E6B-A992-3AA1121EE809","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944054$D73E1BE4-6CE8-47D0-A57A-FAB40799C641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944054$84408361-41DE-4511-BEBC-CD01663D2E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5e0888fa9957c443e210eb3c88f717e276ae13","datavalue":{"value":"parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944054$AE5E5EAA-D0F7-4ABD-9607-531DF67BD660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944054$E1FCDE00-D93A-4304-A409-F8B3C0768BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944054$8A63578E-106C-4676-8FB4-5C832127C0A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5194a7eb60f5e6437701ecbe00fb4a5b80ed4426","datavalue":{"value":{"entity-type":"item","numeric-id":24731,"id":"Q24731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$9CF3CE04-3FB2-40E6-831D-3CD847AF4F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5325b0583a2d6a598597c030244289ffd72fbbc4","datavalue":{"value":{"entity-type":"item","numeric-id":14938,"id":"Q14938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$8ED46AF8-CBEC-4250-8C5A-4130C8A235DC","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":"Q1944054$6C742BFF-F7B8-4437-A297-46FA0E5331F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a90ff10e2ec1b4caf0c3f99310875c617b49ea47","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2010.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944054$11B2F9EA-3168-4272-86B5-87655B0E5EA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05a5f50fd70093edfdcbc296b778a5a665da99bb","datavalue":{"value":"W2056327145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944054$F2E69520-DD3A-492D-91D1-62F3DBA6DA0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a286575100e43282a45071214a1526c29ecba5","datavalue":{"value":{"entity-type":"item","numeric-id":704728,"id":"Q704728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$D2751AC7-285E-4C5C-BB5A-C5C5B5C36066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808dbe2a780c272720f88fb263d605417a0dc136","datavalue":{"value":{"entity-type":"item","numeric-id":1878913,"id":"Q1878913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944054$A148C037-6DC4-4E96-8EB5-D62F0A936A44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7708f6e4da1d25d357fcfeaf887b1abb646594cd","datavalue":{"value":"10.1016/J.IPL.2010.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944054$FA3E113C-2171-4C63-B108-A9B6FEAE9EF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94b0517a9b98f61ad5483c78d4815743a5c7a35","datavalue":{"value":{"entity-type":"item","numeric-id":1016643,"id":"Q1016643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23faf32a5b7e1da6fa60965060d457342c5f8a93","datavalue":{"value":{"amount":"+0.7149255871772766","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":"Q1944054$005814B8-6310-4791-8D93-A6C4C3B50CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cdf49800ceaee2b0428185325c2efe8ab3dbcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2758634,"id":"Q2758634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba700f9acc33eacf103b094898c23eec75867256","datavalue":{"value":{"amount":"+0.7023079991340637","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":"Q1944054$20C0992A-96FA-4070-B87A-6A6200D83BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7715ac68dfa4e86b416a035aeec1c68598c2ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2753707,"id":"Q2753707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ca1c1e0e8543d74f68d2568564e5cf184c2ada","datavalue":{"value":{"amount":"+0.688447892665863","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":"Q1944054$548282BA-E500-4B06-8331-8C4256FB742F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f03e70e2fc3cb2a69ab742ea0b9e2acba88f63a","datavalue":{"value":{"entity-type":"item","numeric-id":4698369,"id":"Q4698369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b06776f0a6929e4ace12c373474a17876ab0ba","datavalue":{"value":{"amount":"+0.6819117069244385","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":"Q1944054$C44903FB-8B4C-440C-9675-26BDF9E00BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6988fcd03724cbef920aedf808af844e993a2ec9","datavalue":{"value":{"entity-type":"item","numeric-id":4738840,"id":"Q4738840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d53b0232258c7ef69750d92eb110a7ce715df34","datavalue":{"value":{"amount":"+0.6804810762405396","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":"Q1944054$45CDC2FA-DC20-437B-BCEC-101496164101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introducing concurrency in sequential Java via laws","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introducing_concurrency_in_sequential_Java_via_laws"}}}}}