{"entities":{"Q5261539":{"pageid":7291107,"ns":120,"title":"Item:Q5261539","lastrevid":91980725,"modified":"2026-06-05T00:33:50Z","type":"item","id":"Q5261539","labels":{"en":{"language":"en","value":"Automated verification of practical garbage collectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455633"}},"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":"Q5261539$2B3AA1CA-6681-4671-89E6-C2E65B18EFA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cc1633a950d769d5bf7ea3e2730c1a9ad98543b","datavalue":{"value":{"text":"Automated verification of practical garbage collectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261539$2709DD28-F397-47C4-8751-D3EE48684642","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a4f9e3a8537f1549d8ceb9a14aa7b71dde4c87e","datavalue":{"value":"1315.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$ADDB34C0-948D-4957-A614-C6818D9DF10B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec37af3753f2417908ef636d5d5cfb361cfd43a","datavalue":{"value":"10.1145/1480881.1480935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$84D5F01E-3185-46B9-860A-313BBFA4D664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cbe4fb87bde48f3abef1fb879b8863c4192a481","datavalue":{"value":{"entity-type":"item","numeric-id":1852266,"id":"Q1852266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261539$199F583F-CDE1-47E5-8D69-F30B6C031B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"722c19d28b46bf9f7ad91067fe2f42d8b63da77d","datavalue":{"value":{"entity-type":"item","numeric-id":812825,"id":"Q812825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261539$34A6942C-B2E6-4EF1-A16B-D2BC9DD71C92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261539$E63263F3-F1A7-41A8-A166-27E849024A7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261539$B8611250-D825-40FC-8597-20405B606112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e19237684687ebd6b0431d43bb627a32067bdd0","datavalue":{"value":"https://arxiv.org/abs/1004.3808","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261539$F22ABBA1-A312-4D72-A843-A2B8FFCDCBA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$782962AA-3252-4036-A667-70605EA35080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$62F56E7D-660B-4A4B-A574-0414A8B8D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$58F918C9-EBC6-4B69-9E3B-81248BB62B46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d4ee53b438dd1f8acc227dcd1db146cc65ce76","datavalue":{"value":"6455633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$893832DF-A253-4DA9-AE94-636BC27881A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261539$5594FD3B-C0E9-431A-A0F5-68103E31F211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261539$B36B7405-FC7A-4238-9EC1-1B3A24FB25E9","rank":"normal"}],"P1463":[{"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":"Q5261539$3CFCB616-1ED1-4D76-8476-28AC0B1A4677","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":"Q5261539$15E3777C-8600-45A5-BDC1-EE825010313A","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":"Q5261539$65F3FA26-837F-4882-887C-A2A395E2E56E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fcc9ca63a637bd15f7a57f522619145e514e60f","datavalue":{"value":"W2137484994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261539$600E1A86-0FD9-4CC3-AFD9-BCB1C4366F59","rank":"normal"}],"P1643":[{"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":"af38022c918148a25a1f7ab2e415dc3d875c4147","datavalue":{"value":{"amount":"+1.0000001192092896","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":"Q5261539$FFE7A930-92B7-478D-B84B-ACA225ABBD7C","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":"50c90441cb589e4959ac8c32fb517a299b7d706b","datavalue":{"value":{"amount":"+0.8114856481552124","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":"Q5261539$F0972797-FAB6-4DF6-BC2F-51F3E22A9151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ce337b7c579a62aaad5c5a0a94d8e153c1e28a","datavalue":{"value":{"entity-type":"item","numeric-id":5915786,"id":"Q5915786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74cd2fa9c506c4225dc386b06befde235e70b0a5","datavalue":{"value":{"amount":"+0.811485230922699","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":"Q5261539$3CC13E0C-1C21-4978-B166-3352F1B339B8","rank":"normal"},{"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":"0853b9560362619d7695dae1156e5571e008d7d9","datavalue":{"value":{"amount":"+0.7591572403907776","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":"Q5261539$D5BE42EC-1E27-45C5-878C-C77FC4E00A03","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":"93d2566087302bbdc38aaab0e0c69c93924035d0","datavalue":{"value":{"amount":"+0.7517148852348328","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":"Q5261539$89434854-9C5E-4DD2-8E9B-D4E20B0FFF46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of practical garbage collectors (scientific article; zbMATH DE number 6455633)","badges":[]}}}}}