{"entities":{"Q5897433":{"pageid":7995523,"ns":120,"title":"Item:Q5897433","lastrevid":49958701,"modified":"2026-01-12T07:29:20Z","type":"item","id":"Q5897433","labels":{"en":{"language":"en","value":"Static Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069199"}},"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":"Q5897433$5E398876-CD8D-4BA9-B31F-47228DE7366C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8748827770bc193e3393be899f5e4d7ea1712b34","datavalue":{"value":{"text":"Static Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897433$932BAE58-A177-4C20-AD74-6131DAED25E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05bd7ddaf3d52fc5f66bc510805efac230109c54","datavalue":{"value":"1141.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897433$0752D637-EE1F-453E-A0CF-1D6D7DD89613","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d933e7548ec67b84ea6f2336942f8bfedfe639","datavalue":{"value":"10.1007/11547662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897433$D8A28A6C-BD43-4B1D-8A36-778E9B8CC6CC","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":"Q5897433$27C9EC08-B8F6-4909-8C27-0E33F451D361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897433$66FC979C-9834-4176-BAAC-CCF233429512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897433$D08AD2A0-A8F1-4A8E-BA50-C0C88D794AE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e652df40e88a7517140c29fd3339f7b3a9de3e3d","datavalue":{"value":{"time":"+2006-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897433$41745D5A-7C17-4FED-B9E0-528B1C73205C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897433$3CA07098-A27C-4916-A71E-4B44F09F49DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bd8ed29dc350c5973cc4b39ee7df1624703e5c5","datavalue":{"value":"5069199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897433$3EDBA850-AF43-4035-B302-E481BE763F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62745809705b1130aaa73325895f146b7cc2ded8","datavalue":{"value":"Information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897433$962780BE-2751-4407-A303-F0DD6F51A30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897433$415CEDD6-4DFF-4C87-8A67-2AB1EFC7D045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897433$5DE621FC-E326-44E5-A220-3DD74158C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ba51d6878c7074729a0b7abc58c4f481c5024c","datavalue":{"value":"language-based security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897433$9540E875-42FA-4920-B11D-62E878B25CAC","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":"Q5897433$0A66B469-54B0-4FA3-8EFF-CCD578104E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8234758d56c33ee511995d2bd00984e212ac846","datavalue":{"value":"https://doi.org/10.1007/11547662","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897433$07385167-7AF6-4854-A80B-E6689E0CB53A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76cb24f444afe8a16a5178c4e1413b90b3d9d21f","datavalue":{"value":"W4229853237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897433$F7B3EC1A-9F54-4985-9C0E-3C7214C0D633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01f15aa5adc0eb5e133e090f2cc9b507f68a5d9","datavalue":{"value":{"entity-type":"item","numeric-id":5493401,"id":"Q5493401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c5cca1be998f54f854cb4ed0eb5a8bae994ef8","datavalue":{"value":{"amount":"+0.7974456548690796","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":"Q5897433$4049CC92-8E32-47D9-8AC4-BD3996724A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7626bb3a65cd9f5a8f3ad1ace2159fb3c97342cb","datavalue":{"value":{"amount":"+0.7835859060287476","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":"Q5897433$FE1748FF-0303-47EF-936C-0AB9F7203799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798b072a1398816b9fba0aa3d1f2e29da56583bf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfdc8fc850316bc5979b7a4e83170ff4b6f1135","datavalue":{"value":{"amount":"+0.7786192297935486","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":"Q5897433$EE68C3AF-A512-4A01-9389-0A7738CBF31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ceef99efb4f24cb192d0ef779a1f04780babd41","datavalue":{"value":{"entity-type":"item","numeric-id":5311263,"id":"Q5311263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9932a55ca64928476e5d05fc33a498f2a8255ae","datavalue":{"value":{"amount":"+0.7441989779472351","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":"Q5897433$58C0DA2D-7825-43A2-AC3C-EB2711BC3622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab772cc7a97706561c2f2a02aeeb257716535044","datavalue":{"value":{"entity-type":"item","numeric-id":5316572,"id":"Q5316572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdefb0334b1eb14ea2a6c7e144bf013c46c71e5","datavalue":{"value":{"amount":"+0.7423918843269348","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":"Q5897433$91F00CCC-06AF-49C5-ADEE-EA60E96AB010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897433"}}}}}