{"entities":{"Q1874283":{"pageid":1885025,"ns":120,"title":"Item:Q1874283","lastrevid":69170475,"modified":"2026-04-13T05:14:17Z","type":"item","id":"Q1874283","labels":{"en":{"language":"en","value":"Program logic and equivalence in the presence of garbage collection."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915474"}},"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":"Q1874283$90DFA30D-CD03-4350-A276-F11541DB10FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243916d7d941f9fbc1452e9ca1611cc28afbe406","datavalue":{"value":{"text":"Program logic and equivalence in the presence of garbage collection.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874283$15A2A247-2ECA-459A-8903-D2DF9B2B96C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c1407ca653bf245ffb367dac5d297fc44e175ce","datavalue":{"value":"1038.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874283$0A774764-21AA-436B-B825-7F297F588655","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4a111f076bd3fffa52ef34e483dbe3f56eb8492","datavalue":{"value":"10.1016/S0304-3975(02)00868-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874283$10A995A6-C213-4F26-AE7E-B2F92EA2A528","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$1329F2E4-DBD7-40BA-9CE0-9A6DFE6C444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$E238B90D-C725-486F-9724-00DEECD18593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3396d8d6c2ec88284e647e78461450d99ea90ad","datavalue":{"value":{"entity-type":"item","numeric-id":469350,"id":"Q469350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$58328946-29E6-4C06-99F5-3C028BFE6E7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$69DB8708-4DA6-4E05-ADFB-1D8C87E7AF88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874283$4CE67B3A-1CEF-461A-A343-126D952A8BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874283$CA1A0A2C-01C7-420F-AA26-B8BC5237C3E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8addd5a2e20b4cc5b17e39353d34a3db7aca6f0","datavalue":{"value":"1915474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874283$51EEC0F0-1A47-4F22-81CF-A0E37D1D41F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874283$57E92D35-5BD9-4505-B5C1-C21FB8ADC129","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":"Q1874283$BD535CB9-E676-4970-916D-A1ACBB39565D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$E9578894-0A7A-4444-8DF4-955C5E6201F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8914cc22efd8b4b68f3bc7e4fedf7bb2faa5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4385541,"id":"Q4385541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$1C4B3022-D1DC-4248-B8CA-3827016CC50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e521a76d17bb67e40357c17948f3ee6e6f48d7","datavalue":{"value":{"entity-type":"item","numeric-id":4934618,"id":"Q4934618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$BDDFB8F7-41BB-416F-84D5-0039D52A244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98daca76c57e932f6dcdc1d20bf8bc0f7e0881e","datavalue":{"value":{"entity-type":"item","numeric-id":1893729,"id":"Q1893729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$B8BAB38C-30A1-49DE-AA42-6D75B50020B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$5CAA2BBA-DE99-4B4B-BBFC-59EEF1D71DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$C7769DEC-709B-45C5-968E-E566DE12811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$5E752BE8-6010-4318-97AF-6189A9B4E360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d7e31b970d781a2b6aeea61e39c9df281171b8","datavalue":{"value":{"entity-type":"item","numeric-id":4131610,"id":"Q4131610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874283$993B9CE0-C70F-40C6-BEF8-5FAB651DD8E3","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":"5b2dd2138eb97865660a854b2a7b6afdf4cb4e99","datavalue":{"value":{"amount":"+0.9413999915122986","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":"Q1874283$8EB90AEA-F33F-4B0C-90B5-BB721516566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f8e8aa46ca6fef591570cb30e10924857bcd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3452262,"id":"Q3452262"},"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":"Q1874283$2F9F8474-F45E-4DE2-A281-A87FBD82F16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77425730d35a860dd3dfd4bd403dd86d0943a98","datavalue":{"value":{"entity-type":"item","numeric-id":4499249,"id":"Q4499249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a3590194d511b6e60d3eeffd5133c8542856e8","datavalue":{"value":{"amount":"+0.7225408554077148","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":"Q1874283$C71845E7-867D-4E5B-B287-FD1F8115D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a3590194d511b6e60d3eeffd5133c8542856e8","datavalue":{"value":{"amount":"+0.7225408554077148","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":"Q1874283$4FA48E6C-B6DC-4C23-8234-36930FEC33CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dab17b5ccf6cff23a166d1818ab1e1f3757120d","datavalue":{"value":{"entity-type":"item","numeric-id":5176947,"id":"Q5176947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e94819b8ec59dc87186fd98510fbf492fd366d2","datavalue":{"value":{"amount":"+0.716240644454956","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":"Q1874283$8BB82B91-EFBC-45E6-9876-F301FCFFCBCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program logic and equivalence in the presence of garbage collection.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_logic_and_equivalence_in_the_presence_of_garbage_collection."}}}}}