{"entities":{"Q882147":{"pageid":883995,"ns":120,"title":"Item:Q882147","lastrevid":65093436,"modified":"2026-04-12T00:17:01Z","type":"item","id":"Q882147","labels":{"en":{"language":"en","value":"Scaling model checking of dataraces using dynamic information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156511"}},"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":"Q882147$A7372F7D-D6CE-410E-BEC1-DABE357D79FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c31a3da1f2350234c7fca94b15a86abd01358aa2","datavalue":{"value":{"text":"Scaling model checking of dataraces using dynamic information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882147$05F91916-01BF-4FAF-9140-6EB2350E2DCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c4f02e580cf1490bd5e3d39122439fecadb81c2","datavalue":{"value":"1116.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882147$7F39B28C-7C3A-4849-B8AE-36AE1E9F8840","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d03a3bf150f3684095e480d2bce0cd159f0697","datavalue":{"value":{"entity-type":"item","numeric-id":882146,"id":"Q882146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882147$8E4446FA-ADB2-476B-B496-148744FC25A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882147$B033295F-2283-4C84-90A4-EEF3085E47BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d4a48d9e606e6390cc1e5ddf7ebc665ee43fe3","datavalue":{"value":{"entity-type":"item","numeric-id":192371,"id":"Q192371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882147$88B4DBD8-DCB2-4E3E-8ED1-AFB475E1E819","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1a1e419db9a491566962c608d7eb540caa9bc60","datavalue":{"value":{"entity-type":"item","numeric-id":86622,"id":"Q86622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882147$A66E6512-C7A1-4ACD-AE20-BEB7CC2D57EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882147$69CD5855-50FB-4365-B08D-FB274DA48AEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c56ee25840ed4ad7ccfe460a80680a5d955b8e7b","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.6739","type":"string"},"datatype":"url"},"type":"statement","id":"Q882147$B7D40A6E-8291-4B97-96DA-323B68A91B97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882147$164E5B09-FE80-4B15-91CD-25E2BC27031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882147$2EF844CA-4A17-4D70-AEEE-6AC115CCDB21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ad3e68a2d3e8bb811937b606c6bc9a7db8ac322","datavalue":{"value":"5156511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882147$3B0E4747-B4F3-4BD4-A776-BB7050F31CD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b308e68096ff680ef892aac361dc8a0e54325e6","datavalue":{"value":"datarace","type":"string"},"datatype":"string"},"type":"statement","id":"Q882147$8658C496-CB3D-4330-AFA4-7F3A2D907488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29eb35a05188b2aae9fdb9c7eba5d0c1a4998629","datavalue":{"value":"data race detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q882147$9E8D3F3E-536C-4C90-BD81-98ACF77E2665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q882147$3DD847E5-2D11-4F88-9D10-3F51F5B34962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d37277c196b78537521fe7e7712de8b1c6ca76b","datavalue":{"value":"lockset","type":"string"},"datatype":"string"},"type":"statement","id":"Q882147$4DFDE985-9020-4D20-AB99-3E33028EFCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237a152bfe15117a282e6e47a60d17375fec1411","datavalue":{"value":"multithreading","type":"string"},"datatype":"string"},"type":"statement","id":"Q882147$EC9DEB99-113A-4B2B-8821-6A29B1C34D96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf26957a484aaf678177308174a3c693b3bd41cd","datavalue":{"value":{"entity-type":"item","numeric-id":14039,"id":"Q14039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882147$44B7AD7E-8518-4601-8C74-C0ABD5620C30","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":"Q882147$A6452939-F514-4FB7-8E17-8A2469863DB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e28bae2405e3638b9e4804d73cc3a7b94f22611","datavalue":{"value":"W2042310182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882147$ED6E4889-8719-4960-B055-229BE61A331B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"738efa9fde2e3bedb005ec6a2413baf85d013a7a","datavalue":{"value":"10.1016/J.JPDC.2007.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882147$46F2A6D0-A420-49C9-8A45-9665630D125C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f94937a238c2317475218a21854e55a5d11193","datavalue":{"value":{"entity-type":"item","numeric-id":3540069,"id":"Q3540069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a62e2ac4a4e67f56c9c0bcfbe5e65ce10a963b","datavalue":{"value":{"amount":"+0.7553345561027527","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":"Q882147$BF5D50D6-03EB-40C3-A1F4-CA0B79CEFF18","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":"f2763dcbe36e367f8ba8a086feec29ce5651a60e","datavalue":{"value":{"amount":"+0.7384327054023743","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":"Q882147$1F78387F-994F-47A9-971F-639F78853FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b118fa60cf029105d6800352fe02a2882188392","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140675ba356e592187cda57d9dcd1e20eefd8cbe","datavalue":{"value":{"amount":"+0.7383589744567871","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":"Q882147$29533B78-91D1-40EC-95F0-C8FBEBD235D0","rank":"normal"},{"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":"e36524ded1d9b5b610c3e33c405d44f680b0d19a","datavalue":{"value":{"amount":"+0.7352373600006104","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":"Q882147$A7BE1A62-76BB-4FFB-8A56-6747D3C8E991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cecea096aca8e4c3431ddf31de887005433fd78","datavalue":{"value":{"entity-type":"item","numeric-id":2779630,"id":"Q2779630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4aa4908e98bc59f7818a630b136020b254a3a47","datavalue":{"value":{"amount":"+0.7280591130256653","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":"Q882147$A311FDB8-B217-4194-964F-FD7E1AA43640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scaling model checking of dataraces using dynamic information","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scaling_model_checking_of_dataraces_using_dynamic_information"}}}}}