{"entities":{"Q6202229":{"pageid":13337116,"ns":120,"title":"Item:Q6202229","lastrevid":58767729,"modified":"2026-04-06T15:49:04Z","type":"item","id":"Q6202229","labels":{"en":{"language":"en","value":"Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7824315"}},"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":"Q6202229$0D380395-8371-4796-AD20-2CC4045C547C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"120897db5720d050d8968448c6084b89f350685b","datavalue":{"value":{"text":"Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202229$4EE24EB5-1BB5-477A-B15F-96350098B3FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa10404ffb3374c0bebc9a5e63e7d79644a1da0f","datavalue":{"value":"10.1145/3583668.3594563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202229$22BC817C-EFFC-414A-A4BC-31A7ABC25623","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":"Q6202229$CEA711E7-E9CA-43DD-BE03-2F23DB788873","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":"Q6202229$DD0D9A21-474E-4D2B-89A0-EC46EEF1662B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607b035c56e37bfc8accdacf896d3364cfd756d7","datavalue":{"value":{"entity-type":"item","numeric-id":6202211,"id":"Q6202211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202229$A6AF5979-CA72-4B6F-BC67-D2FC225F12BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7022ae53c448f75d91b8223b5d0f2519da4678b","datavalue":{"value":{"time":"+2024-03-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":"Q6202229$5B2AFCE9-B44F-4439-9141-249C51DCBBB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"705e9f5661a8c0e9cc54c98c3212ea3e1aeab5b1","datavalue":{"value":"https://arxiv.org/abs/2301.02638","type":"string"},"datatype":"url"},"type":"statement","id":"Q6202229$C6BDC744-5548-4D00-A93A-92BCD709C711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202229$45BE4580-41EC-4798-A7A1-B6A600A69A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202229$CED07540-2899-4E43-9202-676D4A40ACF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcfffa0e1ab4677258297b228fbce95e81e342a9","datavalue":{"value":"7824315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202229$E1C2C2B6-5EFF-48AC-ADBA-1A7789CDD92F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9817f2729928010b9d5377db5b0f95421c8ef32","datavalue":{"value":"concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$F1C72302-1040-4CEC-B077-C00FFE75F80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196cdad5712586ec8fd1e04262e914e82567286d","datavalue":{"value":"distributed runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$B95A92AA-1A96-4810-ACA6-30BE7CD4BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0b198414e0407eafce465735e3f34a67388f1c","datavalue":{"value":"enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$4D9164F3-1E0F-436D-A4A7-2D1DFB63BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$4CE14FEA-03CE-45B4-8E0B-53FF4F9B94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$EC210526-37F4-4524-A2D8-DD0FB3871AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d17d364c67c5f0118c15021cfc1638ad9e92b6","datavalue":{"value":"lock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$7C789927-6D14-4330-AC52-440F24A43888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$E92572A4-159F-4C0B-B274-32BDEE1F5B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$78281FA7-0D39-430B-995A-6621977E1236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$4006C5C9-A1E1-4DB8-B478-CAFE41A698A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c400da16ba7de82973c15ab962c1545642795b","datavalue":{"value":"wait-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202229$F5CD0EF1-AA7E-4E10-8D6F-4D5BDE67B588","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":"Q6202229$7AAB64BF-690D-4F29-B9E9-0CA586B27D31","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":"Q6202229$10FF01AB-026A-46EF-AE76-A27240640730","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":"Q6202229$0A9F5161-522D-49F2-B47A-E26BB2BE9F25","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":"Q6202229$FCC49030-1277-4AD4-A97B-349DCAD801C5","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":"Q6202229$D4BC077E-84B3-4974-BA8F-DD46E4F76504","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":"Q6202229$D364F068-1F23-4A4A-AFDE-E4B011C6A0AE","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":"Q6202229$8EEB6393-E66D-493C-B8DD-0E3382BC38BF","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":"Q6202229$B429015A-A942-4E0E-8AC8-5306454F03F7","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":"Q6202229$0F311D58-B545-4B89-A3C4-FB36AADB1D6E","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":"Q6202229$8769C181-FC90-4348-964B-EDDC1DC54E4F","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":"Q6202229$B961C9C0-E40A-409D-AA28-EC4B552F0E17","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":"Q6202229$CDCB619D-DDAC-4E3D-ADCC-8EA8C11E61D9","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":"Q6202229$937284B0-6EA9-4B20-976C-BA4BBB5F4C87","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":"Q6202229$B035DB1C-1F80-43D7-AC50-4B90FDA5E699","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":"Q6202229$9DCCD922-BB01-4DED-B4CB-0BE1EC32A0B5","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":"Q6202229$DEE3F4C0-14BE-49BE-B01C-4C22CA8D3E5F","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":"Q6202229$968BA889-8C0A-4A12-A47C-AE5892B7CDC0","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":"Q6202229$007AE83F-BB06-4BF8-88F1-EDDC08602AB5","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":"Q6202229$45476372-4CA5-4C7A-A0AB-D3BFC9745DC9","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":"Q6202229$2386A3DC-D984-4993-97B8-226514F06420","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":"Q6202229$60767CE8-EF64-458F-8532-9B790306F640","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":"Q6202229$1D1B2787-4173-4CAF-BA41-334706663A10","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":"Q6202229$56CF8AC5-35D3-45A0-9040-0AB246C05014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6202229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6202229"}}}}}