{"entities":{"Q2814127":{"pageid":2824865,"ns":120,"title":"Item:Q2814127","lastrevid":52558541,"modified":"2026-01-22T23:23:32Z","type":"item","id":"Q2814127","labels":{"en":{"language":"en","value":"Towards a thread-local proof technique for starvation freedom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6595090"}},"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":"Q2814127$769416B6-9BB0-45BE-8FD8-2E6C49752243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"652ed467fe6f46a74ec0999f8414b441b1a129d2","datavalue":{"value":{"text":"Towards a Thread-Local Proof Technique for Starvation Freedom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814127$A0763631-B37D-4710-A104-1B3DE29AD819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"581c0c764504becd622380775ae0ad6a23767006","datavalue":{"value":"1354.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814127$1163A892-6FBA-4FB0-8B0B-6833C8299972","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26ef3e92d73cce48cf018bb87a614c4aacd63085","datavalue":{"value":"10.1007/978-3-319-33693-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814127$983DCF60-2C36-4EF9-AD37-42D9C486E72D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$932A2625-00AD-4073-99DE-CEFB44EC1F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc3d94fc68456fbac29032762d77339b119d10a","datavalue":{"value":{"entity-type":"item","numeric-id":1673657,"id":"Q1673657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$D90AA2D7-3FCC-4579-8664-8301B69357B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$E2626CB2-2A77-47CE-BCB6-C5511450C88B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$38D8FC14-444B-4879-9EA1-B9CCAE6EB89D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814127$5FD71283-50DC-44CE-89A6-018A07C9815D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814127$71242194-A80D-4F61-912D-BA39A03E0469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814127$66E14BF3-D4A9-40F9-8231-1E4E5BA22161","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ffffb28fc3c83a753b6a9bf1312f620371f7d4b","datavalue":{"value":"6595090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814127$21599BBB-7A86-4C74-9D6E-71804D0D3C9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4b6f4b7a48cdf456c9938aef3c0d6283e57bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":25828,"id":"Q25828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$EF58D863-9E2C-47F9-A167-37FD7E01E23C","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":"Q2814127$1ACD6657-9945-4178-859B-C1B89A1E7873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f9c6d302c425290591ad10461520b7d8c3a4f3a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-33693-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814127$648663D9-9837-4CEC-9CCC-8AABA4E0CAB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d7e0a6ecd9f8d23a73600fdcf778f185cd33ae","datavalue":{"value":"W2475115935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814127$C5A9EEA7-5C11-4B2C-84B9-0B4FBA789C9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$52F62492-3365-4E44-8297-B374E03E1497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475f8fa6cb77c023d7c800b8cdb0f884638c95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$1DED3E7D-57D3-42F3-92EB-1C065DF42F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$CFF83044-B820-4CE0-8FAA-2121A31A0334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7ebc3d91699f306c1b447842f52b7923bb4426","datavalue":{"value":{"entity-type":"item","numeric-id":2828283,"id":"Q2828283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$585A855F-0DB4-4967-AD49-2D8DFB145609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$D8751292-9BE1-415B-9D67-63BA423B7E63","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":"Q2814127$ADB31AB0-2D05-42B8-BE36-82D866448F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$E11817F9-A88E-4ECA-AAD4-5BEFA0B8B126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c215e61df3e675f4579f974e2fd1916d2d9148","datavalue":{"value":{"entity-type":"item","numeric-id":2894275,"id":"Q2894275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$CBD30880-4248-40B9-9584-1C4A321B7304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b52d32cf493a9d30541eb43bfe81d2683002f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2251128,"id":"Q2251128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$438F1622-B83D-45F7-AB4D-0A08B7782CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$FF446346-2C38-4CBA-8617-CC375847A73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814127$87801AA6-162B-42FD-B112-CA1AC4F0CE5B","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":"12feb50887acf491238a112f0955031034050c09","datavalue":{"value":{"amount":"+0.7823848128318787","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":"Q2814127$4F1970F3-A4CD-40A3-8EED-A53722C830F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2815cdabd4a56b637568661c2091f5af3e119f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5290073,"id":"Q5290073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed85bb7b16b905861af13ab4fc2971a35908d35a","datavalue":{"value":{"amount":"+0.7807431221008301","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":"Q2814127$D8B7BBA7-5C23-4E6D-AF31-1D42852C661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930ee705e24a9f2aa36918bc2be3a41d84be790d","datavalue":{"value":{"entity-type":"item","numeric-id":2828283,"id":"Q2828283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151c6e581a0a055365f745db084d5313a8f983f2","datavalue":{"value":{"amount":"+0.7699716091156006","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":"Q2814127$613F616B-C438-47F2-B332-3B4E66892275","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":"06bfac2b7b5a17eb08836d18c4f59ed02bb6d58c","datavalue":{"value":{"amount":"+0.7483217120170593","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":"Q2814127$AC777FF2-D1C6-4AAC-BAD7-054DB0793BF1","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":"76827613136f52916636a7639696af1d395b8a31","datavalue":{"value":{"amount":"+0.7450077533721924","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":"Q2814127$5766211C-03F6-4077-8915-3EEA12596A1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814127"}}}}}