{"entities":{"Q615949":{"pageid":617725,"ns":120,"title":"Item:Q615949","lastrevid":63080577,"modified":"2026-04-11T10:27:43Z","type":"item","id":"Q615949","labels":{"en":{"language":"en","value":"A bisimulation-like proof method for contextual properties in untyped \\(\\lambda \\)-calculus with references and deallocation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833516"}},"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":"Q615949$912CB981-0B12-4480-A29D-B3615F8922A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce59d843bd72d5a86cb05feb3f572e31419d8dc2","datavalue":{"value":{"text":"A bisimulation-like proof method for contextual properties in untyped \\(\\lambda \\)-calculus with references and deallocation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q615949$4185A821-A741-48E7-9B75-92DC7070A352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ca79c60fdc773c44fb7002b7a74fcc3b9094d5","datavalue":{"value":"1235.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615949$5229BBEE-EF7F-4632-8F34-C7DE966D1CEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$6EF2C347-EC36-456B-BD22-CEC318875BD7","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":"Q615949$3E5C8CE3-F613-4C69-9A4F-F094B5AACC70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q615949$34FEFEB1-A5C6-4B6A-8E73-2F450E5887BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615949$E73D65E7-B788-4F91-9DEE-729F0248D99A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5156a4f38b530fc0c3c2205677d4bfc026865a5a","datavalue":{"value":"5833516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615949$270A277F-CAA6-4988-A995-088F106853DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0b6b561661f7ff738af74c31debb838e599d93","datavalue":{"value":"environmental bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q615949$94818ADA-9F18-4EBC-8637-E8B1D120D1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q615949$A7E53686-E138-4B6B-BDC1-D8139E52EE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd370bb05ab2024d5972fac7a6d4c6cf08ec15f5","datavalue":{"value":"memory management and deallocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q615949$4B74EAD6-EB4D-4A6C-9AB2-0A3CCB9FE536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541ca30eabb87e1aa9ffff35d175fc990673f51a","datavalue":{"value":"local memory safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q615949$7B673491-CD2D-461E-AEDF-AFFDB1533E7C","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":"Q615949$3A7B7FFD-9996-4E01-B9BF-66B4E2E4EBE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5872bb4631ceef48320e6a628a5de4e52b770f37","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q615949$9EB1A403-6B9F-4DEF-B64B-F771CCFBEAF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd20921592d87b7ade0f56ca9acd1f0199a6e034","datavalue":{"value":"W2085589490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615949$233E501D-B240-483A-ABEF-4AA1FA4D781A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$DBA9A0DB-F61F-4C8B-8A85-D2DF2DA67D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f19a7be62625bf74168cd55d376460e07300849","datavalue":{"value":{"entity-type":"item","numeric-id":2936770,"id":"Q2936770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$9F033E21-3F8B-4031-87C6-DCFF5519EC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb5ef489bc55d01f666aba5acf888e936058feb","datavalue":{"value":{"entity-type":"item","numeric-id":3593499,"id":"Q3593499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$244AE134-0A15-4A69-814F-EE327D144E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be20f49b5a6a0ae2155e6dfa6f93f38b5ef4fa38","datavalue":{"value":{"entity-type":"item","numeric-id":4499191,"id":"Q4499191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$3F201419-E8E2-4ED4-A583-F4C76B59562B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$4E941DEE-2865-4C8D-A012-77725B584ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$3F34234C-4E8E-4135-9AE9-925975ABF57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$E4147CEA-1D51-4CA0-8B5C-59154D1D278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$D9D913FB-1546-4BE6-839F-65B71D3E4F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$E23CBECA-2107-490D-BBCC-A16F8667DA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d57d6e758a53af039fd322c1223d44649cdeb7","datavalue":{"value":{"entity-type":"item","numeric-id":3644766,"id":"Q3644766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$A553BE63-F6B3-4FFF-B86C-0448A98165D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5389926d68ebcaebfaab33d4737b906a344c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899331,"id":"Q5899331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$AD1290B8-965F-471A-BFA1-54896C18AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e540469eeca447506cba8553e8dbe095c6a67a","datavalue":{"value":{"entity-type":"item","numeric-id":3546343,"id":"Q3546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615949$97A8E43C-0C57-49A6-AEA4-8C3B3990052A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa42993a3d9f66393f3350bace23d5b9fe2c9bff","datavalue":{"value":"10.1016/J.TCS.2010.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615949$190D0B09-FC1B-4D3E-ADF9-8A4FA9071406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a12a6cf6a1655f247c6a6b876d922ca0a4361f0","datavalue":{"value":{"entity-type":"item","numeric-id":3617703,"id":"Q3617703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12894231eab277a8bddba3a969c8183729de97ad","datavalue":{"value":{"amount":"+0.9051203727722168","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":"Q615949$1F5894E2-7A6A-4E29-B036-8CADED65C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4709877b372ca0fa9cba969462cf15148375a25","datavalue":{"value":{"entity-type":"item","numeric-id":3179291,"id":"Q3179291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140034de0e44f4791829bb856a5f4cb2612f3c5a","datavalue":{"value":{"amount":"+0.7700086236000061","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":"Q615949$D44D794C-DD15-46FB-A6AD-77DB4A282F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c89f391e274002d35a0377885db0d8f0d1fcd2","datavalue":{"value":{"entity-type":"item","numeric-id":5899014,"id":"Q5899014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e067d71fe90c21a32824bee90b467ea4fbbb878","datavalue":{"value":{"amount":"+0.769117534160614","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":"Q615949$F0BAA78A-75F6-455C-97E9-9D335735541B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d781ebd667996ff8fd8e7b634b7ff841beaaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf8d058518d2e4e867468f979215e5083a2b674","datavalue":{"value":{"amount":"+0.7684826254844666","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":"Q615949$38FD3A88-8565-472B-9549-ED456A61EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccde78329dd62226881d737e7cbedd37102b6d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf598663f464f74f261c820d734fa4f7c75169f","datavalue":{"value":{"amount":"+0.7666565775871277","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":"Q615949$4305D6C2-2999-47E5-B3EB-632E8D6AB750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bisimulation-like proof method for contextual properties in untyped \\(\\lambda \\)-calculus with references and deallocation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bisimulation-like_proof_method_for_contextual_properties_in_untyped_%5C(%5Clambda_%5C)-calculus_with_references_and_deallocation"}}}}}