{"entities":{"Q2482021":{"pageid":2492764,"ns":120,"title":"Item:Q2482021","lastrevid":74184897,"modified":"2026-04-14T18:50:44Z","type":"item","id":"Q2482021","labels":{"en":{"language":"en","value":"A challenge for atomicity verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5264466"}},"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":"Q2482021$0375369C-6131-4C09-8C7F-8CC6FB93108A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f8c2725e90ad884683e029aaa2e238bd0d7105b","datavalue":{"value":{"text":"A challenge for atomicity verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482021$C7A59ECC-42DD-4478-A2C0-2D808DF77C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"906544824f40b9fe672be07ad1a48303bd451d8b","datavalue":{"value":"1141.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482021$7DB8A4BA-8050-41C0-AC22-ECD6CA746AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482021$0D820BE7-DBF1-4BB0-8C18-36EB1C71C07E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482021$04247527-DFC1-481A-96CE-F41FBDD852A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a5658e642f3500324f78b23f55b5ff809190c23","datavalue":{"value":{"time":"+2008-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482021$757C4889-36D2-4312-A39D-295C33F9EA42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb74871dba7e952235f9bf65e37d609dc4cb1255","datavalue":{"value":"https://pure.rug.nl/ws/files/2756022/2008SciCompProgHesselink.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482021$5FBC53A8-94EC-4DB3-9076-60DB3226416D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482021$41291DC6-E195-4E5D-8BE1-EB1518DD5AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482021$3E737D01-7007-442F-B6AA-169EFA0A357F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc859308763b8afd675643bbbc7967351bf6a7c4","datavalue":{"value":"5264466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482021$0CA8C070-99EA-4E10-8BE5-5D38DEB8B71A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482021$27692267-A4FA-45D4-B90B-038E706E20E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"195a876e9d9b2fd20c0ea420792365db65074405","datavalue":{"value":"safe variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482021$A5C6F64C-4678-48E0-9EBA-FF9604429813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fbc5b0876c297c187d0d857d9de6451c48891f","datavalue":{"value":"regular variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482021$E94484C2-19E9-4AF6-B9F9-75F017B56C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482021$9411DBFD-A09F-44E4-A9E3-8132B276BBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482021$8EC51B78-F07C-4A01-A7CF-EA1A1DEB0151","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482021$FB794202-EB20-4D4D-BB3E-A8D9F421C775","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":"Q2482021$B558BD34-7088-4111-8A31-14148C7BC6A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c60a5edc6e6b4ff84090bd8872fc7dad4e41ca","datavalue":{"value":"W2128115826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482021$A5D913C8-5758-4CB3-9C6B-6F13C4CD0C63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b3a758809f579e960da4e013ba13945b436bb29","datavalue":{"value":"10.1016/J.SCICO.2008.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482021$5DB86325-9896-4161-8E6C-FD1FE83D5455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31157ff69b562cb2b43ba1d7b0450e338c05fdc8","datavalue":{"value":{"entity-type":"item","numeric-id":1764428,"id":"Q1764428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406981e1a8ef76a9d0be2b3a2d1e8086f48f2297","datavalue":{"value":{"amount":"+0.8307356238365173","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":"Q2482021$52394B7E-0A6E-45E9-B066-225459259B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae20751e9d0e200e84fdd79bc5c769065bb48e4","datavalue":{"value":{"entity-type":"item","numeric-id":1608943,"id":"Q1608943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987a43c119e4a210393446fb262c945eb406fbb5","datavalue":{"value":{"amount":"+0.7536672949790955","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":"Q2482021$52275791-B423-4088-B1FC-04C465EDF6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17afe34a97ef5aa71d94fe7c7368f4d4e57e8ccf","datavalue":{"value":{"entity-type":"item","numeric-id":884994,"id":"Q884994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724740f5b30ee8a1723ebbe0ea01407879c1a109","datavalue":{"value":{"amount":"+0.7371106743812561","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":"Q2482021$DD5DE097-EC86-44C7-A472-61C95B7F458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81c419f19cf0132e8d43b660c79afcb5b8d6ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5395145,"id":"Q5395145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe211f54006e80dbb2f0b743ad4a4f3cdcf6d09","datavalue":{"value":{"amount":"+0.7349693775177002","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":"Q2482021$09E4B1EB-A1AC-4290-A5D8-4136A4E3E926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921aa66bacc3ce802ee39c15f189b1bd11a89244","datavalue":{"value":{"entity-type":"item","numeric-id":914403,"id":"Q914403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a809478aa3b59de0cde8a652b10f932095ed07dd","datavalue":{"value":{"amount":"+0.7319669127464294","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":"Q2482021$167EAC89-A0D6-4AE5-AAD5-AEC853102372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A challenge for atomicity verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_challenge_for_atomicity_verification"}}}}}