{"entities":{"Q3653849":{"pageid":5683755,"ns":120,"title":"Item:Q3653849","lastrevid":81036734,"modified":"2026-05-06T17:34:16Z","type":"item","id":"Q3653849","labels":{"en":{"language":"en","value":"Goblint: path-sensitive data race analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652062"}},"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":"Q3653849$0DAA5B90-7DBB-49DB-9848-FC6D06D62D9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ff2c0d3659a8e803616cc16c74c5bb0b9cfe9d6","datavalue":{"value":"1199.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653849$CC2AF79C-6053-4FB3-B7CF-6465A79EB578","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a01e72257892987bc013aea32c9a5ae6caff4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1785850,"id":"Q1785850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3653849$7E7D07B9-0A69-4290-B4A2-95215A114889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc78d11b35a64139651ee423931f3dc28b2af774","datavalue":{"value":{"entity-type":"item","numeric-id":235625,"id":"Q235625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3653849$9503D475-3648-45AD-933F-F0521EC0BA2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"687c75732839f2c72eaef9f265e249aec96677a2","datavalue":{"value":{"time":"+2009-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3653849$744555E0-E0FD-4511-B339-A90FE041E5D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653849$A99E357D-B6E5-462B-8F81-E7AB6AA8299B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38e59355e9645ddba343de16f13c0bb9e64d3be0","datavalue":{"value":"5652062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653849$FCE3FF80-ECCE-437C-B34E-E076CE4F28A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a7503ef472b173b0c4b5cc9698b94f2d08b6e19","datavalue":{"value":"detecting potential data races","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653849$38BA83AA-377F-4E12-846F-2BA19C0A8122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eec6c6c6df658e45c3f82a7ce350d6f7c89eda1","datavalue":{"value":"Goblint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653849$18502BBE-A772-4057-AA1B-59B866289C25","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":"Q3653849$0708FAFE-FF55-4BDA-8B1A-DD42C3A0DFEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7887de5c08d69c1e38a510d826adb3a4f0cb0ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3392925,"id":"Q3392925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8a934fcbffa9947a89563f20088d3b8e3307a2","datavalue":{"value":{"amount":"+0.779433012008667","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":"Q3653849$BBE54B0B-A3CC-4436-9FBD-C6435EE91E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820cdda2fac2399254463dcefe1f8c7d8d2a8754","datavalue":{"value":{"entity-type":"item","numeric-id":4828479,"id":"Q4828479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa93e45189cfaac4a072298d2973240efaa5b167","datavalue":{"value":{"amount":"+0.7693384289741516","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":"Q3653849$0CF0C148-C776-4EC1-A4D7-902CDD7D0D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6665d75830cd5a8513424118a12a3c37765a37","datavalue":{"value":{"entity-type":"item","numeric-id":5370880,"id":"Q5370880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781d67bdda5f427603277bfbd3a9119bc9e881b7","datavalue":{"value":{"amount":"+0.7441772818565369","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":"Q3653849$D7D9734A-0303-49EB-8F73-5B9E6A624F12","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":"5ae10ba2e38705fec949288be617bd6d75360229","datavalue":{"value":{"amount":"+0.7432426810264587","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":"Q3653849$1267EF1E-A4B8-452B-B75E-17E744FFE83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b4b035c274604c4b72f254bc8d206b9efd8872","datavalue":{"value":{"entity-type":"item","numeric-id":1293918,"id":"Q1293918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a331ec9a16ef762f6c3fd6909b809a40d4b3064","datavalue":{"value":{"amount":"+0.7376537919044495","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":"Q3653849$D9F91CDD-13E4-4CB1-A938-FF8C5102048A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Goblint: path-sensitive data race analysis","badges":[]}}}}}