{"entities":{"Q882488":{"pageid":884336,"ns":120,"title":"Item:Q882488","lastrevid":65072433,"modified":"2026-04-12T00:07:21Z","type":"item","id":"Q882488","labels":{"en":{"language":"en","value":"An efficient abstract machine for safe ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156682"}},"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":"Q882488$E3E09CE2-66CA-4CC8-BFD8-95F2FFBC43A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6509fd6f4fb44f392b5d7b98a8bb1192f3ec61b8","datavalue":{"value":{"text":"An efficient abstract machine for safe ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882488$CC05435B-188D-468A-8B7C-6732BC081B0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb04983092627c75be0b2621f8a1ace134214faa","datavalue":{"value":"1116.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882488$859FBD8F-EA84-458E-BAC1-0D0F39CD1FE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$EA6A6720-6064-4866-9F1D-B880E961819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$E83026BB-3B26-40B0-A27E-1F37F9570EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$48759A2F-DCB5-437D-8619-9CE86B06B780","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$84F1F192-E2BD-4F74-B66A-B0B8D7AD1AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882488$3E6FED3E-CCD5-45A7-AAF1-AC78DEB17F39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abee33b5594e3c2b79d7de4c8a472152e9eb7962","datavalue":{"value":"https://hal-lara.archives-ouvertes.fr/hal-02102483/file/RR2004-63.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q882488$4DD93300-5505-459C-BB99-02A3D5D596A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882488$991EA844-6384-44CA-A13F-D5847518BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882488$B686DB73-123E-49D5-B85B-A9EBF3D63677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a56f7fc8b14a2106f45b7ee2b3ebcf36f22387f","datavalue":{"value":"5156682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882488$B19DB15F-7A1D-4496-B0C3-EEC66F1796E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q882488$28BD84ED-A406-4366-A07D-5CC615E2AD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q882488$FD472175-E1C1-4799-B26F-F0AF542DC797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d9aaf3531f4891551bc576492d085bdbac7a98","datavalue":{"value":"forwarders","type":"string"},"datatype":"string"},"type":"statement","id":"Q882488$70B6AF5D-070F-47B8-974D-85D54577FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q882488$903463FA-4216-4E83-8E13-BBB9EB5F77FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q882488$2AEBEBF1-183F-4B83-A79F-03BCC448F51C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$4727882F-5094-4B56-B53A-F544CFEF1826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$0D84BC08-CC4F-4743-A795-51DF56D3E937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$EEC94E76-59E6-4F11-AEF7-218CBBAFC528","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":"Q882488$71182F13-1F40-41DB-AB9A-D01BC5733A81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c54f1aae5995a37f2ffac690228aeaef9e6bc291","datavalue":{"value":"W2085370982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882488$20D6ABA8-7F78-42E5-9497-0B476CC627D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc054749522860d7c2f7554f0d2a72e08e47179","datavalue":{"value":{"entity-type":"item","numeric-id":5902544,"id":"Q5902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$44615599-A449-4B37-A71F-10B5ED430D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6782c2c09e8bbfad643386b1f8d52e802c5e35","datavalue":{"value":{"entity-type":"item","numeric-id":5714432,"id":"Q5714432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$0FC5D340-753C-4F03-8A9E-A8CBCF17CFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$D3909781-B401-466A-8CC4-21B2E7417A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$C38E9C7A-5D8E-4D41-83CF-A814FC82420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050df2d24e28bacef25f04d7a8d40db1a2d35f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536436,"id":"Q4536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$B08508D9-BD37-42AD-BB49-022547F6DEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f15405f5507e29abcb79deb542c5ce72eba107","datavalue":{"value":{"entity-type":"item","numeric-id":5900580,"id":"Q5900580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$42A5F901-DF2A-4264-8535-41D462CD55B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a391b43e8f07ac9ef605941f508fce0fdb7a9376","datavalue":{"value":{"entity-type":"item","numeric-id":2581541,"id":"Q2581541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$0778BC6B-F64F-44C3-8770-8DE693F66DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e72b8de73bbdd23fef30f98a3a67a4606b53d","datavalue":{"value":{"entity-type":"item","numeric-id":5178864,"id":"Q5178864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$A0BEFFCC-F861-42A2-B29D-FC68B5B990D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5f93e880f26a351dd01f246d08f28f874f70c","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$A74EFD9D-7A91-4124-89F2-51373F91C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90299c14a68e76265cb2f1fd715311ad1cdacf85","datavalue":{"value":{"entity-type":"item","numeric-id":5308696,"id":"Q5308696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$BE2E016A-3607-4E2B-9DD0-AFDC99C95CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f7d697c553cca5167f24089905babc27f46c11","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$2C8FA979-74D5-469A-89A8-90690BFAE43F","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":"Q882488$008F98FF-0B4A-4C0F-8F80-0CF521999B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$C96B9B80-DB6F-4B88-B38C-F5522DC8FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345ba4a3d1e4dc3ddd6b2147f521a3345437dd70","datavalue":{"value":{"entity-type":"item","numeric-id":4484494,"id":"Q4484494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$2053C77E-7955-481F-9032-8D390828DE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83aff07159084ff4cc72479cdef41368d646789","datavalue":{"value":{"entity-type":"item","numeric-id":5178879,"id":"Q5178879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882488$0BB1D8DE-4E50-4130-A8E2-306DCFAF9050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a922ad03e454c8bafad109b0ab5fbbe62dae2743","datavalue":{"value":"10.1016/J.JLAP.2007.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882488$EDE28A45-2BE9-4D2E-B865-825ED5E693B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f11a7e9eb166a82416eb1c43f90135b0ad1c6a6","datavalue":{"value":{"entity-type":"item","numeric-id":2581541,"id":"Q2581541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce392df007ddc1981e393efc5570b9346850dc2","datavalue":{"value":{"amount":"+0.9447589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$4F1ACA5F-25A1-4419-A9F2-77798E59F02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca8d37bf64b3c54ca359fc25f189d7ab2410a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4535034,"id":"Q4535034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1453aa44a64b17824d663c73b96de9522432475a","datavalue":{"value":{"amount":"+0.92827374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$22321DA4-1DE7-4CCD-888B-2D0D50ED1F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec27621b1688c7b214ee761896d0d51e26ae476","datavalue":{"value":{"entity-type":"item","numeric-id":2995468,"id":"Q2995468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf201458c22bbfe9d35f21f575b18b2cd281414b","datavalue":{"value":{"amount":"+0.86213124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$24220B46-CE6F-4649-A1B0-90155AD26F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51487599b056a2af3ee26f562ba7e456f237df2e","datavalue":{"value":{"entity-type":"item","numeric-id":4261076,"id":"Q4261076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4742d3e1c3d1ceb47ca238e8adeefa0d2e2bad78","datavalue":{"value":{"amount":"+0.85589933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$35DCEFF2-AE0D-48E2-A4E7-507A41FE1155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a24f4ad30861fe1e1b672d4d8f533a6be4146f0","datavalue":{"value":{"entity-type":"item","numeric-id":5901601,"id":"Q5901601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46967d8c9d61ce04400c186435b483a09cd1af40","datavalue":{"value":{"amount":"+0.8516553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$577C302B-3400-451D-ABAC-A7BB3CA42302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f720549a86b27708478b15676cbfb16e1b4ebb35","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6546ff722ca00a0b9dda35406046f6b825208f7","datavalue":{"value":{"amount":"+0.8494052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$ADAE93F5-CBDB-4E83-8EDB-D6E368DC13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f95c2032deba558021f0fa34f0d173e2b7aa75","datavalue":{"value":{"entity-type":"item","numeric-id":3651280,"id":"Q3651280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f1ec8573d5b815586901c19dae33eb60ac40fe","datavalue":{"value":{"amount":"+0.84765685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882488$0BB2819C-D6F2-4227-AF4D-2FDA7925CB32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient abstract machine for safe ambients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_abstract_machine_for_safe_ambients"}}}}}