{"entities":{"Q1004057":{"pageid":1005905,"ns":120,"title":"Item:Q1004057","lastrevid":65985126,"modified":"2026-04-12T06:45:34Z","type":"item","id":"Q1004057","labels":{"en":{"language":"en","value":"A shared-variable concurrency analysis of multi-threaded object-oriented programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522087"}},"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":"Q1004057$AC4EF0B1-9514-47B8-AD5E-7D18823E3CEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09bcaddc8a2d6588b823eb1b22cb165713492024","datavalue":{"value":{"text":"A shared-variable concurrency analysis of multi-threaded object-oriented programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004057$4117A7C5-44A7-436D-8F6D-E3AA239EEC1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e44a4b5d8dedea62018f72e5157ffa34e91414da","datavalue":{"value":"1169.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$E62B6DE6-23DE-431B-8395-4146C3255925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$12255A6A-38AA-40C2-8672-DE2539F45040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004057$F2A0BF09-7F5C-44B6-A568-D3B46F31766D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$74C3F0C5-A7B9-48DE-A323-7F80C370B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$6D65FDF0-99C2-43FF-A5FB-5BE35EE7C593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$767AFFAE-690D-4299-8021-C85BAF299F23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a71f706ec616871ebea2089f7220ea28401ef0a","datavalue":{"value":"5522087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$1D9313F9-CC19-4E57-99F7-2FF6E8DA264D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004057$A717F4A9-B563-427E-BA0F-CF7DC5B75E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004057$DFF3C5B4-37DB-4969-91DB-190C76F34B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a6754e81b3ad7ca8d09f9fdd164b01a1847e4b","datavalue":{"value":"multi-threaded object-oriented programs interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004057$9DB42C55-C211-48B6-BF4E-52128B8E7C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004057$9F083109-DEB0-4B05-BAA6-15D6E628EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004057$C8759AD9-2007-4F92-BA97-8E8AFD58C26D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$0D9C8C1F-1977-476C-A05F-35CE6DDAE550","rank":"normal"}],"P1463":[{"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":"Q1004057$B212067B-864E-4EDD-AD6D-FFAC4111A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d618f2518558acd5a4de20ebf1f4d24983053a90","datavalue":{"value":{"entity-type":"item","numeric-id":21728,"id":"Q21728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$046A254F-EB50-477D-9E0C-00322BEFAFFA","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":"Q1004057$3835FFE0-9B98-4E11-99E9-AA26D573C0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bc1c3a56f3f45d170b7f3aac0b2828976771923","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.09.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004057$EB2A2F53-3504-49F5-B77E-DB3FF3B577CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4f1f0e15de79f821a0495f13f54bda7a4b20c75","datavalue":{"value":"W2118384673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$E40A57B7-97C4-4400-981C-9427B7665E98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0662e84b582f303e195cd1c71939304ef423cf70","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$CB1FB04A-3099-4F26-9CB1-138A732B728B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$3783D8F1-BB20-481A-9C71-07342E61DC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caa445425764e7875fe94e1cdad65b198ea16f3","datavalue":{"value":{"entity-type":"item","numeric-id":3969859,"id":"Q3969859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$D4E81DAD-8145-42B8-AEA2-99714358D646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$0F4F0D7C-FE4D-43D4-8E7A-F6DA85724622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba54cc831f9d62f5af870cb95f2fd156ea42fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2936788,"id":"Q2936788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$E1E7A718-393B-4826-B717-AB3AB4353274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504bab4152ba47248268d37300fcf139e461602e","datavalue":{"value":{"entity-type":"item","numeric-id":4727411,"id":"Q4727411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$C643F079-F560-4176-9A06-4C37871C88A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fb6f8f1f78bf5f677a34347e5d10d985336655","datavalue":{"value":{"entity-type":"item","numeric-id":4140351,"id":"Q4140351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$1F1AE713-E903-43FD-BA80-6EA9ACD0CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004057$9A6BD6CE-8C09-415F-BD76-8FB23AAD88FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6255ca04db9f7a9968163e1cbcf99fda9f592915","datavalue":{"value":"10.1016/J.TCS.2008.09.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004057$DC64A7C8-5770-4279-9304-1131B602EA2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9085fff73a4e1486971bcf6d892241bd256580","datavalue":{"value":{"entity-type":"item","numeric-id":5428915,"id":"Q5428915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f759cf0b6250db2b704218bd6399f67bc10cef","datavalue":{"value":{"amount":"+0.90358514","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":"Q1004057$3FF1FFC3-D506-4081-93B2-9D1362EC6F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e8493bb5fbce19318d47f6516bb746b51a1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1671142,"id":"Q1671142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5ccb6bf4aed1a0c7342084fe6a5d0dedc749b2","datavalue":{"value":{"amount":"+0.8734592","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":"Q1004057$0F0DD857-AAB9-4B35-A53E-09F901B7337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2db3ac81d3b13b752861d051a1dfc68f2b6e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7abfa4eb9a9b543bc690c550bd7e87282616f3","datavalue":{"value":{"amount":"+0.8705236","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":"Q1004057$629782B4-9165-4007-A780-328C94845EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d62633c624c0841b09658bdbae66fc27738a74b","datavalue":{"value":{"entity-type":"item","numeric-id":3045251,"id":"Q3045251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6360a19d166c1c26331c63f164762f4b55344721","datavalue":{"value":{"amount":"+0.87009156","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":"Q1004057$793AFD14-C73D-4744-B094-A9E41F405699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207fc26789e65b18874145e9467e94f580f1f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c6e2219ea6f61fe9e1ed85a11cc99a8c0f691d","datavalue":{"value":{"amount":"+0.8699387","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":"Q1004057$31C2CB01-19E1-4101-8A8A-8FCDA95F9378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0d22a9f60cf08b25e63a7bbb05320d3e51ea36","datavalue":{"value":{"entity-type":"item","numeric-id":4261078,"id":"Q4261078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f36986937be030ba0623c490c2637defacccad","datavalue":{"value":{"amount":"+0.8682623","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":"Q1004057$49B25ECB-FBE2-4158-BFC2-36054011419F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shared-variable concurrency analysis of multi-threaded object-oriented programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_shared-variable_concurrency_analysis_of_multi-threaded_object-oriented_programs"}}}}}