{"entities":{"Q6041162":{"pageid":13175263,"ns":120,"title":"Item:Q6041162","lastrevid":93738848,"modified":"2026-06-05T05:00:46Z","type":"item","id":"Q6041162","labels":{"en":{"language":"en","value":"Interleaving-tree based fine-grained linearizability fault localization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689263"}},"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":"Q6041162$2824C5D7-AD84-460E-82CB-18F5090E6C57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23cfc206bf0c8659ba9bbb169f1978b9907db8c","datavalue":{"value":{"text":"Interleaving-tree based fine-grained linearizability fault localization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041162$CE6ACC85-18EF-40B2-AB39-931FDA7A4310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a366536282f333341119eb29214d03ec5348b925","datavalue":{"value":"1511.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041162$E78F260A-AE61-43F4-A052-43C24FBD620D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67b972c0617457f00f62f846905e8ea87c9f8b9a","datavalue":{"value":"10.1007/978-3-319-99933-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041162$615328A4-ED5F-4CBE-988F-F9C2B5B385B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041162$CA5DF1E0-ACEB-435A-84CE-DD137DFD709F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041162$89056678-C9AB-421F-8F2A-E392AA0E820D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041162$38376C1F-3048-4F04-B6CD-1F6504ADE240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfae725c336d16c4bf6ab3c4e6237f59e999005f","datavalue":{"value":"7689263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041162$91DE7208-04E2-4595-A89C-EC8540F55B69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041162$A7660662-CF76-4B6D-98AA-865F7D926F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d29986d09e9052d5eec34b591ffd9d12d86d69e","datavalue":{"value":"bug localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041162$D72B2D3C-927C-484D-9C8A-18BECB6D1DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041162$316E81AA-6F03-441E-89E1-44FCEA5A05AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041162$A2B94CB4-E7CF-470F-B737-32EA85EBDA56","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":"Q6041162$B37E7DFF-865F-4E2E-9E2E-4CAB1DE788D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb8662f447f05cf732e5aaf4718c6d21339e596","datavalue":{"value":{"entity-type":"item","numeric-id":2225113,"id":"Q2225113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573fb491606ca6fb6a05b4439a089364d7033eab","datavalue":{"value":{"amount":"+0.8263483047485352","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":"Q6041162$1D4C1FC4-63EF-4ECF-8F3C-E45AE701B1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852eb63c97a10fe2089a9bbd6eb4d8fa4677be2d","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0947450d19763ad4f8cb6cd5aad13fc9502ae3d","datavalue":{"value":{"amount":"+0.7240883708000183","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":"Q6041162$A0D96892-1AD3-4F04-B2A3-B345C9D74CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3490f34d0d6ba2f54fad3208ae926689909c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0494a280947c5ff94e5fbdaae5036763a5b5c05","datavalue":{"value":{"amount":"+0.7115539312362671","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":"Q6041162$EFA245CA-E393-4FCE-8170-0337D17CEF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69d9090aff3b857d29a177295ee04e9e7984ebf","datavalue":{"value":{"entity-type":"item","numeric-id":782494,"id":"Q782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c295bdbff080720e379f9ee7570991ecfc30ba0b","datavalue":{"value":{"amount":"+0.7093102335929871","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":"Q6041162$DB59E71E-4590-4726-B315-90048694E005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4b560752f400a21703faec66c7e406e34762f","datavalue":{"value":{"entity-type":"item","numeric-id":1688548,"id":"Q1688548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be4895c09cb5bfc7ac36766da28579ee8da9b9c","datavalue":{"value":{"amount":"+0.7076291441917419","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":"Q6041162$BB1300F9-C530-413F-9790-656D28AD19BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interleaving-tree based fine-grained linearizability fault localization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interleaving-tree_based_fine-grained_linearizability_fault_localization"}}}}}