{"entities":{"Q681463":{"pageid":683312,"ns":120,"title":"Item:Q681463","lastrevid":56702415,"modified":"2026-03-19T00:37:33Z","type":"item","id":"Q681463","labels":{"en":{"language":"en","value":"Abstraction and mining of traces to explain concurrency bugs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837199"}},"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":"Q681463$2E04CB66-E695-4D0A-90DF-9F8FF209FCCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eba120c544374586e90b050bd234d73fd45a0e9e","datavalue":{"value":{"text":"Abstraction and mining of traces to explain concurrency bugs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681463$B693317F-7BC1-400B-ADB6-750CB0B2228B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"345cc1c3178c13feb4855e6bb665fc19dbf85eef","datavalue":{"value":"1380.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$59192B7E-69D1-46F9-9FF3-17ED3919EE6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afb89c42afa0941d1099ac6db66e60631b1be0db","datavalue":{"value":{"entity-type":"item","numeric-id":681462,"id":"Q681462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$A1388F07-34CD-49B5-A681-E5E3F3070252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$A4C48003-796C-4B18-8A17-4714DDC60DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$391B0173-5990-45C8-8416-194A28C8AC4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$F38D015E-1922-4D0D-B2D2-37B5E7B5451B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37dc8ae22dcec2d49b93f95859fca43d86658768","datavalue":{"value":{"time":"+2018-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681463$862A6F38-F922-48DC-81E8-CA528B619EF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$7C474870-7F94-4E21-A122-81D0B57F66C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$94469DBC-F726-401A-9A68-DC7830F17F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$873B8EBC-E57D-430B-85A8-93B7E37FCCCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"538142baa81533c06631eeaad1f1c5217d357d78","datavalue":{"value":"6837199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$8B668D10-4D46-44D3-980C-9C698C8266A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19104f0f5a5043e0cfe4be6b0fdb4bda2a143412","datavalue":{"value":"concurrency bugs","type":"string"},"datatype":"string"},"type":"statement","id":"Q681463$F19C5E28-CE78-413E-BD62-FDCE7273C2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626af4f842171d47fb279eb908188d4efbde88bd","datavalue":{"value":"bug explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q681463$2A113A6D-51AF-4D0E-89AD-72849C30137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9f92c2e6068584c86628409e9187b33f6f8eed","datavalue":{"value":"fault localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q681463$423E0F85-9675-4581-93BC-89D64EAD38E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88aa4076a26f50d4eb0a0fa3ba9e808f048c808b","datavalue":{"value":"pattern mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q681463$1CF0E2B4-BA60-444F-AA3E-DAACA6D5C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q681463$E1906101-FD1B-493A-9A06-CFEC8E4B59EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$2DE95B64-541F-4D2C-A2C1-3443148B0E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b80c155d72b51b2c391f957364b62cf74c056a1e","datavalue":{"value":{"entity-type":"item","numeric-id":52720,"id":"Q52720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$66A1C024-F1AF-4124-98A0-9DDE06BF45BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc8c34c0f7ae9a5349491b0d878e2f38fd20164f","datavalue":{"value":{"entity-type":"item","numeric-id":34874,"id":"Q34874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$20618B33-9331-4412-8BA2-184C35E050B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bc4ed57b7c3a3c57250e0931ac19e8c53ffd1d7","datavalue":{"value":{"entity-type":"item","numeric-id":55699,"id":"Q55699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$80D1611D-3679-4AFA-8681-125EFA6CEDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c236e5ffe66144939dd5ed5b93698281946bd309","datavalue":{"value":{"entity-type":"item","numeric-id":34850,"id":"Q34850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$EBE39BAB-1D29-4F79-9575-34DD55EAC81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6066ce70c508b423307b218f8e8aef0d7c165f7c","datavalue":{"value":{"entity-type":"item","numeric-id":34873,"id":"Q34873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$CA6F738C-7A9B-40DF-93FF-C7269EBEDE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$C6CED303-7BC5-458A-AC3A-CE85E654C7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c1907fcbbe73cf235919e91baed30ac2b190e5e","datavalue":{"value":{"entity-type":"item","numeric-id":24730,"id":"Q24730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$42A46839-A8A0-4460-8F58-40FF0D10F311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f5f81ec2bb04f3fd72b3820bfadd0ec38834323","datavalue":{"value":{"entity-type":"item","numeric-id":32576,"id":"Q32576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$29C4007B-BA33-4F84-9F6F-53ADAF16FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51bf3e99d6f033da98036466c7dd76e7ce5cd051","datavalue":{"value":{"entity-type":"item","numeric-id":34869,"id":"Q34869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$81348123-0ECA-4A92-BF10-1B5A5F3D49A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd908aeecb90cfadaf1fb8555e16e89b3cae506","datavalue":{"value":{"entity-type":"item","numeric-id":34870,"id":"Q34870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$B4B545D5-DB8F-492D-B322-1219BC2B37F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21a7dcce0e021cc53b94a68e059192e41e2fdb0e","datavalue":{"value":{"entity-type":"item","numeric-id":34872,"id":"Q34872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$FB511E13-05FC-40D6-B6C7-33A9126AADB8","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":"Q681463$34285AF4-D635-49DC-A0CA-6F75FB24B817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82ef885ae63a5da62f517ef4b3797f1e63fec0d7","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0240-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q681463$84D26E6C-2002-4B44-98EA-1C193C831C2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04588ac612b70da6157fc420bfd18c498e8b6756","datavalue":{"value":"W2235911515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$7BF14699-6301-4F0F-8476-631FE8D5E406","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"459f87c0a0fd25304bb494019d01ba67aa44b212","datavalue":{"value":"Q55670636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$B3573959-309D-469D-BDD0-C621C2342160","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$584DBC36-344E-4E8A-9528-743EFFD47942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$EAAB1BDA-847E-4427-8C2A-AA70065223A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$2335D2EC-02FF-4A41-BD7C-020C2E4EFD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b2ad70019997eeec7095e3d1d8af9ebc9196b0","datavalue":{"value":{"entity-type":"item","numeric-id":681463,"id":"Q681463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$279B3D36-22BE-47A3-878B-15674A739877","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4f696f0180d394aefed8db7acf66f649743ef6f6","datavalue":{"value":"journals/fmsd/BefroueiWW16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$5EB4D6EC-9CB8-4F0C-BE15-1DAC9E1BE899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03bd598d5b6a10745c242944dc3c54e2b88d8409","datavalue":{"value":"10.1007/S10703-015-0240-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681463$DDDCF4F2-62C4-49FA-A70E-BFD1DA2C314C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da53620f529ecad9453c2a83ea06d560cddfddf","datavalue":{"value":{"entity-type":"item","numeric-id":2819829,"id":"Q2819829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa6a67e69917318238f367147c99637177fa87c","datavalue":{"value":{"amount":"+0.7029833197593689","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":"Q681463$489A0F53-5A78-4E43-8770-D2760AA25E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5105f49c52685f33d62820e6aa76886ac953e0","datavalue":{"value":{"entity-type":"item","numeric-id":2281644,"id":"Q2281644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a120b01fcfe87761c550fe8ff5faf6d61152e365","datavalue":{"value":{"amount":"+0.6858661770820618","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":"Q681463$AD87C0D7-D2FB-4BDE-840A-CF3F7AA1B2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e5738fe1de1d9dc66647850efc6dd3247550e2","datavalue":{"value":{"entity-type":"item","numeric-id":3600476,"id":"Q3600476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42459f3cccfffc6fcc6b62d061118db16b44bc1","datavalue":{"value":{"amount":"+0.684542715549469","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":"Q681463$811EA42F-2ECB-496E-AB1C-D84EF83396D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b600f87342574e3ea1db5b14d94ebc7d907f3269","datavalue":{"value":{"entity-type":"item","numeric-id":5408561,"id":"Q5408561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365359828ee2f362eccbcf3f6a4cb12fc48c9f17","datavalue":{"value":{"amount":"+0.6833117008209229","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":"Q681463$5C4A9EF9-B8E4-49A1-BA19-D6AB8A04150B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a2dd897ea7bd1625242a371b13954e009984d0","datavalue":{"value":{"entity-type":"item","numeric-id":3557086,"id":"Q3557086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb86cdb35b153f9ee3ef076946a3bae2047a8de0","datavalue":{"value":{"amount":"+0.677196204662323","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":"Q681463$50F039D8-0474-4858-B748-1DAFC70E2ED6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681463$9972DF7A-61A2-485E-8774-53065990F453","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:681463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:681463"}}}}}