{"entities":{"Q7227178":{"pageid":24464630,"ns":120,"title":"Item:Q7227178","lastrevid":84466268,"modified":"2026-05-18T12:32:08Z","type":"item","id":"Q7227178","labels":{"en":{"language":"en","value":"Asynchronous wait-free runtime verification and enforcement of linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8184086"}},"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":"Q7227178$1A88CF2F-DA2B-417E-93D4-BD2E661F8BE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8570e34ca407fac883a9a4a2a9dae244d785a706","datavalue":{"value":{"text":"Asynchronous wait-free runtime verification and enforcement of linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7227178$FF382C5C-FCCD-49D1-8150-0BEB34317734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b36ec33920975b0f7bb3974a071c893f396c7cf0","datavalue":{"value":"10.1145/3777409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$6B206A71-8916-48BF-B258-63BAF3CC0F57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfaf0512f29ac23b4ac3aa7d60cfce273adf67d5","datavalue":{"value":{"entity-type":"item","numeric-id":391996,"id":"Q391996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$6604FF5A-0E5B-4486-B905-90F90C6D134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea05da16b6c53daee120c66d64c60a96df2e012","datavalue":{"value":{"entity-type":"item","numeric-id":6202228,"id":"Q6202228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$B6BEE85E-F35C-4615-9ABE-E361FC0611C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$8BC8C627-2A76-44A7-A3A4-78AABEB30DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f48d1026b6025bcf918b2f67fe0b4f26a48ffbb8","datavalue":{"value":{"time":"+2026-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7227178$3A43BED2-C085-4A94-BC68-06FF96687CD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$C436B518-E7EA-4652-BCDB-95BD944B33E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$16B37B08-2AB4-4C97-890F-02CC4B183489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$AA859D55-AEDC-4119-B180-A89E7CB289B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$865FB49F-18FF-4955-B497-CE65680D4AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$3C1B8C0E-18A9-45F3-A806-714CC3592BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c51e37fbf61f896a7b76ae872a48bba5ce9c695a","datavalue":{"value":"8184086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227178$29C81F52-9319-49F8-A4E0-2EF67B94950B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9817f2729928010b9d5377db5b0f95421c8ef32","datavalue":{"value":"concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$6772089C-EE7E-440D-A431-9B117FD0BE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196cdad5712586ec8fd1e04262e914e82567286d","datavalue":{"value":"distributed runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$ADE9B3DA-F264-4422-8E9D-67B02DF46B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0b198414e0407eafce465735e3f34a67388f1c","datavalue":{"value":"enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$963B3495-0561-4035-BBB5-C6DA740FA9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$290593DF-FE1B-4173-B494-DB63F57D71A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$5BA15A54-DFB6-4034-B7E0-962B9E3B47ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d17d364c67c5f0118c15021cfc1638ad9e92b6","datavalue":{"value":"lock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$DAB39952-2647-40DE-8049-D1D232113336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$0A251B6A-508B-4015-B805-F492419F1E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$F2F71581-9953-4CB8-BAD3-B3DC26C86AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$0E33B09F-7A86-4A70-976B-DD04ACD86A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c400da16ba7de82973c15ab962c1545642795b","datavalue":{"value":"wait-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227178$CB5E6B72-829C-4E4F-981A-94AC721B755A","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":"Q7227178$5739DAA3-ACD8-49F1-B444-01F8B48E2AF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"feca02b4e7dea20651f7e71828ec10259e2407c3","datavalue":{"value":{"entity-type":"item","numeric-id":4271088,"id":"Q4271088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$AEAC1BF4-D5B7-4358-AFCA-F31BF070B0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f1a2bf81f4948b599f0e2c54911aaef52d665","datavalue":{"value":{"entity-type":"item","numeric-id":5137003,"id":"Q5137003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$E0B316F3-9E37-4779-86C1-E692FE7A2525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d113a6071b2eded382982a8cc51db949e8d06dd8","datavalue":{"value":{"entity-type":"item","numeric-id":1988527,"id":"Q1988527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$683C9A15-7D50-4914-9800-76DCCE03EB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ec5a9005751a18ac7e79fa6c9bf05bb0009cb0","datavalue":{"value":{"entity-type":"item","numeric-id":4369859,"id":"Q4369859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$72889FB9-994B-4595-93A8-3EEA719FA3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929668d072ed73922998f4867c8ddd240850495c","datavalue":{"value":{"entity-type":"item","numeric-id":5275399,"id":"Q5275399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$903F3EAF-A432-489A-AEBF-2AFF00D9F1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc47ed321030ee05d8758e559a805ca4e1dd8d5","datavalue":{"value":{"entity-type":"item","numeric-id":6826399,"id":"Q6826399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$2459EAF5-9FA6-4BFC-91BC-2FBF38400A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bffeb4490e59b5a1b70472e5eaf00767c79f78e","datavalue":{"value":{"entity-type":"item","numeric-id":888419,"id":"Q888419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$15B009CF-B29B-4A7B-846F-533D251750FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5125bf1361d009d8a20bd7fa08772307f1b7e71","datavalue":{"value":{"entity-type":"item","numeric-id":5889779,"id":"Q5889779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$3101E7EA-E3A8-41B3-8DAC-A9AAE6D5C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4351ca34e0886b75df7f5ba015d1f99fc10ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$7DD301EA-CCB9-453F-B10B-0B639AD7EBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d146fbb5a2304efc440c98742d5d066d7c19424a","datavalue":{"value":{"entity-type":"item","numeric-id":2819855,"id":"Q2819855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$D4A88571-B9D4-412C-A4A7-B6A19CD102B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6b66e9eafce8a47084914d65100426caac9627","datavalue":{"value":{"entity-type":"item","numeric-id":4625665,"id":"Q4625665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$E35638AF-D424-48C6-B712-7A84E64C3695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d374f8db9306be650d6c615ac847ec6a18e551","datavalue":{"value":{"entity-type":"item","numeric-id":6202229,"id":"Q6202229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$5BE49334-AF68-49D3-865D-DC425519FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$7DA0CE89-4B04-4FCA-8F9F-41F5AD821B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d1e52740d07bc7658b96da29f820f4483b0622","datavalue":{"value":{"entity-type":"item","numeric-id":924672,"id":"Q924672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$DB2C1A0A-185F-45D3-B57F-D03961C4530A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea52d7a90f636388fff76359e2420c672cfc2db","datavalue":{"value":{"entity-type":"item","numeric-id":3095336,"id":"Q3095336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$D188B981-DAA6-4AF7-8AD6-7F2B2197195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdef31ec524604cbc5a5a5897ee2f6a05da2dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2441537,"id":"Q2441537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$D4819FBA-FFEA-4530-B93E-9D5947644E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6fd415a454cfbaec4f1149fd4076a99f76df3f","datavalue":{"value":{"entity-type":"item","numeric-id":2304020,"id":"Q2304020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$96517E33-A050-4545-BDCE-DB6961F78229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27bb600daef893d98062c4ae0497c48aa50783e9","datavalue":{"value":{"entity-type":"item","numeric-id":2787678,"id":"Q2787678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$F1301EEF-E5F3-437A-96DB-D01860C3270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c868886c004f32a56ffc29b01f0e31d7de09e29","datavalue":{"value":{"entity-type":"item","numeric-id":6649520,"id":"Q6649520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$E6C897FC-740A-47AC-AE22-8F54A608ACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792c2fd1a6805d7c32a0fdf6f8624cefbc46b361","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$FE347FF4-964C-41C4-9C9B-EBB28D10721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bab931c55e6d8c4a299f4733e68bbd4871f2495","datavalue":{"value":{"entity-type":"item","numeric-id":5091106,"id":"Q5091106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$66062ECE-83C9-461E-9DBD-E419249C4B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed95fdbd2f9e0d94480da22279633a8a3a6e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1878923,"id":"Q1878923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$7348B32B-28C1-4069-BA9C-C436DA37CAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe6be190a0370c06cb4d33436bc62a6dfa80c2f","datavalue":{"value":{"entity-type":"item","numeric-id":2931807,"id":"Q2931807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$1480013B-200C-4462-8891-DCAAF01F7C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$78EECE60-C800-4C3B-A07E-62E488A5F7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$D8C28E25-5A7F-4054-8414-CACE2A348038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$3AE15AD9-5C4F-4554-BB6F-1B7E46B634DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$C4C68863-A009-49AB-8937-5B12620FD8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$11CB3B7B-72E3-492A-9EE3-80ECCF9A5571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$6B854BC3-243F-4F71-BE2D-56CD586169A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15656d6488944f658dd1c18ea1239c35123fd139","datavalue":{"value":{"entity-type":"item","numeric-id":1688550,"id":"Q1688550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$07A2F280-917D-4BDF-943C-CE2BCA42D0C9","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":"Q7227178$5C7D4472-59D2-4C77-A0DB-0C1838F75CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08333a67f5ca89a508753469820e4a652474e20a","datavalue":{"value":{"entity-type":"item","numeric-id":3166386,"id":"Q3166386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$6DEF56AA-395C-4291-B3FA-FA4F50E4E0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceae3bcd7911028cfb6b01f0f36bbacb243a256d","datavalue":{"value":{"entity-type":"item","numeric-id":6534999,"id":"Q6534999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$9BE82974-00A5-4970-88CC-37A7C83826B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e751eca347b068f0ffa489eab4d759f60f5ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$1F6462C7-612B-4AE9-9825-E16DF6B5DBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33350e3a730a3a943b742e591c9c3a70497f2de","datavalue":{"value":{"entity-type":"item","numeric-id":4907581,"id":"Q4907581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$A939ED32-D443-4BC9-99CF-827AEA02E38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5c69521b4b65915266e04f6f5ca5ed56a562c9","datavalue":{"value":{"entity-type":"item","numeric-id":6201985,"id":"Q6201985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$1F1CF73A-C463-4819-8B81-82382AB2EF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130bc70c365222ac8e082f8963c7d85f1c8fd19c","datavalue":{"value":{"entity-type":"item","numeric-id":6535220,"id":"Q6535220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227178$87E46148-64E8-4922-A4DD-00B8E5E9A987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asynchronous wait-free runtime verification and enforcement of linearizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asynchronous_wait-free_runtime_verification_and_enforcement_of_linearizability"}}}}}