{"entities":{"Q5271049":{"pageid":7300624,"ns":120,"title":"Item:Q5271049","lastrevid":52843631,"modified":"2026-01-23T15:18:39Z","type":"item","id":"Q5271049","labels":{"en":{"language":"en","value":"Quantitative reasoning for proving lock-freedom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738792"}},"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":"Q5271049$0A4DBCC1-8626-46D7-800F-9CA7F17E532B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b978f465d89901c2006a0243b7230382862bd5f3","datavalue":{"value":{"text":"Quantitative Reasoning for Proving Lock-Freedom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271049$3C21C6FC-548F-4900-9C7F-FA830A349396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805745565cae2f0b85436e2cfaca9f70fd3ffa26","datavalue":{"value":"1366.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$C12BFF6C-5D99-40CF-99C3-EFBB4FA165F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb339a1c90d12a8f5cdfa175f6369cd480c29e0","datavalue":{"value":"10.1109/LICS.2013.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$3F2825EC-C2C1-4BF7-9602-B4BD78D5FDC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271049$891A98F5-4605-467D-9175-497B3556ED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9540c7d5b924cc77e576fbb0fab78beb3abb0fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5271048,"id":"Q5271048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271049$06AFD0C4-B429-4DB1-A177-317EFE68D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271049$8DE45048-0401-4AEF-82D2-9E22B9EAEBD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271049$7C6F4C33-CB18-4F67-95EB-409CC1FD17B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5271049$2C58B457-0495-484F-AF07-63C7A773BB33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$2B4466B1-3C3F-4A4A-99F9-7906D20D6D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$3C86FBBC-78BA-4C91-B98C-0E2480993BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$4829572B-F66C-4FC5-AF04-D454239255E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$548E3BB8-DFA8-4281-BA4F-6483A10DF608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"257029e127eb97ee4c6aabb39ac816ebacdb9734","datavalue":{"value":"6738792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271049$24CD829F-942E-407F-8DE3-08ECA0A80B90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271049$0BCD06D0-630B-46CB-8D19-45851308CA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a968e4f22a502d868943fc4db1493d5eba1dfa51","datavalue":{"value":"non-blocking data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271049$E5ED2DEB-ACA7-452F-9175-6742BE16B2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d17d364c67c5f0118c15021cfc1638ad9e92b6","datavalue":{"value":"lock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271049$482182ED-DAFE-48F0-87D7-F04F931658FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f88d1e0ecddf8a63fd72eeb831e552904a55a017","datavalue":{"value":"liveness, separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271049$E3E46533-8AFC-4D08-974E-05F8C095EF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271049$525DD6BC-85F3-4443-940D-DDDEBF4EBB6C","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":"Q5271049$0027F07D-349D-4790-B898-23F821DDCC62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2c707e0429cd37e71914fb5596f4c04745658f","datavalue":{"value":{"entity-type":"item","numeric-id":1001810,"id":"Q1001810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93abd8cf85a90d140a79b6a0cf3ccc1503c85a60","datavalue":{"value":{"amount":"+0.8151363730430603","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":"Q5271049$2C476892-CE54-4A65-9961-ACCF97AC589F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21c3ff73dd3bf3d5462cb18ad742fffa129735c","datavalue":{"value":{"entity-type":"item","numeric-id":3575281,"id":"Q3575281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3a419f2876dc4832a2fb483f9289222d64da8f","datavalue":{"value":{"amount":"+0.8068251609802246","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":"Q5271049$2F4E69D7-65EF-4DBA-9FD6-0020F8D7EF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e078f661dc01c272b365581dacec8472435e05","datavalue":{"value":{"entity-type":"item","numeric-id":3105753,"id":"Q3105753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b177c51589e179a1bae883d5f274d101776f7fa8","datavalue":{"value":{"amount":"+0.7733835577964783","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":"Q5271049$8D5ACB36-4696-4EB7-9146-AED119894CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1582c313259a37109f64444db11c98adb54094","datavalue":{"value":{"entity-type":"item","numeric-id":3525079,"id":"Q3525079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e089193244a07a65d9616335e64f54d22f9716","datavalue":{"value":{"amount":"+0.7683658599853516","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":"Q5271049$0CC9282D-C64B-4B5E-8634-D3330119A143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928ffddde892e1817bc819ab21baaf4913e314f","datavalue":{"value":{"entity-type":"item","numeric-id":3189809,"id":"Q3189809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb4bfb5ed1a9fd37f7432de28e41d616ef1eb37","datavalue":{"value":{"amount":"+0.7519555687904358","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":"Q5271049$FF684362-10C1-4BFB-B7F7-AC8B795D8CC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271049"}}}}}