{"entities":{"Q924672":{"pageid":926520,"ns":120,"title":"Item:Q924672","lastrevid":65384955,"modified":"2026-04-12T02:13:33Z","type":"item","id":"Q924672","labels":{"en":{"language":"en","value":"Atomizer: A dynamic atomicity checker for multithreaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5276390"}},"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":"Q924672$9753FD92-F859-4B25-8D5A-89D2FBB4D0A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7d16b5b8040b5e8480e9afd99ff09c47fb4ba27","datavalue":{"value":{"text":"Atomizer: A dynamic atomicity checker for multithreaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q924672$7C83B4BC-A86F-48DB-9E82-D48B39CA1F47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1a2b309756549cd2aea2518256079882ea05062","datavalue":{"value":"1146.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924672$8EDBE6C6-15DE-4DCE-8E42-2718A6E29629","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924672$69A8D37D-2625-46FB-90DC-947BE2A9702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcedcd7631903d2e280ed58e5f512a504c1d77ac","datavalue":{"value":{"entity-type":"item","numeric-id":557792,"id":"Q557792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924672$897E255C-423A-495A-90AC-88CDCD5D1CC1","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":"Q924672$9341AC1F-4F4F-4FB5-A529-2C18A91EB383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7bef1c16279678ad54ff2c564f5522370b3cfa2","datavalue":{"value":{"time":"+2008-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q924672$BB40CF3D-C2A5-47D3-B840-6F8A23049C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924672$55CD3788-598A-449C-B642-483D1689FABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924672$55DBB26B-4722-41E7-A7CB-EC90001EFDBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd742a4411cbbe71cc7756ace72321bbe0bdaa9b","datavalue":{"value":"5276390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924672$A46F9F79-33CD-4626-93CD-A77F177C5DD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q924672$5F44A153-3A65-464A-95E7-CB24B5B36734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93c9d2bc3dd342989bfa457b6a0aa4eb03f4d90","datavalue":{"value":"dynamic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q924672$AF7C9951-7941-4FD0-84E6-31E52A500ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q924672$194F1C85-5983-47EF-B50C-CEABA4B09F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q924672$533FA996-02D1-472F-8781-7FCD53752906","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924672$C319E879-1CB2-460E-A3AF-B67A85C060DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0264c458824c0394336bb6cc942a0d1696a3763","datavalue":{"value":{"entity-type":"item","numeric-id":20920,"id":"Q20920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924672$77B9F8D0-5E14-4088-98A3-E7B904AA1E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a58344ca6620cc2911a46ed8252c861b469b4da","datavalue":{"value":{"entity-type":"item","numeric-id":14536,"id":"Q14536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924672$A4E1083D-DE49-4F9E-8892-0553A06F8630","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":"Q924672$27B38B1E-8C4E-4102-8A65-DF825ED20262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdb7c4a00b28edc403000ffa5d34fadfe2755dc4","datavalue":{"value":"https://doi.org/10.1016/j.scico.2007.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q924672$442CCAF9-F965-43DD-B39F-6E0C27717F34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be33b60edbfc69c1920c9ba1b4a443a481e8001d","datavalue":{"value":"W2071423705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924672$3EA485AF-57A8-4A5F-9B0D-AE6DC7ABE874","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e12af1d494c36c149c4de7c91464dbc169415c74","datavalue":{"value":"10.1016/J.SCICO.2007.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924672$0F08E24D-3192-49C1-AB0D-3E5DB36CFB3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88d886ad868610a0bd2c6bfa8e57a3b75f6b727","datavalue":{"value":{"entity-type":"item","numeric-id":3452265,"id":"Q3452265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad9febd07d8a3e89b62dc882005e911e267734c","datavalue":{"value":{"amount":"+0.9905031323432922","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":"Q924672$DBDFA928-E5AD-4990-AB38-9A1F196D618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9526741390426220951621ef8cb10bc097822ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4804895,"id":"Q4804895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab2cfbad64c8c7ce231996fe543c5b0cb6800fb","datavalue":{"value":{"amount":"+0.803199291229248","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":"Q924672$368A9D98-2752-435E-BEE8-2C649E3E272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370d10863c67b31446da886f0b0e0433eeeff87","datavalue":{"value":{"entity-type":"item","numeric-id":3617716,"id":"Q3617716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fced46c0445a08962b96a3b14a0509ffb434311","datavalue":{"value":{"amount":"+0.7947803735733032","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":"Q924672$9A5FDF3D-D478-4E07-811F-B54AB0A965E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69180a46bd58717746b59b96773f82ae254305eb","datavalue":{"value":{"entity-type":"item","numeric-id":557795,"id":"Q557795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621d9320c12d7163cd98df0ab1c6733f12c1b69f","datavalue":{"value":{"amount":"+0.7946599721908569","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":"Q924672$4833E78D-9D47-420D-9654-D45D2C498E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7085ee087572c8048eeca907851ca06e65d99102","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5341b02dee7610f059f5ec4f602ec4e799ea07","datavalue":{"value":{"amount":"+0.7818335294723511","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":"Q924672$2C406F82-A72F-4DA8-BFBD-AD308750047F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atomizer: A dynamic atomicity checker for multithreaded programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atomizer:_A_dynamic_atomicity_checker_for_multithreaded_programs"}}}}}