{"entities":{"Q2319995":{"pageid":2330738,"ns":120,"title":"Item:Q2319995","lastrevid":78865967,"modified":"2026-05-06T12:36:58Z","type":"item","id":"Q2319995","labels":{"en":{"language":"en","value":"Verifying a concurrent garbage collector with a rely-guarantee methodology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096725"}},"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":"Q2319995$54E6DC78-31AA-45FC-82E9-65252B5D06C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b486ef0bceaac7b22b0f9d601cb54600979ad5a2","datavalue":{"value":{"text":"Verifying a concurrent garbage collector with a rely-guarantee methodology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319995$0E016F39-FE4F-4B4E-90E5-8EA54E5AFE13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e92a53ae37ccac17214348592ed6522ac57e0c4e","datavalue":{"value":"1468.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$0DDA4770-C436-4E26-AF13-B70D563EBD15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f019ea86f29544c13d47cdc7eb8c8c1ecab601b","datavalue":{"value":{"entity-type":"item","numeric-id":1687771,"id":"Q1687771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$8C711546-911D-43D4-835D-710CEFF855DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f0e18fdd00238943dbba3bf0ab72db29f03c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1389679,"id":"Q1389679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$46B4705D-D72D-412E-8696-EE83D4D1835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36d0d335816627975ca4d40b2fc27c32e52a7a3","datavalue":{"value":{"entity-type":"item","numeric-id":1687772,"id":"Q1687772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$2D213BB3-F360-48D5-98CE-D267FA4FB347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754362b8a0c777b4de7ff5ba146561683f73d1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1687773,"id":"Q1687773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$AE247D27-5D64-482E-91B3-3529650389EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"322d1bbf43d96eabe74baa00ad17d618005c3800","datavalue":{"value":{"entity-type":"item","numeric-id":287368,"id":"Q287368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$C23AFF32-1D21-4F65-BE19-3270ADA351A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9ea0621027ebcea1bc6d57ecc6f0e59b3fb507","datavalue":{"value":{"entity-type":"item","numeric-id":436390,"id":"Q436390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$907B25FF-5F38-4DEF-930E-2F75CE921DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5d56590b9e1f81c9a1dbdd959f0a581962a4fb","datavalue":{"value":{"entity-type":"item","numeric-id":995819,"id":"Q995819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$B2CE3A67-6FB5-4A98-9C7A-D80B86DAA6F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$56126960-F8C2-4DA0-986E-18C02A2C1865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319995$1762EA8F-D03D-4438-82FD-B410FBBAB1A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$A510E411-0C9E-451C-AAEA-14AE20FD51F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$76C902D1-A5AA-4EE9-9AA9-3A454C4AEF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$D6BB8888-60AB-40A1-9B5B-750492DDC79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$B072DEED-EDB6-4FF8-B2AB-9E38C3246610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00325fcb31c3ff12684947c12fe2392605fbc194","datavalue":{"value":"7096725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$0D6975B7-40E9-4E31-AD81-078CD185CF62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0284c9a9a2b813b2ff7f3144a9734000405090ad","datavalue":{"value":"verified garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319995$F51B5BF5-6CE3-4C87-9FBB-5A1F596A20FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319995$B32D7E15-FF40-4D06-BF7C-9E2CDE5FA2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319995$CD2AB602-F534-48EE-AD14-E843289561D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319995$87F189CB-E127-470F-9040-0912F77D8B05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e079f4640d565f0ca1930fd327c2c7e8d634508","datavalue":{"value":{"entity-type":"item","numeric-id":21954,"id":"Q21954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$97EDD01D-4C67-40DD-9E21-3884EA140C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44e192ea0614ca90dcab29c306f09db708056c50","datavalue":{"value":{"entity-type":"item","numeric-id":24736,"id":"Q24736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$B7C5234E-D341-4B16-9119-5826B9FFE27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc5c59426a41f6c89b26cae1b1f6a04019c38888","datavalue":{"value":{"entity-type":"item","numeric-id":34413,"id":"Q34413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$4777FCE9-2FD2-472D-8F22-39D7369853B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$226A0B5C-C03C-479B-9A53-32BCE94A3FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$2F5C7B06-C6C2-4205-9EF8-886CA2AB6BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$27313EC3-15D0-4A11-9D23-66BD38548860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$3050F8AF-3F60-4D51-8326-4E7710527007","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":"Q2319995$BAB0B50F-2F93-483C-B8C5-A1E16AE26CFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4373046d186843972ac694e744fc7b34421735ca","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9489-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319995$5ACB51A7-9C8C-4505-ADE3-FF43527C64A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5855cfcf3ac30e265acaec508c8ee7e353bbfdf","datavalue":{"value":"W2899108093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$DB54BF74-884E-422E-9298-A5F876BA0693","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$4B8BD813-0993-43AB-8A54-C228649F738A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd44752aa5df5cd038054d2d30c6001d6392b03","datavalue":{"value":{"entity-type":"item","numeric-id":286790,"id":"Q286790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$3EC413B5-DF50-4CD3-BB8E-6EF5AB832237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854e173f49eb24123e6c5e5385e3fc3a1c6eb543","datavalue":{"value":{"entity-type":"item","numeric-id":2931808,"id":"Q2931808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$D8712973-646B-4CF5-A4D0-A8FBA6114B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f50e4e3217f5ae81e8697e0c7dac217fdf7a946","datavalue":{"value":{"entity-type":"item","numeric-id":4167545,"id":"Q4167545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$0FDF0CA9-19CB-46D7-B04D-674B8B42579D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a437b3debfc6e39e14adc5ae5b77545ffa37fb","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$4BD51102-45E2-4A37-BA46-4088CB6077FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9338ad617a6b3edc27fe0e8511e80dc613926ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5261539,"id":"Q5261539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$D90E7150-8AA7-48FB-B29C-F86F7E204D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$DC115C87-45D2-43E5-B871-6972139DE97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cc2e5d04fda1757aaac285be5ea8feb9004592","datavalue":{"value":{"entity-type":"item","numeric-id":2942895,"id":"Q2942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$E7BBFF88-2FB2-4BAB-8F2F-AC79C06EFF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8d26da867e0c36f196c0cb75c3d3c7bb2c96b4","datavalue":{"value":{"entity-type":"item","numeric-id":5176947,"id":"Q5176947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$4B1D31C1-5317-446A-87D0-ACE609F8D30C","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":"Q2319995$12B5405D-6E4B-469F-984B-9A4BE033EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a478aa341d9931b9cdadf01ac11a9d5e73a92e64","datavalue":{"value":{"entity-type":"item","numeric-id":3575280,"id":"Q3575280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$98520FC9-4C97-48E7-A6C7-68D9F7F5F5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$0795D0C1-4297-4248-AB61-4D6263AB2C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bd5b4e250e25c171bbf7c450ed5cb3feaf84cd","datavalue":{"value":{"entity-type":"item","numeric-id":5915786,"id":"Q5915786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$84879D6F-A1D1-4717-BEBE-D6241D31605F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$3816124C-56B1-4DC2-9F54-05676B5BD93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffae1b379654812ccb60071d9820aff09a3f08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3452262,"id":"Q3452262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$7FBA108D-35FD-4DC5-943A-7120C2608CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb97b334a68fae247453155dfcad48720dc60752","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$90398258-0F34-4582-A0B4-2CD41BA2BD40","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":"Q2319995$B5717408-3CFA-44FA-ADBA-0329AF318E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c1062ab610696406f3e40ea2cd85eb2c72356e","datavalue":{"value":{"entity-type":"item","numeric-id":1687774,"id":"Q1687774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319995$F445B183-4A34-4299-9700-C4B08DBD66B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b32f70a6392a953d10e01abdc2735e9fecc06140","datavalue":{"value":"10.1007/S10817-018-9489-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319995$FC588DBB-ABB6-420F-B289-C0FD2E8EA0F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82876524cd033ce83f9873b0cc43eb02f27791eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687774,"id":"Q1687774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adee819b02718d0439373a1140ac82ff24051c0e","datavalue":{"value":{"amount":"+0.9991094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$70689B1B-4E21-4719-AE37-48BB1F98176B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03ccabccc27bc3a78a8834f59a198b2abd18734","datavalue":{"value":{"entity-type":"item","numeric-id":2418046,"id":"Q2418046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd19959daa230e5ff07ddce144cf9a5bf9f5563a","datavalue":{"value":{"amount":"+0.9244936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$FBA12432-BF3F-430E-A452-8DB57FC08845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa05d11881f3f651c5506c611df8a5fdb8a436c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786120,"id":"Q2786120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0837e9571cc2ab2e1f226d484b425c284e43faf7","datavalue":{"value":{"amount":"+0.90196925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$857B67B2-1C0F-42A6-A76E-2B68F9C61579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2cc5825e174cfa030d1ad43faae0f07e3d2af7","datavalue":{"value":{"entity-type":"item","numeric-id":5261539,"id":"Q5261539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0837e9571cc2ab2e1f226d484b425c284e43faf7","datavalue":{"value":{"amount":"+0.90196925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$728D473D-D9F4-45A5-9DF5-BF51CEFADB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc27d3faf5c4e6823b8127110bf3fb0737b1c9c3","datavalue":{"value":{"entity-type":"item","numeric-id":4812315,"id":"Q4812315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8126471f33349e31124b276956f883eb988a6285","datavalue":{"value":{"amount":"+0.9016222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$5A18839B-A123-4885-8875-EE8CE2E426DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331bfb91374f70d72303964ae5e38ce13d07df53","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ff7599bfd89cbb7de44bab13f3a76414a041f9","datavalue":{"value":{"amount":"+0.8935597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$F0AFC5B5-68F1-4026-BB04-1DC8F357F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779bf87e860db6b7e31dac53d5c67a8745ab100b","datavalue":{"value":{"entity-type":"item","numeric-id":3575280,"id":"Q3575280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcffe4ff46b4e89e8df73e4b07caa56492f1f4e1","datavalue":{"value":{"amount":"+0.8880526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$8488DE02-D50B-40FC-9268-5A8AE6886A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d5a217eab8b2834104237f5e153b9bed3a62b3","datavalue":{"value":{"entity-type":"item","numeric-id":5326289,"id":"Q5326289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e031bbb01d734bae2c2ae517d8496e3d957c7c","datavalue":{"value":{"amount":"+0.88515437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2319995$06DBD99E-840E-404D-8B6E-D496D316ECA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying a concurrent garbage collector with a rely-guarantee methodology","badges":[]}}}}}