{"entities":{"Q2786120":{"pageid":2796858,"ns":120,"title":"Item:Q2786120","lastrevid":79385792,"modified":"2026-05-06T13:47:10Z","type":"item","id":"Q2786120","labels":{"en":{"language":"en","value":"Automated verification of practical garbage collectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789393"}},"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":"Q2786120$0CC24118-2004-4BEE-BEE0-209E2C7D92EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e199642b1db04f0a999945965611c250655073b","datavalue":{"value":"1214.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786120$288B1398-5095-4E05-AB94-FFB1C3A5FD39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc209494fcd9b13f3a0ba3dc6ac5013e19310744","datavalue":{"value":"10.2168/LMCS-6(3:6)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786120$4E17E6FE-6E11-4DAF-9174-6DAEC716AE84","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":"Q2786120$C942C9A5-4FB2-4781-931D-04A169DD23A8","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":"Q2786120$1378FBA3-8687-4232-9A55-C9AB4FB43334","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":"Q2786120$4F9C0751-3851-454E-92C5-AC47AA1C722E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-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":"Q2786120$000D7F60-C403-4D4B-A5EC-8A0A6B7B51FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786120$0EC6FB86-8E09-4E0C-9135-08C98436DDD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcc72eb14f8a095555c90224e0713374d1598e23","datavalue":{"value":"5789393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786120$254FF066-32DB-4437-BECA-2D7B05AF0889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786120$69A48A41-E986-4F17-B2C4-5A4563727FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786120$ECC210BC-A8B7-422E-BB9F-842CA0AF4E1F","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":"Q2786120$891C28C2-B449-4298-AA0B-2FFB7D355A66","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":"Q2786120$26EDC8D1-1519-4370-84C4-521EFE70C3B7","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":"Q2786120$D463036A-0776-4C1B-8DB9-34D35682FD8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1888a4b43ed861f29fde85e4edc7bc18cc595ebc","datavalue":{"value":"https://doi.org/10.2168/lmcs-6(3:6)2010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786120$6AB177BA-7B5B-422D-8BE9-1D4EFE80FE52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fedc4565786a31e84085ec27c94affdebf076c54","datavalue":{"value":"W2950302512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786120$0274690A-70AF-4E3B-8436-ECE2160F7C8D","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":"Q2786120$262EA454-5BD3-4925-B4B3-00C504EBB60E","rank":"normal"}],"P1643":[{"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":"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":"Q2786120$43D6B6C3-98EB-4560-A32A-3F78F64D2C6E","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":"21e1ea0bd0fc3d445beb8985a0c2c3dee0c5d8b6","datavalue":{"value":{"amount":"+0.8114855289459229","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":"Q2786120$0F783B87-CE4D-49A0-8D95-C0935B3EC995","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":"Q2786120$D4FB92A9-EB4C-40E1-BB6A-0BD412D819FD","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":"933f92524ee38bee678ce28cd26ca644dfee8d25","datavalue":{"value":{"amount":"+0.7591574192047119","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":"Q2786120$CDC66687-2961-46E6-9E08-4D2489028419","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":"Q2786120$693BA9D4-4B78-4853-8ABA-737ACB12C32A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of practical garbage collectors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_practical_garbage_collectors"}}}}}