{"entities":{"Q383356":{"pageid":385123,"ns":120,"title":"Item:Q383356","lastrevid":61464939,"modified":"2026-04-10T23:32:52Z","type":"item","id":"Q383356","labels":{"en":{"language":"en","value":"Inferring complete initialization of arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235540"}},"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":"Q383356$10479F04-E697-4A9E-BF5F-4004D186F339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"020bd7e7501e98d9e4d3d6ed0b254c2f6710f9e0","datavalue":{"value":{"text":"Inferring complete initialization of arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383356$136FDDEF-FE81-48F3-AF68-FB4E7AC2289A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e1593ad87cf0eb92ed50f7d9be063bbc131970","datavalue":{"value":"1292.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383356$814956AE-836C-4D29-BFB4-237E1E6CD054","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b96e6f557273599c2b2b0754d6ebec9ba9c41e6","datavalue":{"value":{"entity-type":"item","numeric-id":383354,"id":"Q383354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$87D916C3-3C34-4467-8BE8-9A5AE539D663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$910E6A72-03B5-42B0-86D6-44784AF4ABE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$42E76B88-C974-4A07-BB57-84C5E8B0BF0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383356$30B8824C-32D3-4C84-A49A-C66B96859C31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383356$98AD584F-9DE4-4812-9CE0-FD46A2C84360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383356$0B84D524-4092-4C5D-B670-69785F44A40C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9bef49b41ccef5227de9e2e52f3630bfa60fe30","datavalue":{"value":"6235540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383356$BFDB6657-6427-47D6-B126-C75B213CB98A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q383356$D0E15629-DDD8-40BE-A594-0DB0561DD3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa36171cfe62c237efaaa0a591de9af55ad89988","datavalue":{"value":"array initialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q383356$C98D8547-6100-432F-9A65-D2D36BE00BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q383356$D6089D70-2A39-4DDD-BB40-F30D280A90C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q383356$01181B41-3B9B-43A5-8B7E-7E8C2B1BC42C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcc5b773aefa12179daf9a302ebafdcfbdfdca6","datavalue":{"value":{"entity-type":"item","numeric-id":25620,"id":"Q25620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$633187A7-3472-4293-89A4-DD104A744AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$4566ED4B-B1C7-4819-9D59-E89B7B48A442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"de7ee68559169d468f589a39994e088e91ae16f9","datavalue":{"value":{"entity-type":"item","numeric-id":21699,"id":"Q21699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$8F415827-4A4B-4255-AD4B-AA1BC825D90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbcbd5d863cb9d63f271b0c5727feb2df2061d67","datavalue":{"value":{"entity-type":"item","numeric-id":39887,"id":"Q39887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$191FD3E7-3639-447B-9D50-D3FDC75E697B","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":"Q383356$40D63759-4F70-4464-A185-806BEBBC042C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3223fcfaa142709707c533e28c68d95c19f20f36","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.01.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q383356$8D28EBEF-AEBC-4A46-94D6-AFC7B0F64ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ec681e3679d5fc90cea672bb45bfc94b254271","datavalue":{"value":"W2084349485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383356$F932C219-2335-44B7-ABA8-4EF46725403B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$2BD00AE5-0FF3-4D0F-A292-41A4594D1863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$A73ED739-A3BE-4746-9765-0A7BFDF2A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$44BA3D15-D7F5-485C-9A74-349FA53A6BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1f487f894ada316ae2893024e29e29b624b634","datavalue":{"value":{"entity-type":"item","numeric-id":5408536,"id":"Q5408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$D9BACA40-21F4-46E7-8F36-4F9344F0CB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$139250E0-1706-46D6-9147-B6E19CE27ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$6499972C-72F4-428B-A245-696BBF65CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d926ddc0a6cb500bdbabe105e37ebbae5a4f865","datavalue":{"value":{"entity-type":"item","numeric-id":5458380,"id":"Q5458380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$72941075-04A8-4367-A679-183BCFDD8904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f13bb2807d2f53bfddf2f692a83e94d5a857e20","datavalue":{"value":{"entity-type":"item","numeric-id":2915100,"id":"Q2915100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$92FBB9C8-F886-4DBF-B78F-898A6CAE38B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3779bc504630164faed052368c71031c6ea8953c","datavalue":{"value":{"entity-type":"item","numeric-id":2908512,"id":"Q2908512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$BD30C9C2-E792-4FAA-9D46-41E531A675EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8653e953b81ccebbb8d8baa7d4435cc7aa5f97b","datavalue":{"value":{"entity-type":"item","numeric-id":2890215,"id":"Q2890215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$6520FD55-7366-4629-A8BC-75D8C7B5577A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0154e0e7a8c353cd494b970aa089d960567542","datavalue":{"value":{"entity-type":"item","numeric-id":5897440,"id":"Q5897440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$99605EFA-394C-42AD-8DE4-B84760E5BF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdf61a0a2059e16b185d7a6b73df5a4cee605e4","datavalue":{"value":{"entity-type":"item","numeric-id":610791,"id":"Q610791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383356$FEB3DE9D-32CF-47DD-8D3D-A70A5583C2E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"194d3623c3c91b87a344832bcab97f78b82bd4be","datavalue":{"value":"10.1016/J.TCS.2013.01.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383356$AC85E3E8-6D16-4D4D-B517-49F21AC18240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526d0f1bec5bb0f1a44447bc05a002d1b3f3916d","datavalue":{"value":{"entity-type":"item","numeric-id":2143131,"id":"Q2143131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280729cd364f1af3b93726bb33687a0ebaed9587","datavalue":{"value":{"amount":"+0.8478506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$0DB0D99B-A6D8-4FF7-A235-6266DF21CFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ddd74550d167928ba22dd4e14870ecb9cd1906","datavalue":{"value":{"entity-type":"item","numeric-id":2890215,"id":"Q2890215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a75b31af8cbb0c65d086dfcfc94bad0ffedb9e9","datavalue":{"value":{"amount":"+0.82678145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$A28DDE4F-A1B0-4DF5-90BE-90A62911448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f159db906fb811c97346614eddbe648d292435","datavalue":{"value":{"entity-type":"item","numeric-id":4930717,"id":"Q4930717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d3ebdcb94e66e968e3effab050cf2f6a600ea8","datavalue":{"value":{"amount":"+0.7951725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$4C1A2B54-F11C-4113-86DA-F3FDAD8DD63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7c3da48d8133cb364dad1f7df7e435a59d7d2","datavalue":{"value":{"entity-type":"item","numeric-id":1942178,"id":"Q1942178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ab00f84805f99e0f71547945b3a4309b162092","datavalue":{"value":{"amount":"+0.7943777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$42802009-4794-4509-9B7C-47BA14AC5DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043e3fdbf2ded895dcc770ad39490783f729602e","datavalue":{"value":{"entity-type":"item","numeric-id":5136264,"id":"Q5136264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a686682e82215278ef8b5e0da04bf875c972144","datavalue":{"value":{"amount":"+0.79176223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$E9E6FBCD-2618-4ED9-9C52-1C7A93903ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9fb32d0f4d621e4b7a80aebab12147188882ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1203459,"id":"Q1203459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1025931b46a21ad0101ced8c30fb51bcffa78c8c","datavalue":{"value":{"amount":"+0.787459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$A6232229-3735-4521-9004-C6D6E3DF7791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453bbf1b5ab7b8df2f187862d5eca7df5235ad35","datavalue":{"value":{"entity-type":"item","numeric-id":3152952,"id":"Q3152952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb30e52a13b578f70e2b1611e74af9c3e1f9a69","datavalue":{"value":{"amount":"+0.7864187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$5EACB8E6-9801-46E0-B169-7D18566D8C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf40b28c4483e46b1d6d72690e772fc4449d3ba","datavalue":{"value":{"entity-type":"item","numeric-id":5005169,"id":"Q5005169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0084584fd382ca01a0868e929d427e268c42fb61","datavalue":{"value":{"amount":"+0.78607637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383356$E785AB44-1CB2-40D9-B2C3-9ED2A49EB68A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferring complete initialization of arrays","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferring_complete_initialization_of_arrays"}}}}}