{"entities":{"Q832225":{"pageid":834073,"ns":120,"title":"Item:Q832225","lastrevid":64674663,"modified":"2026-04-11T21:28:24Z","type":"item","id":"Q832225","labels":{"en":{"language":"en","value":"Product programs in the wild: retrofitting program verifiers to check information flow security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498163"}},"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":"Q832225$71A301FA-1013-4007-8C7F-9764ED25ECB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e417c70565b5a461c43b51482834a834ea0d7279","datavalue":{"value":{"text":"Product programs in the wild: retrofitting program verifiers to check information flow security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832225$1343886F-1014-44BF-BCF4-73FF7E467C93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"044c87743d4c18fc3f5c4296b1ff437c47d70294","datavalue":{"value":"1493.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$7706579A-D285-4928-BE35-303D115705F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"708ee59473efb9e9e38f0900bd47432690cb8ebc","datavalue":{"value":"10.1007/978-3-030-81685-8_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$F4EB250D-73F8-4452-9EC2-D38A04540DFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$2AC191AF-EA12-4BAA-A886-677FE9286556","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832225$DC16D1B2-3F5A-4A38-A704-CE0D97322A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$23EDA3AE-CB0A-4901-9C13-392A8B849D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$8BA317E0-1650-4E42-9858-299C6F1A1B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$A83353FA-E105-40DB-AE98-F44BCCE5D36E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56c601f92741328638c850bb96eac08b3b2c238","datavalue":{"value":"7498163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$1E7B8249-B2F8-49B9-9155-FF964558A103","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"734e42efcc5acc9a70e5f97b719e8699f2d9a314","datavalue":{"value":{"entity-type":"item","numeric-id":56294,"id":"Q56294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$0E0A887C-173E-4A45-9706-8350241FF0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$998197BE-7486-4A55-B47E-4DB652089E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$16018622-0D52-4B38-8C09-BCA11225215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$7B89E33F-96EC-48BE-8C82-E6530F15A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3915ee590f5c98c9124d51cca6f3b2163b5bf72e","datavalue":{"value":{"entity-type":"item","numeric-id":19721,"id":"Q19721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$D6DFA5AF-48B4-4FC0-8F84-2692CB0BF997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$DB47E37B-BA23-48F1-ABFD-FCAA29CA80ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7754fd5756053b20f5978a18212c5ca1b9472f6","datavalue":{"value":{"entity-type":"item","numeric-id":43031,"id":"Q43031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$313F40D8-0AC4-4794-904F-C68F19F51D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$4DE2CED6-1E15-4C44-BDCD-8E7F7B2990DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$FF331B2D-CD48-4AAF-87BC-25C760244E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$AA882185-9CC8-4680-ADB2-4AA39070E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$FBE385B4-4611-4943-B5A1-9C8895F84F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa3e15f325ed150088c4e410d88474936a717bb7","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$5F6A03BC-6B6F-4FD2-9C0D-8260BFDD7AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8eb406da0bebd03f9ecb41f74e5badb7396eef3","datavalue":{"value":{"entity-type":"item","numeric-id":23206,"id":"Q23206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$F23249BF-9032-4333-9693-91098AC38C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d722dce3a08405fed52ff284d46aa4a7ddebbac","datavalue":{"value":{"entity-type":"item","numeric-id":28347,"id":"Q28347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$2236C26A-1E35-40B5-9CDC-7A4412BF64B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$8646E5D0-3E26-4D51-8494-2877F1D81CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$369C064A-21C9-46CD-9D0A-2E2EF9E1313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$0EBDDD81-65B6-44F2-AF28-456C82C1BED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$E296DFFF-2544-4D4D-9895-E77712A4A06E","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":"Q832225$02786181-B389-406A-8725-0F99B81AB323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68f4dd0ad20bfc526eafa5f71da751bbcc3a5d66","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q832225$A2F5B984-E6B2-4442-A403-533A09C4B957","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b019b1b56443df716ff2de76a937221780125918","datavalue":{"value":"W3184432289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832225$E21F27F0-583D-4927-9894-E4144D80F6C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"890db7446e2310e3c1bd99c02cf47b64ec54941b","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$17D4D62A-6988-4DA1-9A5A-F1246509C7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$BFD05A9F-C94D-4284-9370-2B45E2C813A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$55094883-1016-468B-8BF4-3AF1CC66448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$D17B504E-4FB6-43D6-9DF9-44CF601F8845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9848121be970f29acbdd8ee1dd3e8034af4a7204","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$CA3DBD15-ED37-4CEF-9629-F874A3D64092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f6cd792101a90b435925b9e54f7f84f048287f","datavalue":{"value":{"entity-type":"item","numeric-id":6154881,"id":"Q6154881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$EA2BD746-9A6B-4872-8471-9EB8B74FAF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$98595EAD-1265-4F65-A283-C30C75FA0E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bab931c55e6d8c4a299f4733e68bbd4871f2495","datavalue":{"value":{"entity-type":"item","numeric-id":5091106,"id":"Q5091106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$D5147710-9142-4E42-9696-5D77533D1529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db584d694e65ad0d716439ab78ef423b2e14371a","datavalue":{"value":{"entity-type":"item","numeric-id":4928447,"id":"Q4928447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$C86FB5B3-3F60-4A32-A403-001B64841B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$01C782BA-A414-4D30-B400-25A65D121E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b246c98de0e52097588815a52fd998f1c1e3d01d","datavalue":{"value":{"entity-type":"item","numeric-id":3617715,"id":"Q3617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$B5CFD46B-0E44-41FD-B2A3-1534FF3444E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$38C29E46-07D9-4449-A6B0-ABE9D948C591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$57C3257B-8EA3-4AD2-855C-67DA83C40DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc3e320a29fb63240b3b709fe5bc497385756c5","datavalue":{"value":{"entity-type":"item","numeric-id":6194570,"id":"Q6194570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$0A97FE88-37D4-407D-9D72-399451F7FC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4005b1ea71aceae7826269dffb4b9e393524a878","datavalue":{"value":{"entity-type":"item","numeric-id":2281656,"id":"Q2281656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$202BC432-C69F-4EED-B768-0F2D431D7C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$F93C8F0A-6C22-4826-858E-C45AC0E10CC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab751a4c310b5cd7a65ff31b5b7cdb6c1b5af8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a03c407a10de451cc916d1735c30b1ba202cac","datavalue":{"value":{"amount":"+0.8214278221130371","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":"Q832225$81E60950-C0C4-484B-B3DA-6EA3E0454E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4392861c3eb71f2ca17be6465901766e073b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bf867523679eadec3580b5193514a0bcbbd3a7","datavalue":{"value":{"amount":"+0.724837601184845","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":"Q832225$A80DAD1F-3EF9-49CA-BBD2-AA7CF014CCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fcdb3fb79b452c963099673ae138310008b8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3f80ddef355d8e03c4939bed86733e8fbe6a41","datavalue":{"value":{"amount":"+0.7206350564956665","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":"Q832225$56E743B0-753C-4536-8B4B-441F64F18B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da105d38dbf3179405b678743a158443e1e5fffc","datavalue":{"value":{"entity-type":"item","numeric-id":6039399,"id":"Q6039399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5917ee5136886a5da3532520980262bad8e8ded","datavalue":{"value":{"amount":"+0.7160927653312683","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":"Q832225$9E840782-E1BE-4137-89DB-A78A1929E098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956c975555f26946a8521adb04c40c2cef85034e","datavalue":{"value":{"entity-type":"item","numeric-id":4818731,"id":"Q4818731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d032c68a2c79ad5ff1461ba5f19d0c7cb38a1a","datavalue":{"value":{"amount":"+0.6848879456520081","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":"Q832225$078BC648-B037-4DD1-B2B7-0CA00EA49B26","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832225$FEC2F99F-4FA1-497F-B153-C4AEF11EE569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Product programs in the wild: retrofitting program verifiers to check information flow security","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Product_programs_in_the_wild:_retrofitting_program_verifiers_to_check_information_flow_security"}}}}}