{"entities":{"Q729809":{"pageid":731658,"ns":120,"title":"Item:Q729809","lastrevid":63894333,"modified":"2026-04-11T16:16:19Z","type":"item","id":"Q729809","labels":{"en":{"language":"en","value":"Lost in abstraction: monotonicity in multi-threaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668155"}},"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":"Q729809$4501CD12-2B19-4D9B-8FF6-A87E8159242B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"204d75e60a17bf05f3503f04726dac399d373b44","datavalue":{"value":{"text":"Lost in abstraction: monotonicity in multi-threaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q729809$7C74DEB7-BBE4-4ADC-BB9A-5EDEB5E1B95C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d6dadb382d7d4bde92c23c17f1598f7562d4cb0","datavalue":{"value":"1355.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$4F1F1CE9-A7F0-4175-91C7-18112997B615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$51875A7C-CDD9-4327-8965-D9D05B8FA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$8F8E7482-C701-4CFC-ADA8-5E173EA7DAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d53ad12ade8ab2f825d35b19e19b5417de710a","datavalue":{"value":{"entity-type":"item","numeric-id":2437297,"id":"Q2437297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$1764ECCD-3F46-4299-83A7-497C333551E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$C2310CA5-6567-41E9-B432-9B9A4270F32A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22cfb65c3a705144ee5104515a956f003c155b5f","datavalue":{"value":{"time":"+2016-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q729809$BF13DDC9-5A81-42FF-AD6F-685580DD96AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$22DCE845-218E-4C9D-BC26-318D1CA83400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$7852E474-3DBC-4B36-B38A-D01601F73D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$7D6898F9-B11F-4FD2-A9B7-5DCB2104DC3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c34af51062cd070b78ee665730ad912c3a11b8e8","datavalue":{"value":"6668155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$D51E6FC0-83DA-43D8-B30A-449E78E1EBC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc6c87547b3852e58762384024a63725a3c669c","datavalue":{"value":"multi-threaded software","type":"string"},"datatype":"string"},"type":"statement","id":"Q729809$C0FCCDB4-54E0-4D2A-BAF5-0ECB3779636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q729809$6ECA1E08-B428-4F1F-B02F-BC7E84FAF19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q729809$168197B7-4195-4671-BF98-F7A3662AA678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q729809$EEF28EF6-FB1C-4FD1-A7E2-43B9D325AAAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ce1c275c9004c307036c19f5a4531407e8fea1c","datavalue":{"value":{"entity-type":"item","numeric-id":21854,"id":"Q21854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$DA16EE64-C974-4B91-8E4E-A0CE83C0CF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$DD7E4A4D-C74C-42F1-B76B-00B8FA13EFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62258a598491cd9e06e78a73a6d38e7c3bd30afd","datavalue":{"value":{"entity-type":"item","numeric-id":32046,"id":"Q32046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$78919CAB-ACDF-4786-BBA9-464C6508A022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00823d4b535dd755fc9f8b52f7bd368e7eeefe9d","datavalue":{"value":{"entity-type":"item","numeric-id":18503,"id":"Q18503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$9E268455-FEB5-48B3-95ED-41D726E9FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3ec25a371ada0015acf86abd0e4aff2191cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":20423,"id":"Q20423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$DA357563-D9AD-41FA-BEFA-DEE935FFB187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$E0641B7A-D102-44FE-8705-D9E85163C89C","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":"Q729809$4D56734F-2CB6-4893-B590-FF5DFA668FE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee75d566d3a0319eb3c7b5d1702f2059d064e64","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q729809$C021A37A-F56B-4B14-A3C8-B11B664DBBC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37d3a69a8e0b0ed3ae021d9bb362750e6a28cef9","datavalue":{"value":"W2293697645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$ABFF326D-2DF1-4271-94CD-33BDE08FCAC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$86DCF7EA-C421-4819-93B3-F7B3F1344C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945335bca612422ffb739e89a641e6f0d72871cd","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$1A062FC0-D8AB-480E-8728-385514CA7319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$DF432DCD-E02E-4775-897D-93DC7EC39BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dce8070a64d933b5b1df25a5d7873365fada06","datavalue":{"value":{"entity-type":"item","numeric-id":2464944,"id":"Q2464944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$C9551880-F63C-4B9B-A825-8E8F1A527F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c55a9f68ffc0e71e7984b9c43c61a46d7027f03","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$F8F43F0C-C3F6-4A15-8A65-118D48ABDAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e445d6a0b46f41096db92cf8935339aaa15c68","datavalue":{"value":{"entity-type":"item","numeric-id":2441711,"id":"Q2441711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$FD27207E-B764-4056-BC74-E3285AEDBFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7de5dcd90bea7a12c122991e2926928f4f9025","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$FE726689-22FA-490B-ADC0-8D90579C2730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb01f51aac999eba17cc3ca784f571a7357214f","datavalue":{"value":{"entity-type":"item","numeric-id":2931789,"id":"Q2931789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$9D3F88A4-B5BD-44A0-ADD1-8CC56CB3EF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$15FBA979-E47A-4B29-94F8-00A4162BB057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$878AB99E-2C7A-44DC-B6B4-50FC6042A65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c979116aac73952522405608e0e7d1878c55855","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$5C759BE3-2107-4338-985C-D0A6664E08C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$66161D05-711A-4F7F-8EBA-A9EB80FAC0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d180c98b7518dfbe30d0622a6092abf2ce9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3584961,"id":"Q3584961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$EBCCDDF3-EE7F-4330-998E-443B9C06739D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$D9781EE1-77E3-4785-9782-1E3C6B043080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7f39375d9639e9cf0530721957d00878a0e3de","datavalue":{"value":{"entity-type":"item","numeric-id":2912699,"id":"Q2912699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$38B2E769-B2CC-4CAD-93D2-F98A481CC4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9013fd85e0d4b6390e5212c6bcb3cca1b9d0a63f","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$56D32FC7-892F-4510-9F54-136A55BB3393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$AB4A443A-78FC-49AB-B421-940FAFD72737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$6470D45C-DD7B-433F-832D-2714BCA19E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$60E9C17D-92C1-45B6-9480-A71857B07041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$FEF83CAD-2E3E-4B42-BBD5-6F2B975CC1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079d7657d15a5a26ff5e887664c7f7c7e066426","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729809$CCF69688-B2FC-4D12-A6B3-AE4F49C3B233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ecbdb17e6ce62232487fb7b436c553670b32506","datavalue":{"value":"10.1016/J.IC.2016.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729809$648E36C7-3D09-4439-8E9F-F0839BAB12C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fb8bb75975111aa68a3ee7f4ed77d335a0b7d9","datavalue":{"value":{"entity-type":"item","numeric-id":3190114,"id":"Q3190114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39061f74a70c86d960b090f8587b9f3165284bbd","datavalue":{"value":{"amount":"+0.9793656468391418","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":"Q729809$86450E3F-3112-421D-9BB4-7BD43AFB8422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783da47575f725db94ac1d0ddc896f8bd9f18f21","datavalue":{"value":{"amount":"+0.7564289569854736","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":"Q729809$CF3E9D21-71E3-4BC0-9909-B64E92342586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefa342511ff0a38e44245db56f582114773a663","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da46b3258fc2357079876d64f3dbcad8f85c47ca","datavalue":{"value":{"amount":"+0.7322388887405396","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":"Q729809$8E98FF5D-0444-40C4-9E55-42C0A1F920CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222b19ffb8f771354dddaa86222178aa3b130347","datavalue":{"value":{"amount":"+0.7294654250144958","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":"Q729809$2394BFC3-B850-4D08-B099-568BE64567AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11529eb4ce409ad0cf813c2502fa801a2afa7f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4931292,"id":"Q4931292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f2b9ea0a836134ce53a670fb131d916d5a42ec","datavalue":{"value":{"amount":"+0.7290894985198975","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":"Q729809$B7539DEF-BF1D-4187-86A6-0F6874331500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lost in abstraction: monotonicity in multi-threaded programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lost_in_abstraction:_monotonicity_in_multi-threaded_programs"}}}}}