{"entities":{"Q2272925":{"pageid":2283668,"ns":120,"title":"Item:Q2272925","lastrevid":71734389,"modified":"2026-04-14T00:12:01Z","type":"item","id":"Q2272925","labels":{"en":{"language":"en","value":"Formalizing and checking thread refinement for data-race-free execution models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106052"}},"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":"Q2272925$5A629BF0-E35B-48FE-B09E-FBC5EE095E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b67244200d39fe76ae2a629a89253268e82554d6","datavalue":{"value":{"text":"Formalizing and checking thread refinement for data-race-free execution models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272925$07BF2377-CAB5-4429-A78A-748C41202AAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cd45cfd43de1249f1d9808ac4dd1f3102bc77c9","datavalue":{"value":"1420.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$CA484860-1155-4A7C-AF45-B2BFA9BC7FD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"065e081dfba1035868bf9cd1439625fa35b0340a","datavalue":{"value":"10.1007/978-3-662-49674-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$CC2AF925-F5D1-484A-BC0B-24BFFF5D99A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1076cfeb1b25565115e697e15ba2e84532030e17","datavalue":{"value":{"entity-type":"item","numeric-id":2272924,"id":"Q2272924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272925$1F633264-AB95-46A4-BC04-618A73E57DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272925$3D9DEA91-16F4-4367-82AE-CCCF242C9EE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272925$E7BA524A-A975-4C58-AFC9-5AD83588179A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c1ec7f4c085642a407c0f4df7ae9f7b313cd174","datavalue":{"value":"https://arxiv.org/abs/1510.07171","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272925$60AEB11A-B05B-4C13-B2C5-57652244F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e46bd391b1b667a3b2e469fe0f068d3e835530d","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:75e286e6-8ddb-4dc9-bf84-9cae949ac674","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272925$6E397120-7398-4060-AF8E-C4E71C14E329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$E2D95CEE-ADB5-4A4A-9210-E5A4ECFF817B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$9859E688-A66A-4102-B23A-132E983B61D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$B36F3D34-59C7-431E-AE62-2B3E48C09368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54d5096283dc5bbf6ba7318df10d0db9541c68e2","datavalue":{"value":"7106052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$2BFB3EC5-419D-4050-91D7-66422CE71231","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":"Q2272925$94E8330B-03E9-479C-93F4-048E3F74AB91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2fcdf32cc413afb106fb7fb29b4e8a2b0707d23","datavalue":{"value":"W2321074481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272925$4406B860-C76A-425D-9062-3C5C932AF4B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2bea6f7fc0868fe3579211c82d466bec38361f","datavalue":{"value":{"amount":"+0.7447360754013062","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":"Q2272925$5D1244E9-5C16-453E-895A-C1501A704B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462dfad0e5bdbed064427d65ba474a3e4bcfe551","datavalue":{"value":{"entity-type":"item","numeric-id":3000580,"id":"Q3000580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54712f6cd8d371023952bfa1d925f1579cde330f","datavalue":{"value":{"amount":"+0.7305190563201904","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":"Q2272925$67D4F3D5-3E15-47FA-9295-5A5DA9BD26EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef762977f4a2917b28ec00d9999e2245a7862553","datavalue":{"value":{"entity-type":"item","numeric-id":5233246,"id":"Q5233246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6990ebd63a606c94affc95cdd2031056d4d2d6c7","datavalue":{"value":{"amount":"+0.7238667011260986","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":"Q2272925$8C88E7D6-7EA2-479B-940B-61C27243E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbfe59d43c347674e5ca3724e0d5090c46114cb","datavalue":{"value":{"amount":"+0.721086323261261","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":"Q2272925$82F2DF20-384D-4F5C-A0F7-B0114F287B5C","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":"2a71fcad89460847534277f03d1750ec321d1a82","datavalue":{"value":{"amount":"+0.7195823788642883","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":"Q2272925$1EF28CA0-E217-4725-AD81-BA87566462B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing and checking thread refinement for data-race-free execution models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_and_checking_thread_refinement_for_data-race-free_execution_models"}}}}}