{"entities":{"Q5136979":{"pageid":7166550,"ns":120,"title":"Item:Q5136979","lastrevid":53879495,"modified":"2026-01-25T21:09:49Z","type":"item","id":"Q5136979","labels":{"en":{"language":"en","value":"Wait-free linearization with an assertional proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7279485"}},"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":"Q5136979$8AF37BD3-7E8F-4DFE-BEF0-5CA44DA864AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ba802192562a1dc078d81ff79eeecbe69f8bec3","datavalue":{"value":{"text":"Wait-free linearization with an assertional proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136979$D417F65E-0C29-463A-9264-6B301371FBFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3158c38d7d319c08ce2620e8d4fee49a6b4b380f","datavalue":{"value":"1448.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$33A3A700-C3F8-47F0-A65B-4C2969F21751","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"739fbc5fbabad09fbd2c681b4a3e5da108748442","datavalue":{"value":"10.1007/BF02280829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$0CF410F3-ABC8-4986-84CC-C9993570430F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$B9269829-DA57-425C-BF1A-CFC25EFD2649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$6ECA649A-B88C-4B95-84B9-EC5F2849A61A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7232e8c520a019a5e6fb689786b64e5bfb51e5b5","datavalue":{"value":{"time":"+2020-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136979$AE962D86-6522-4432-95BC-7BDCC9890230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$1079BEA7-D064-4FEA-8063-D0B0A5797F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$D3A703AE-474E-48F9-8751-E46CD40C4069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$484719EF-E7CB-4595-831A-2FFC1B3F0D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$9D804664-1EDC-4568-A8D4-E2319A121775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"608567e662ed2bc43abb4f04f25948ce39100c7a","datavalue":{"value":"7279485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$4107B8AF-8B53-497E-9AF3-75454F4796B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb117044dbdd6f8e2aff08442579009f09aea3e","datavalue":{"value":"linearizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$32F52A6A-0811-4AAC-9D9B-A0F5BFF6A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be939cd68a284ff7b757ea31a431a2bd65c005e","datavalue":{"value":"concurrent data object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$8F4AE6BB-0636-4F71-9312-80F2F243070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a8123e7a0b796874785ed57aca2abe77b15efd","datavalue":{"value":"consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$8B23A06F-6108-408B-B9AE-06B43C70AA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b5dcc418b3a4b0ae7929dd7948a748a4b49add","datavalue":{"value":"wait-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$CE4849DC-0BCC-451B-9F16-9B19F7D86926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da6c3b8c4510441be839d1869ca687bb1fe015e","datavalue":{"value":"memory management","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$E6CB9FAF-1249-482B-81A2-9C55EE8F9AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$C7BBCA0C-1C50-4B5F-959B-CFED8945BCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$21061BA2-473E-483D-A458-5C7AAA394343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$9D1BE804-0237-4C4A-964E-2AD2C51F66B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$D89DAD46-CCC2-4339-8576-0EEE2D2AA32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136979$893AD0FE-A583-4CAE-91B5-F737ED7C2777","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$A17DEEA7-3A7F-40B1-9D07-0CB5C583147A","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":"Q5136979$9585CE13-CFE4-443F-A2F4-C9D163FD7B02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$958E86E3-B197-4508-A229-57AEA861BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$4A9C16BA-619A-44E9-9C0D-9332549F6941","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":"Q5136979$6FBFBDB0-9A54-4744-8C24-3E25F6FF50BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3253fde9bb26e63709646bb64e2ef4fcc5b6553c","datavalue":{"value":{"entity-type":"item","numeric-id":1189858,"id":"Q1189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$F5AD3275-87D8-4885-8F60-D3BF5836F749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3a418fbaddcafed1884dac6bf4b839b94ad4db","datavalue":{"value":{"entity-type":"item","numeric-id":754637,"id":"Q754637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$A7FF3F97-21F8-49CE-BC2F-3FC6A7EF1858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68d01684c688b76f9852f57744d277bca068de","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$E02BCC21-BA7D-4B56-8F97-8455C423C3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136979$B750CBD4-7F35-44A0-B1DC-EAC264C12E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"971d4ceff3dfa4a6ff3ad03d6930af184ec70de6","datavalue":{"value":"https://doi.org/10.1007/bf02280829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136979$2DDCFD1A-0923-429C-A4EC-9BCDC3E3271B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1541ddb203eb8c93c524778df5bb51cfa6506206","datavalue":{"value":"W2028410161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136979$6ED77E67-23D1-4855-B0F1-DFEDEAA1379A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65fcd0626b35ccec6699b9c088428338aa6c8bb","datavalue":{"value":{"entity-type":"item","numeric-id":5137000,"id":"Q5137000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0021f982343040736594efad6fa5c599b58714","datavalue":{"value":{"amount":"+0.8463188409805298","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":"Q5136979$9BEE9AA7-97AB-475C-9C51-7D145C44909E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3c5af2ad057611e941d6399d7c5d699a95a8cc","datavalue":{"value":{"amount":"+0.7814586162567139","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":"Q5136979$ECB661D9-92CB-4D2C-AD69-6104139DAE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0fde6c6b4396008f4f9986382ad10e7b9f47ee","datavalue":{"value":{"entity-type":"item","numeric-id":4234103,"id":"Q4234103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623d121be4e44d1534758f3ad06ab3bba555c2f0","datavalue":{"value":{"amount":"+0.779058575630188","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":"Q5136979$47ED2A8B-B192-41DD-879E-009DDAC6E21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f759f321f17edf59634b6b68731cb858a7d50353","datavalue":{"value":{"entity-type":"item","numeric-id":3608884,"id":"Q3608884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e60e684ee3f304e28e47e3d30afff29d07a77d8","datavalue":{"value":{"amount":"+0.7723429203033447","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":"Q5136979$7B615EFF-562E-4B81-9D96-ADE332AE7703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5ef7aa8a0194809eb38883be6d65aa647af52b","datavalue":{"value":{"amount":"+0.7590419054031372","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":"Q5136979$FC45DF38-1D58-401A-8EB9-20F779610DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136979"}}}}}