{"entities":{"Q3452262":{"pageid":5227923,"ns":120,"title":"Item:Q3452262","lastrevid":52391837,"modified":"2026-01-22T13:10:51Z","type":"item","id":"Q3452262","labels":{"en":{"language":"en","value":"Local reasoning about a copying garbage collector"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507269"}},"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":"Q3452262$97FCAB7E-78F8-48BB-8275-1A26B1E85D80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62f00223d1ad93e8963560814ea3c7fdcdb13f0f","datavalue":{"value":{"text":"Local reasoning about a copying garbage collector","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452262$BD56A00C-5DF4-44B5-BC9F-A29E8AC85637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a099ef02ef9ae3310b204f89615c3833035a58e2","datavalue":{"value":"1325.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$4D145738-2693-4AE6-8923-5353F6DBFC7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2cdf28e983aa59359eae5d0bebfeae3052f2692","datavalue":{"value":"10.1145/964001.964020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$C51C7AC4-ECEA-4F6C-BE46-129818C71379","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17e2c0346df5f53df6973c892b4fda15bec909d6","datavalue":{"value":{"entity-type":"item","numeric-id":607402,"id":"Q607402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452262$8B6B0822-FA31-41E6-9BB0-27CCED9A4CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ce89a28b8751be49dfde7a8a71f1ba0108c6fee","datavalue":{"value":{"entity-type":"item","numeric-id":1260642,"id":"Q1260642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452262$296BF227-C9D4-4D0C-B94F-96E5F2E5E08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452262$07302711-1E8B-4223-B957-2F28A63CB86F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452262$384ADEE3-470B-4E9F-A034-5C9A5E2185F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452262$970F8AE2-9C0F-4E1D-8B1B-F227E0C13E63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$3C9BE649-86BE-4CFC-AD1F-74761DD8FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$669CAFCE-9565-4B36-AECC-D7F1DE82E26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$3BC8FC22-7E28-47B4-80E8-5A589834380B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f81c127ada6d26eca813201ba37ca9fe398be4f","datavalue":{"value":"6507269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$5A3A2D4B-007F-4546-B23D-BDABF1F4A34D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93f090eea8e30bec084091ef819225f4acf1a14","datavalue":{"value":"copying garbage collector","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452262$2062531A-8C32-4403-8A21-2E7A0690E176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452262$BDF37CE2-5FFD-4E26-96E0-5C2FF0B6AD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452262$46722AFF-7700-4638-9FCE-1EA899A9555E","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":"Q3452262$7C2ECE92-A4F0-4EAB-8FB0-118941DD63DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270de7e2b98d99cd1cc3398fe3be063b59107b7d","datavalue":{"value":"https://doi.org/10.1145/964001.964020","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452262$EB89CEB0-A93C-4E9F-96C2-DC4CE4989A05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bd47f81b444f582f7dd0feb83d7a113e71a9d2a","datavalue":{"value":"W1975076763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452262$9C61B937-05A5-4324-BC75-1604BE08107B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760b355c0ed1328360783f1079530c37c7635dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2769428,"id":"Q2769428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380b743441cc8e1dcdc310305e14ad07fe4bc859","datavalue":{"value":{"amount":"+0.8107718229293823","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":"Q3452262$3FEB5D60-AA3E-404B-B004-6CA670F4D3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270279422278939e663bc857c672f27941f56a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1874283,"id":"Q1874283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6566356833af7d95ff880e162af5b56252cc23","datavalue":{"value":{"amount":"+0.7937114238739014","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":"Q3452262$63D95062-27B4-414E-82AD-DD730AA72916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca334c71b2f31093563b1df55327e8a824bfeca","datavalue":{"value":{"entity-type":"item","numeric-id":5415649,"id":"Q5415649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd95db271cd0a98e3dbface213ece3afc2263a1f","datavalue":{"value":{"amount":"+0.7379047274589539","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":"Q3452262$322D4FFE-3A7B-4A54-BE23-105C7636163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d1816aa464c98b96ec95b805b8e6eebc787aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5348882,"id":"Q5348882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1980cb4f57e6ea30504f24bae80fc69296056c9","datavalue":{"value":{"amount":"+0.7295417785644531","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":"Q3452262$4FEDC59E-1B04-4891-A918-9949453F3468","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":"ce0464dcfeadb8cf837ffd72d56ef7e20eb7dd16","datavalue":{"value":{"amount":"+0.7294518947601318","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":"Q3452262$2763D9DA-8B02-4565-BE19-8AFF7CAF0F48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452262"}}}}}