{"entities":{"Q5408450":{"pageid":7438024,"ns":120,"title":"Item:Q5408450","lastrevid":51972128,"modified":"2026-01-20T16:09:25Z","type":"item","id":"Q5408450","labels":{"en":{"language":"en","value":"Toward general diagnosis of static errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282452"}},"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":"Q5408450$48E4836F-A096-4936-9589-5A3E244A7A41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d589e070a89a91cbc05ae559291d6863790de6e0","datavalue":{"value":{"text":"Toward general diagnosis of static errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408450$95ACE1FE-4D88-4A43-AB32-4393997973CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a3e71aae1583a718b3ba3c0de8254ebdffe7117","datavalue":{"value":"1284.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$A1EF6518-B568-4D52-88AF-9709EFB4AA87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6141b15563bf159eab7267ca8f14f744975c89e","datavalue":{"value":"10.1145/2535838.2535870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$2A6BF913-3BEB-4FFD-8DD6-96A0DDD4D83C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ede75afc6d38617b3c7b76fa2d363d3d557aea64","datavalue":{"value":{"entity-type":"item","numeric-id":5370923,"id":"Q5370923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408450$3DEFE256-B040-467C-A38E-4A868E26D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4101f2e3cb4ec5ca83f9411f14af687599add27e","datavalue":{"value":{"entity-type":"item","numeric-id":1870492,"id":"Q1870492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408450$1E12DD7F-4FD9-4C74-B572-F5809BB4447A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408450$DBF6EDC9-3003-4956-B3E3-935499DF9DE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408450$79A46FE3-206A-4D2C-9BB5-C45DB02F6405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$E4E5C161-3052-43C3-9D42-DA41040158E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$4AB1CFBD-2373-4085-8A53-8A94B9AE3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$F33F6CE8-30A4-4791-B551-AE191F57C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$6ACCC3CA-8C5D-49CE-A92F-0B7A164D6EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ad62c109af30159471801461ce1b5579664820","datavalue":{"value":"6282452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$328564E1-0F4F-4457-9072-3BF9FDC08256","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"439f20a23284d2db62529852da7cf7f50085dc6a","datavalue":{"value":"error diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408450$EC77129E-8FBE-4E99-9D05-7EE35AAE65B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408450$6F743AF7-FD75-47AD-8E21-85FAD40F2DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408450$03D36264-DF53-4623-BADE-84C47E174FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408450$F3823FD1-1338-43B8-ADF4-8C73C8A6FC5A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408450$1CF7640A-3FE3-49C2-B006-B5F132265176","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":"Q5408450$58587F9A-20F6-43AD-9D38-9A5357A89083","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":"Q5408450$3CBD5502-BCC2-4F1E-BFBB-53C9931F8054","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9f4254058a3afec75c6bb42580b59f50094ee4c","datavalue":{"value":"https://doi.org/10.1145/2535838.2535870","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408450$F0E2A6C1-9D49-45E7-8A44-58F122C11A5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ce74975b9cc21648520c90cf70ca4d997c0cf6c","datavalue":{"value":"W2045041259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$E85CB33A-7424-48B0-B1A9-E61F65A58227","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7db3051dcacc055b58e25629d7778355ccf37a57","datavalue":{"value":"Q130992040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408450$DBB39F40-7B3C-4459-B4B3-0372B319F17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6890d2ef63e888905a6f4ff58aedc7ac0aae391","datavalue":{"value":{"entity-type":"item","numeric-id":5930924,"id":"Q5930924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1af6d65d5eb9728a1e1acd8e8c9d375155620f3","datavalue":{"value":{"amount":"+0.754176914691925","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":"Q5408450$1EFE33A8-6190-40AC-AA8F-5BA34491F13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce44be20b830c45b151c70a71bf6b75b9444dee","datavalue":{"value":{"entity-type":"item","numeric-id":4791137,"id":"Q4791137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa7215b6c8a4c857d3048a24b9538f566a9ed93","datavalue":{"value":{"amount":"+0.7501585483551025","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":"Q5408450$908D8F26-F83C-45E5-BD19-D8BBB550A2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd80d3fbcead96ed3cc321dd3e15b6400e8676c","datavalue":{"value":{"entity-type":"item","numeric-id":4647843,"id":"Q4647843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe738500df255b627c2ac560af2af6b5af803ff5","datavalue":{"value":{"amount":"+0.7461504340171814","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":"Q5408450$63252929-4150-43AF-B00E-46BCA78542C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36fc6cdc7fd80902cba999b0c1792fdd2907a65","datavalue":{"value":{"entity-type":"item","numeric-id":578894,"id":"Q578894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699fa7fdde990d793789310a0cba6a91769e411a","datavalue":{"value":{"amount":"+0.7337061762809753","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":"Q5408450$F18AA3B3-752F-4932-AEF8-2D40F0197197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c4bd4b6f88f4e18e4c13ac28305ca85fc565c0","datavalue":{"value":{"entity-type":"item","numeric-id":507365,"id":"Q507365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b07bb16486bc7b817678211ac9655f5e98cf16","datavalue":{"value":{"amount":"+0.7300341129302979","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":"Q5408450$00148B69-A582-47EA-B14D-D5BC61D2161F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408450"}}}}}