{"entities":{"Q3575280":{"pageid":5605184,"ns":120,"title":"Item:Q3575280","lastrevid":58215378,"modified":"2026-04-04T06:38:17Z","type":"item","id":"Q3575280","labels":{"en":{"language":"en","value":"Formal derivation of concurrent garbage collectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761634"}},"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":"Q3575280$B1D74D2B-46F0-45D1-A8AB-35EADE857D56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1410156d25cb902cc74da5b7c4bcfe30342199b","datavalue":{"value":{"text":"Formal Derivation of Concurrent Garbage Collectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575280$99B0A9FB-3382-48E8-9BBE-D35220DB04DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61e171c1baaddf73aa4ff82db954c8af10937709","datavalue":{"value":"1286.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575280$E47C7DC5-9343-4F84-B697-4E8EE56DD3FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6ebd66ede9d2abc8f8898f9c8d479225c95722a","datavalue":{"value":"10.1007/978-3-642-13321-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575280$B0F91623-B571-4706-A135-3D20FEE3878C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575280$F73175E9-8208-47DE-87AB-34448DE2CA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f070e6b07a0173f14bde227f02429cbec1ff3","datavalue":{"value":{"entity-type":"item","numeric-id":578897,"id":"Q578897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575280$B271EC16-ED47-4FFF-BDF4-ABA6B8FF312C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83cdf2736633b53c2b52e1429b78600859217893","datavalue":{"value":{"entity-type":"item","numeric-id":760205,"id":"Q760205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575280$CCA3EBC0-8A64-441F-8D5F-915131DB43C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575280$1FB49E95-4CED-4AE5-AAD2-5FBB4614A53F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-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":"Q3575280$3804A436-23B2-4FEF-8107-CBC6529B01B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2916317a31a211a7e358a93eb5bfaf669628605","datavalue":{"value":"https://arxiv.org/abs/1006.4342","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575280$6B6357F0-8CD6-499D-A2D6-DEAABDD6A299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575280$03686C82-B766-4209-A3A0-A57D343613DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb856346c78536a5ec5774ac824878458c07cd34","datavalue":{"value":"5761634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575280$B6AE9CBF-6F47-4B09-A5BE-0CDFB8218A04","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":"Q3575280$4DF20CA6-F235-4200-BFA0-0F295D4DB4F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"877e3029d4d0447a50da5764f749187c023eace5","datavalue":{"value":"W2109524688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575280$A296F8D8-E379-4FAB-9C2B-6FF950F733BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5121d2568501fe700ed38ebd9e8d11328d219a9","datavalue":{"value":{"entity-type":"item","numeric-id":5305657,"id":"Q5305657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da36399f16232a3bc35f9b9053322e8ee61f898","datavalue":{"value":{"amount":"+0.8131927251815796","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":"Q3575280$A86E1ECE-00A9-450E-BC07-A39F24876EA7","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":"854403b887172633e10047b211157839fdbb786b","datavalue":{"value":{"amount":"+0.7591835260391235","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":"Q3575280$AAD51738-C050-4A1B-8F96-93D7617F0FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e50f29de15e91fd58426354d3e0ac5c5282ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5962117,"id":"Q5962117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30969e0f31d3632fe83cfc5d108b51e3d6f6e20","datavalue":{"value":{"amount":"+0.7531753778457642","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":"Q3575280$19064BF3-63A7-4C8A-A283-5E8FBC2F6D1C","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":"ce5182be94dd054d6d3ee0f9b9ccb1c2e448cdd0","datavalue":{"value":{"amount":"+0.7520074844360352","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":"Q3575280$B596F138-D2EA-4747-9565-7CD1F7A8C5C2","rank":"normal"},{"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":"b1f163ee56156cdbee539bbb16b2d7ad94d56207","datavalue":{"value":{"amount":"+0.7479298114776611","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":"Q3575280$3A9CD840-260A-4B5F-952A-8CB042B96AB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575280"}}}}}