{"entities":{"Q1869978":{"pageid":1880720,"ns":120,"title":"Item:Q1869978","lastrevid":69159564,"modified":"2026-04-13T05:10:05Z","type":"item","id":"Q1869978","labels":{"en":{"language":"en","value":"Behavioural typing for safe ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903503"}},"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":"Q1869978$919695E7-A581-414E-AEC9-03B499B1C058","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"759e7e7076689913e11acb18421bb443b2f39277","datavalue":{"value":{"text":"Behavioural typing for safe ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1869978$20A5FA4A-4573-4C0A-AC95-5261E11F2C89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3675a015468cf13d74c9df582d9d8190492a3012","datavalue":{"value":"1028.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869978$4F805359-8C9C-424A-9FF1-369CE821D13F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77f0de20f5e2bdf9883d86938e4c38409eefe84c","datavalue":{"value":"10.1016/S0096-0551(02)00008-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869978$C5B886E2-9573-4498-BBED-123CC42AC75D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b5563d299e28a4051d39f0936a40aaf2d80854a","datavalue":{"value":{"entity-type":"item","numeric-id":511942,"id":"Q511942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$A3B16A46-C714-41D4-B8EE-33B5ADE1B7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$50BF4B44-FF34-49D2-8FB6-1025FE18EB36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$323D89B7-2676-4515-83ED-DE92146051B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9741052acb3601490f70dda00f31b7265d37a65","datavalue":{"value":{"time":"+2003-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1869978$A7FD6B82-8B57-4EE6-9294-15A775AC297B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869978$A8F16A85-D784-4FB8-964F-769187760C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869978$4EB504F0-F28C-4C9D-ABD1-B94353D1121D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b4a3088483efb40eb5d5f3bc3e9d63be3ce6e5c","datavalue":{"value":"1903503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869978$A21D5527-A8C7-47F2-A8EC-B13D1FB941E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b51a0dc62fe8d7fae41e8f634c032bdc06df99","datavalue":{"value":"Types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869978$50B5F38B-B56B-4E77-86E2-4031DC7B4101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7cedd32644e26640b8f508b7b5ed85392413814","datavalue":{"value":"Type-and-effects systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869978$B2456D07-DCD3-4AFB-8DB0-4807421CBAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5d4674cc7136e1ecc19a4fe67d439ca18d4493","datavalue":{"value":"Mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869978$C5013B04-E429-4E2A-8FFD-6A8F7FE96693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa1f6f843ba14417e1abcbc99a189d59339bdba","datavalue":{"value":"Security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869978$8203D3CA-2DBD-4C3D-8F48-639D8FCA7960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dca72b5923f21b52ac5fc47599dd389e1ddd2cb","datavalue":{"value":"Secure Safe Ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869978$BA820A43-7383-4510-B708-73D7DCFB456D","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":"Q1869978$22CB81D3-8717-412A-81A0-423B58910821","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3973c2231f0917d19dba3b044d1c9b6231c892b9","datavalue":{"value":{"entity-type":"item","numeric-id":2906944,"id":"Q2906944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$C0CCFDE1-6B69-4432-99DA-5E2F024F0E79","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":"Q1869978$F6AB5E7D-EED5-4100-80F7-A5EACB97353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0f464c4867759f86b85ee22e9b2253f0f5b859","datavalue":{"value":{"entity-type":"item","numeric-id":5178885,"id":"Q5178885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$D777B671-9D28-49E8-B47D-BE4BF8D7CDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1570153bee4cb7bb6df1db33dd6b5a2bb04de8c1","datavalue":{"value":{"entity-type":"item","numeric-id":4116055,"id":"Q4116055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$599659DB-B508-4191-BA54-A191BA47E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabd65143767b5ff9141a7dea24ae3316748656b","datavalue":{"value":{"entity-type":"item","numeric-id":2763674,"id":"Q2763674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$8A515BD9-56D5-4705-8752-C3176EADE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1230f04457229c59787e56b9d0fba226a2cfe3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4536435,"id":"Q4536435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$04BA5CC5-0BC7-4E43-83BC-97FFE623EAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e92c50522e5891f6b6c7be4f89dc306a567f76","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$D6ABD703-99E3-451E-B5AE-EB73D0165822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ce2d367d9160a317d3c3485f510ca95c2b2b67","datavalue":{"value":{"entity-type":"item","numeric-id":4778710,"id":"Q4778710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$06B3399A-59E7-4E05-9D65-25C638FA091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807db5313e00b12457a83cac32d66c4613c75bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4778709,"id":"Q4778709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$6A7F3EF7-A335-4347-B92A-234B2A08A9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b870e74f38c917487c9e466f7eb7a12db2d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":2763677,"id":"Q2763677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869978$86B921B9-E581-4692-9BCF-96BDCDD5BF17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aad817e155e77bffe6ca68a37430faaa2fab7c1","datavalue":{"value":{"entity-type":"item","numeric-id":5178885,"id":"Q5178885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc840e77a2f41e49e3d280d2637550ca9f029ef","datavalue":{"value":{"amount":"+0.9233205914497375","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":"Q1869978$549195D1-8119-4E08-900F-01B929927B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879f7622f6b71d539d4539e2aecf39c1b4923fd7","datavalue":{"value":{"entity-type":"item","numeric-id":2841272,"id":"Q2841272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d59215fc7d35c857470f41f740f4813fdb988de","datavalue":{"value":{"amount":"+0.8120282888412476","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":"Q1869978$974135D6-3A26-4FBC-B818-C7A2347CB139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775a46c47d70b12f7c712843cb4a738a903e3f66","datavalue":{"value":{"entity-type":"item","numeric-id":2766539,"id":"Q2766539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a620edb6a1591aa4e3646d9d570fb9b0199fec39","datavalue":{"value":{"amount":"+0.8007411956787109","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":"Q1869978$165406A2-2A2E-45D2-82D3-5B9B8C87E442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be720b63400f43790e1e6472af71a6fa3b956db","datavalue":{"value":{"entity-type":"item","numeric-id":1869977,"id":"Q1869977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a620edb6a1591aa4e3646d9d570fb9b0199fec39","datavalue":{"value":{"amount":"+0.8007411956787109","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":"Q1869978$CF24E68C-FA6B-4EB7-BD15-570B164217F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065f683fc679d0029af9b309407cfe9a5920954f","datavalue":{"value":{"entity-type":"item","numeric-id":1029816,"id":"Q1029816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442a2f212a7abb305af9d620e982c3f27f243f4b","datavalue":{"value":{"amount":"+0.7853710651397705","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":"Q1869978$681BC684-9FBB-4A41-B482-04D176AEAC82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavioural typing for safe ambients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Behavioural_typing_for_safe_ambients"}}}}}