{"entities":{"Q5170179":{"pageid":7199751,"ns":120,"title":"Item:Q5170179","lastrevid":100398287,"modified":"2026-06-05T22:02:08Z","type":"item","id":"Q5170179","labels":{"en":{"language":"en","value":"Inferring effective types for static analysis of C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319530"}},"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":"Q5170179$0321D225-2E8B-44A1-B010-0B832A9C2A75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c4b11ef2558b689dde21cc08fe0e66937f84a42","datavalue":{"value":{"text":"Inferring Effective Types for Static Analysis of C Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170179$29DA459F-639F-4E4D-8695-748A1C2F53C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b8d823a9a1f2375ce67e3a6cbbee47a3fab4a8","datavalue":{"value":"1294.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$28888BC6-AE86-421C-B3F1-BCBAA1E5F540","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d283bfff41569929de0ba520942a031eb8bd107c","datavalue":{"value":{"entity-type":"item","numeric-id":435976,"id":"Q435976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$B754F034-D187-4788-8555-6B73D32A1C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1cfa21b8c2e3defeec80e6fed463af14b4e2c44","datavalue":{"value":{"entity-type":"item","numeric-id":2814113,"id":"Q2814113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$AA6AFBF3-E7C8-4BA1-9D4C-48D7684B42BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$7B3A2FE3-71A1-454D-9D72-C60353F26247","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170179$444E8F94-D1AE-4BFB-BAE8-61166D2FC939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$8C48B316-BB9C-48DC-B67A-58BEC5F00CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$2F2D02ED-3D50-4B14-A9D4-92B510864097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6ce18a0a2e5852f9baecf51efb72aa935a777f7","datavalue":{"value":"6319530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$59D835F3-3E5A-4178-AA9B-BB7D734B052A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170179$94F2D40D-ECA6-469F-ADEF-FFDB3CAC31EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170179$4375C1CD-CED8-43A0-A870-A0EA8B894D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd631459cff59ecd50c9c9fdf5d1e4d8d5ebfec","datavalue":{"value":"C programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170179$27682C40-E129-48B4-923E-C80590B125FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a4b32bcb0f0a5bb3c49bb9664aa26df25de3d0","datavalue":{"value":"Boolean types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170179$E3A288E4-5835-436B-AEDD-F7972EB31DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20db846d1230a48527d6a568ea6b518c5aff32f9","datavalue":{"value":"finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170179$A0EF7CF2-AC4D-4A4D-96F6-C0D60C903CB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$4F6210C6-4AC6-4310-B6D8-34D1FA103B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$14117DCB-2363-4497-B7E1-916D2391124F","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":"Q5170179$C0B9225F-5B41-4B02-A88C-2C604702752E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa328f5e5a6c9a6b8593fac608c8908db34f2112","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170179$385821C9-82EB-4A41-923D-0181DDF1396E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"361ab66f79513aba5a0dc5bd163361c3ac454ce7","datavalue":{"value":"W1975490105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$811C40F5-ED6D-455D-90F6-B391B6E04E3D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aed94dff4edce6be31b4f8d2d2708dd72277aa3e","datavalue":{"value":"Q113318049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$E2778FF1-796C-4071-A976-48885B788237","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c4600dfadd07a24cd31f492d72709127901a51","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$2CA4B8AD-3147-4560-8DB5-399B992B2FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffdc3f075a8a5a716c52bfac399bc2092d53a952","datavalue":{"value":{"entity-type":"item","numeric-id":3000584,"id":"Q3000584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$E8DACF1F-675C-4EAD-BDF7-AE17579295E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$9315C8DE-BD20-4A88-ADB1-928E2ABDC0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$EB66A2E4-BFBA-45B4-9243-029BD000D6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70064986056d0693779f44c798875d753fd68c3","datavalue":{"value":{"entity-type":"item","numeric-id":3000594,"id":"Q3000594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170179$B2AB456C-7A26-4609-B166-0AB12195F1DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1e134384ea908e7ffe8bf32e4cfaddc7c3e827c","datavalue":{"value":"10.1016/J.ENTCS.2012.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170179$ABA71D68-3990-4592-9471-98A77D84920C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967848b7f67550fefbce99e123f1d5c35a92ad98","datavalue":{"value":{"entity-type":"item","numeric-id":5758131,"id":"Q5758131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03adf0d9b3fb275b913aee7111ab703cca2f298","datavalue":{"value":{"amount":"+0.6737474203109741","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":"Q5170179$C2E8A4D8-F141-424C-9EDE-342C9115A5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f20b58757c83c5bd2d86e589c0c212c75f155f","datavalue":{"value":{"entity-type":"item","numeric-id":2722060,"id":"Q2722060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f30abadefcacdf2dabf8aad6747c00c4598e64","datavalue":{"value":{"amount":"+0.6731728911399841","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":"Q5170179$12D0C825-01CC-4345-8DC3-2A3397A036E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52c891947e91854de30aebaca437718bd924345","datavalue":{"value":{"entity-type":"item","numeric-id":2985780,"id":"Q2985780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f30abadefcacdf2dabf8aad6747c00c4598e64","datavalue":{"value":{"amount":"+0.6731728911399841","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":"Q5170179$EC43D74A-CBBD-40A9-98B8-5F20B488C8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf2e3c6d1b927b908b15c7440f5918641032651","datavalue":{"value":{"entity-type":"item","numeric-id":835770,"id":"Q835770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec193ae9734ab6d0bebfd4cd57f886d2c3633418","datavalue":{"value":{"amount":"+0.6730371713638306","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":"Q5170179$C2200761-C84F-490A-A9C5-795A9D1918C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65f800bbf30bdc886501e2fd14a63f8872e6dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5178902,"id":"Q5178902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7f99aeb94efbffe69095da14927c3017860027","datavalue":{"value":{"amount":"+0.6629626750946045","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":"Q5170179$556BACCD-354A-4444-8A3D-7DEB79D6D5A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferring effective types for static analysis of C programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferring_effective_types_for_static_analysis_of_C_programs"}}}}}