{"entities":{"Q1687774":{"pageid":1698515,"ns":120,"title":"Item:Q1687774","lastrevid":72000096,"modified":"2026-04-14T01:59:39Z","type":"item","id":"Q1687774","labels":{"en":{"language":"en","value":"Verifying a concurrent garbage collector using a rely-guarantee methodology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821870"}},"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":"Q1687774$4724057D-84B5-400E-AEF6-1185D123468D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91b449ec63859fbbbf3d590cb2bb6687f10b0ba3","datavalue":{"value":{"text":"Verifying a concurrent garbage collector using a rely-guarantee methodology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687774$46F37E69-385E-4564-8CC8-690131DE22CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4e6ed005650eb83d005a0c8e7bd3bc0c20cdce","datavalue":{"value":"1468.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$A09D6828-A496-4641-9266-ECFE5FA05D54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb380863075cd3523197f24a3a6209129eb8b1b","datavalue":{"value":"10.1007/978-3-319-66107-0_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$49703A42-3E32-40D5-9EF0-4AE976AB9A79","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":"Q1687774$B43EECB5-E908-4E27-839A-03689976C4DA","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":"Q1687774$13423DC0-C944-486C-AB44-622085274009","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":"Q1687774$69C5C77C-C6FE-4808-B29A-A69A100C72C8","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":"Q1687774$3C7B7C8C-4976-44D2-BC32-0D2514AF63DC","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":"Q1687774$3BAF8D80-80FF-4E32-A281-F5E5675FD03A","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":"Q1687774$C930D2FD-9569-4153-AB07-CB897B536D38","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":"Q1687774$41A33D95-639D-4FDA-9D5A-BDAA10743BD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687774$E7A2D5CC-9DB8-4AF1-B5E6-DB3444CFB508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e49798bc9473b75dea9828f3a8a0461f28801dc","datavalue":{"value":"https://hal.inria.fr/hal-01613389/file/itp17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687774$53956F16-5DF5-4CCC-9B5E-A4D246CD3A13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$4553B500-A3E0-4C6B-B0AD-79A44FB38B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$29BA7229-DF2A-4261-8721-5660AD6069ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$B9C67B4A-B5E3-439D-BEC0-B4A0DE479ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$81D665A2-DC77-4C2D-80E1-E4A38E749EC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8bb35a8fe5e7c0006eb3f5a14c530fb2eaab5e7","datavalue":{"value":"6821870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$D97C6DC2-F385-410D-80D2-0756F15B53C0","rank":"normal"}],"P1463":[{"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":"Q1687774$DFE95FC8-2E35-4E39-A902-9D10302AC84E","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":"Q1687774$33554825-9017-4BAC-A303-22E9B96D217D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c46f03f08667293319b17e95a6478499f61bca12","datavalue":{"value":"W2747080245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687774$104CE9FD-DE28-4EC8-AF07-C04F81F59549","rank":"normal"}],"P223":[{"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":"Q1687774$DD4ACB9B-7D35-496B-BAFC-0F773AD3E62A","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":"Q1687774$C5810A5E-804F-47ED-8E6D-36CF1341205D","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":"Q1687774$D4C44C41-9D76-482F-A814-076A33B0B0DB","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":"Q1687774$F42DEAB6-BE95-4024-8FAE-BEE12CFAF915","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":"Q1687774$A2A593C0-287E-4533-811F-40168F83C533","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":"Q1687774$A97638B8-6ADE-4418-B62A-A8D312EBF1BD","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":"Q1687774$A200418F-82B5-4614-BF69-08E3702A3575","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":"Q1687774$628AF42E-7A1C-4875-B47C-3B578A9BB96F","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":"Q1687774$9BB8175C-AAD2-40D2-BD24-AE868C29E572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ccf3cffd499e9a1ca785111d357fb3192fa038","datavalue":{"value":{"entity-type":"item","numeric-id":2319995,"id":"Q2319995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fcc76f20b67bc3c87cf9f59d0b19875f53e929","datavalue":{"value":{"amount":"+0.991455614566803","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":"Q1687774$0FF83542-4883-4674-9FDF-9B5FE01BBF23","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":"7edb65ea75705ce4af86e776d5c3b5a256c6e993","datavalue":{"value":{"amount":"+0.7552869319915771","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":"Q1687774$7392334A-DF91-4803-8F0C-20D50BF59831","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":"dcb830d27b684161a3ae65f9cec45c72058917d6","datavalue":{"value":{"amount":"+0.7540300488471985","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":"Q1687774$6D7E9951-DF8B-42A1-BB82-75F956F6E039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b31e5b56cdb4b1672f35d0fc7eb95fa54be027a","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1004845ae54fb01641d428d8139e8a8b189d92","datavalue":{"value":{"amount":"+0.7521867156028748","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":"Q1687774$40EE03DF-D1FD-4713-A2E8-C68004284C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9e31deb0202532d85629a31746b5bf5d495c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5919585,"id":"Q5919585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841f6fbc3afbd078aa94280c4d91dfb9b0fdfef3","datavalue":{"value":{"amount":"+0.7514553666114807","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":"Q1687774$99A2E129-A8E3-4BF2-B761-A11A811CA3E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying a concurrent garbage collector using a rely-guarantee methodology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_a_concurrent_garbage_collector_using_a_rely-guarantee_methodology"}}}}}