{"entities":{"Q5891174":{"pageid":7926969,"ns":120,"title":"Item:Q5891174","lastrevid":101985227,"modified":"2026-06-06T03:15:24Z","type":"item","id":"Q5891174","labels":{"en":{"language":"en","value":"Reachability under contextual locking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211840"}},"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":"Q5891174$3746A534-2D62-4725-8551-02B68E2AB25D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfcad32cdbce4483e3e55f66940bc713ad8b10a8","datavalue":{"value":"1274.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891174$167C756E-1130-4EE0-A497-684AA12C43DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"609dfe6e58373d0153ffd8967967ed94112e27ed","datavalue":{"value":"10.2168/LMCS-9(3:21)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891174$64EEE8B1-B4C1-472D-9A3C-CC71E95EB400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d52787a6fbafe429e2741b67d1805390ad9b06","datavalue":{"value":{"entity-type":"item","numeric-id":1951596,"id":"Q1951596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891174$B1A3891C-76DB-48CA-84F5-4A8C6443D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891174$61C7798F-FCDF-40EE-AA91-B300701F69C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891174$5D80BC55-0537-4230-ABB5-991DFFF7CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891174$8E160F3A-B7BA-46AA-91C8-53D1E5ACDEE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891174$45CE99D5-3F3D-4F33-BCE9-1BA8947362E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-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":"Q5891174$20F18D7E-FBBA-4FC5-A01E-639AA9AD898E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7740b254641afa7be43f9eea0cdb40e17e90c388","datavalue":{"value":"https://arxiv.org/abs/1308.2349","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891174$2468D91F-1E73-4037-AC00-ECAB1730867D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891174$29630D4C-51DD-41CF-B9BA-4DAFB0B25ACB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"079555275f905f576a55184d6544c2f03d2909d6","datavalue":{"value":"6211840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891174$3200B114-53C6-46ED-8736-DE0F12A5C807","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891174$90E71679-3ADE-4CE0-973A-CA1B65797B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751ce94185c273a13adc9bdf95360148ed6e112e","datavalue":{"value":"pushdown reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891174$2A3E7586-34A0-41DA-9D30-5A10842695F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91223fb9ee6329853aed0b592e87de930b069583","datavalue":{"value":"locks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891174$887BC1F7-ACE9-475D-9C48-FD5335B98978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ba01f3334de0a9e27d1911eb053cf87f9f6b76","datavalue":{"value":"reentrant locks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891174$A39EFC36-871A-41BE-AE83-9C7CABCD438A","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":"Q5891174$72F66C62-A64E-41CC-8E64-2B79B853C378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9797a80a3fd8b28767f0c29c5928fe9b39a68455","datavalue":{"value":"W2087943116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891174$14B3D019-C901-4563-A64C-6EB14179530E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc2c2b8d7dd591c0be3a3552fb80f8d947b77c90","datavalue":{"value":{"text":"Reachability under contextual locking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891174$16270405-F13C-40D5-BDF4-19A422C004CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463834fba6106aa6fdbe55d82b9e5105b0dcf559","datavalue":{"value":{"entity-type":"item","numeric-id":5891625,"id":"Q5891625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9697fa01369b0fb56e99ef74e5da784ac36be830","datavalue":{"value":{"amount":"+0.9889512658119202","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":"Q5891174$8F90A469-2684-435C-BE90-B7BA73BA25B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27a938ec3ebb26e42939a487c9f526c85b17e14","datavalue":{"value":{"entity-type":"item","numeric-id":4910412,"id":"Q4910412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f021e7b15b5c7540c76956975171f102a96e5147","datavalue":{"value":{"amount":"+0.8061838746070862","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":"Q5891174$5597FAB2-3DEF-4F73-A102-E16CBC2ECEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83572cf736abf5f2d6d27711afade9973a0093dc","datavalue":{"value":{"entity-type":"item","numeric-id":6039304,"id":"Q6039304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384b095198482a685af6b12d0e899b8eeea76b70","datavalue":{"value":{"amount":"+0.7764171957969666","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":"Q5891174$D6893599-AC93-47C3-8049-8CBA2600B50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b3349e861057ef25d3e153f1e107c33a6e3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0053e021eda7dabf22b17b84c635f3ac1cd6f3e9","datavalue":{"value":{"amount":"+0.7488928437232971","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":"Q5891174$E9D406A1-49FB-47FE-87B9-895F4BFC7415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133439633d30fd2dc09cee8689548d8882704c82","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7aa935676e6f4ecf876ad13033366326f91466","datavalue":{"value":{"amount":"+0.7448592782020569","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":"Q5891174$A9956387-B4E7-4459-BF9C-ECCE05027FA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability under contextual locking (scientific article; zbMATH DE number 6211840)","badges":[]}}}}}