{"entities":{"Q1887169":{"pageid":1897911,"ns":120,"title":"Item:Q1887169","lastrevid":69552177,"modified":"2026-04-13T07:47:15Z","type":"item","id":"Q1887169","labels":{"en":{"language":"en","value":"On abstract interpretation of mobile ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118431"}},"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":"Q1887169$6361B4E2-B317-4E30-A2ED-7243C79C3F62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4306ae93f7d2b26e898ba96ef0edfd498217910","datavalue":{"value":{"text":"On abstract interpretation of mobile ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887169$2BA7FE8C-6D75-4DB5-9BDC-E3FDC7989866","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa5553d5c9bcb6b98152d7704892047b96907dab","datavalue":{"value":"1078.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$F94772C1-DBDA-447C-B398-AD6CB1827825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$F8E1AC39-9F23-4362-AD8F-28162AA829B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06281a59b54d9e6bce8118186b0dd383e1fcfccb","datavalue":{"value":{"entity-type":"item","numeric-id":1650956,"id":"Q1650956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$8DCC2097-D51E-4B12-8A86-12549CAF7057","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$35854D84-A31E-44D9-9C86-AA1706C60785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-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":"Q1887169$239FA67C-A92E-4C78-90B3-2D7F344AFB68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$0B02A219-2D53-49E6-AEA4-AF5C3CD2DBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$CFE02456-FB32-4B6F-AC79-0521E846BB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$DAB411CB-61A3-49D0-AC82-D0652A88A808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94ab7b587a346369c6ab9a19a22b1c1b919a42bf","datavalue":{"value":"2118431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$DEADC076-E60D-4909-BCD3-9E228FA6ADAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc08d9f14cd837da27fbe61c73370d88d44e703","datavalue":{"value":"Mobile Ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887169$942F67BD-5BE2-453B-8E94-D948A05BC4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887169$FCB37715-4480-4173-BF33-5B56FC067ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887169$B4CBFC5B-4C0F-4EFC-A9B1-2338FFF96160","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":"Q1887169$884DC5EE-7605-488E-B7E7-0D111D07EE79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c8b86523a1e613cac28d8f2f9fdfe8c4672e86d","datavalue":{"value":"https://doi.org/10.1016/j.ic.2003.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887169$DA6B1AE1-D803-49A4-9973-FF021E62AAB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a0856d4515ee8cb3903df35a9fcfdaa02bd0679","datavalue":{"value":"W2074638034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$2068110A-918B-4A93-A062-DC40C0B3FCB3","rank":"normal"}],"P223":[{"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":"Q1887169$6393D2DE-185C-4C64-9023-A6EA909E7BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c141aaaa92dac7fd6c6f339f1e38a9fff650dd","datavalue":{"value":{"entity-type":"item","numeric-id":1869977,"id":"Q1869977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$FE3B80D1-9B12-4B79-A07B-7305C7D90F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0342acc4b6d3d5710fb00275aba55a9d8ae424","datavalue":{"value":{"entity-type":"item","numeric-id":751838,"id":"Q751838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$E71A612B-9DB4-4C4B-B740-3D0C5D38199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9362eab0fe514f1ddc261f125b1df06c956c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4790353,"id":"Q4790353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$95CCB391-1E96-464C-BC3D-0E72FADDB30F","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":"Q1887169$F3FAC779-28C6-4559-8E06-0E19EB336E74","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":"Q1887169$78C55C00-4D00-4A07-A932-04B6282DB3E6","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":"Q1887169$71DDF12F-619A-412F-906A-8B45369DD323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11e72f259836914e930ee9cff15f27aaf30409d","datavalue":{"value":{"entity-type":"item","numeric-id":2497144,"id":"Q2497144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$D2927228-06B5-4E61-BE99-E9B2169A12B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e327e0b13fa115b4101a63bbd1560df80ee4149","datavalue":{"value":{"entity-type":"item","numeric-id":4737001,"id":"Q4737001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$1272A489-7EF3-4105-A4EE-3AC759A5BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$2927DDCB-E8A8-4443-8A03-0100CB6E1D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4bd2b5025f233252d2c4e23706e3602cbd52cb","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$65E55D74-525A-4022-A463-317CF753166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a264ee1e93005e576a678b932172f50bb93c51","datavalue":{"value":{"entity-type":"item","numeric-id":2766539,"id":"Q2766539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$7286906A-49BB-477D-ABD1-C94E1C79AD56","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":"Q1887169$AD1662A6-63A4-4E4A-A9B9-98E91573EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0615c52f7b25e5ec3adc7ab4fd78a2808c08fe","datavalue":{"value":{"entity-type":"item","numeric-id":1607130,"id":"Q1607130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$6F9EE19F-6F56-4BA4-9E4E-02858F76BB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4869a038f4c639f28be8068d5455d2405880fee","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$9CB241A6-D7C1-4559-8F5F-242F82B9E78F","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":"Q1887169$3A3631FD-0871-43C5-8778-377996729C61","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":"Q1887169$D6424957-B488-4932-B858-912CEF92731A","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":"Q1887169$B83F0A11-0922-42AD-99C0-83F53349304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887169$3E7F8DF4-416D-49BC-A7C8-E7629D0605F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a85e554271728bce58d54a76a94006b3fbc35804","datavalue":{"value":"10.1016/J.IC.2003.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887169$D84CD93E-59F0-4109-84B0-0B7F400261D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ec176e9df2f1267e837b30009115806cad0be0","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ef48c1e611764f4366f152cb0f8cceb29a2d59","datavalue":{"value":{"amount":"+0.9784389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$DD887E8F-D6DF-4B27-95BE-3C9B582FDDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090e9ef9d9a04f42f58471f536e147ef82034e18","datavalue":{"value":{"entity-type":"item","numeric-id":4778709,"id":"Q4778709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea16e723f01d1bd1cbf51c390408e15ff6034605","datavalue":{"value":{"amount":"+0.95743155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$D7AD8C91-E381-45BF-A9ED-DEEEB0666A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d770220308fa04b4d7bc697540e7b72908e39e","datavalue":{"value":{"entity-type":"item","numeric-id":1398673,"id":"Q1398673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4becf562441ceebf78141b2aa5964f9899bebe64","datavalue":{"value":{"amount":"+0.9522344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$FAB54B55-A919-4089-A7AB-9E228124F00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bb9aac8ad49577c87818ad5c0ecd98f66815e4","datavalue":{"value":{"entity-type":"item","numeric-id":2841277,"id":"Q2841277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7476bd0b711051925948c58fde571d633f2eb7d3","datavalue":{"value":{"amount":"+0.9112762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$495CD884-84E7-42F2-BE46-5F632FF3BE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868ee61e027100d2b1a5e567c9cb1022ecdf504b","datavalue":{"value":{"entity-type":"item","numeric-id":4222941,"id":"Q4222941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b47a66ecd6b838bb7627062586b68751eba7f87","datavalue":{"value":{"amount":"+0.90635425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$D75E9D5C-AFA8-4D82-BBDD-578F2943469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3094391464ead8c68bb7b19315c2e942e3a199","datavalue":{"value":{"entity-type":"item","numeric-id":1772313,"id":"Q1772313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417fb5240ebf3af041febaab21218d12e442abcf","datavalue":{"value":{"amount":"+0.89563113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$50FA277A-C73F-4B7A-B066-0C6FF897A44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41df7e46fffdcea683d3997afe4bd601b9ee1104","datavalue":{"value":{"entity-type":"item","numeric-id":4737001,"id":"Q4737001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a0997b8067f7a954aac425857403ce09370c1e","datavalue":{"value":{"amount":"+0.89441395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$1409635C-8AF0-4676-BA16-A3B82841D84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cbe3a0297f9869abe73448a0a21488300f6d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4917029,"id":"Q4917029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62a50232d81628a5c66264968b82c70198bf1db","datavalue":{"value":{"amount":"+0.8912395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$90F2F8E4-AA98-4D05-8D31-E069A5098073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245d19e50588106054fb001912e9e6189f34adc2","datavalue":{"value":{"entity-type":"item","numeric-id":2729057,"id":"Q2729057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad3d51e78299c721d630f772a734dca38a6739b","datavalue":{"value":{"amount":"+0.8850098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$F4A1FCF4-A7E2-4A51-B6A0-895DEE532A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a574ea62d90a48664d1dd40c6f4245b177c8efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4778710,"id":"Q4778710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f16aee561c154904f33be829e7b195f1a971cb","datavalue":{"value":{"amount":"+0.87612844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1887169$E22A89A6-98AF-4C20-B2CD-A6DA6A8C9378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On abstract interpretation of mobile ambients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_abstract_interpretation_of_mobile_ambients"}}}}}