{"entities":{"Q5348914":{"pageid":7378488,"ns":120,"title":"Item:Q5348914","lastrevid":52882421,"modified":"2026-01-23T17:27:14Z","type":"item","id":"Q5348914","labels":{"en":{"language":"en","value":"On flow-sensitive security types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763174"}},"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":"Q5348914$84D66489-364C-4910-A2E7-7686EEE2D3EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e24f06fe222b771c03d84d82908edd06b9023460","datavalue":{"value":{"text":"On flow-sensitive security types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348914$95B5C43C-A0C9-4B12-846F-9CE58147FEB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"435ff10148c22b50e9130c00d8c598f1d1f8731a","datavalue":{"value":"1370.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$2DD3B68E-B536-4CED-90C2-A3C4162AFEA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f29e628565dc497060e659306f17f4a17e05a4f","datavalue":{"value":"10.1145/1111037.1111045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$F515F8D5-EA33-4025-85B0-968A657DFE34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f17abf4b86527aec5f80fbe4235a88a5feb05f0","datavalue":{"value":{"entity-type":"item","numeric-id":1330438,"id":"Q1330438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348914$7693469C-4900-40A0-8799-1B2C695C82CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d4498e9df0dc0431bf8c42d1881dfda1cb2325","datavalue":{"value":{"entity-type":"item","numeric-id":187614,"id":"Q187614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348914$1473AEEC-154B-4E38-960F-4EDA443AB6F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64c4180a3d83913a5dd41ebbd11bed14b06b65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5348908,"id":"Q5348908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348914$8A345F63-D856-48A7-B47D-1E883531E6B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348914$15387FE0-5B1E-41F3-A26D-7D9EC49BDFE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d881a5245cff8632eea27e6e641207939fe69cc","datavalue":{"value":"https://openaccess.city.ac.uk/id/eprint/194/2/floatingX.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348914$5EF7DD30-41E1-42D0-BA23-9979D42D257A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$D633ABCD-4318-40B7-9C2B-1B4BCCDD06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$85D8232E-A987-416F-B8EA-ABCC9EADB034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$0DA2DC20-AC60-4580-89F3-C915CB91D631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91022a860735d9dd6f72c89c5f2bb03ab5e93ae7","datavalue":{"value":"6763174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$CEEA3A89-5A7D-429E-A650-728237D6152C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5015d26af831e27e42be446b57580e11779fca07","datavalue":{"value":"flow-sensitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348914$1B9FC436-7668-4495-85EB-F5398750549E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348914$84D72C40-269B-48A2-94AE-D976117DA107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348914$07DF8D3E-9569-4587-A150-BC52BAA2B00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348914$4E2E265B-9FF6-41BD-B6CE-5EFC367B5D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348914$A3EAE5E7-0670-4594-B9B2-26C29BB39692","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":"Q5348914$814DF6F4-38BC-4EF2-8DC6-866B151404F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d905022ba6a8db4e263cb54b6e9170c3e3bda196","datavalue":{"value":"W2149465027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348914$D1E58B07-83A0-4420-8F7B-417E5478ADA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549f214ce20428586a68a10c6e2fa28ce9afc07","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d49e40a9252dc98e8e1afa8d9c4c20e72d18d8","datavalue":{"value":{"amount":"+0.8263060450553894","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":"Q5348914$7849613A-C2F4-4979-A719-3093465CFD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea56781d3c09ec69b0e2b8a52ead6eabc1f484bb","datavalue":{"value":{"entity-type":"item","numeric-id":2819817,"id":"Q2819817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bccbeeb84a98a27647ba7e789a4d04fa0e809ac","datavalue":{"value":{"amount":"+0.8091663718223572","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":"Q5348914$3F69F867-12D1-455C-B81D-CAD07F829483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3156fb88caa287fe1950c97f30d8ef84aadde966","datavalue":{"value":{"entity-type":"item","numeric-id":3000586,"id":"Q3000586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0570808cac6c76b015566fd0cf470532ea45c6bb","datavalue":{"value":{"amount":"+0.7905778288841248","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":"Q5348914$1D641301-9AD2-4ECB-BBFF-8E73D193EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d858ebde27d0d963ad9abed57c842769e9614891","datavalue":{"value":{"entity-type":"item","numeric-id":2943356,"id":"Q2943356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d42a2a5844f34944ba4617e00645020e5f8f0e","datavalue":{"value":{"amount":"+0.7874640822410583","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":"Q5348914$63FA0E25-D8CE-4632-A454-CE7D203101FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffafbebb9faba209e5e39f23b5061548c36405ca","datavalue":{"value":{"entity-type":"item","numeric-id":865705,"id":"Q865705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98e0f78f77251d7992a399041ecf50f77bbc8a8","datavalue":{"value":{"amount":"+0.7849031686782837","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":"Q5348914$F07D5C3C-7D2E-4F26-A340-DD718A5A71A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5348914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5348914"}}}}}