{"entities":{"Q681352":{"pageid":683201,"ns":120,"title":"Item:Q681352","lastrevid":63436077,"modified":"2026-04-11T13:10:16Z","type":"item","id":"Q681352","labels":{"en":{"language":"en","value":"An array content static analysis based on non-contiguous partitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832421"}},"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":"Q681352$ABDA5994-872D-4B67-9520-83F565690E43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b549ad93efb4eccf54801ae53d87fcbab3ab04f0","datavalue":{"value":{"text":"An array content static analysis based on non-contiguous partitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681352$6B94EC79-1FFA-4BBC-A6F2-02E6B8894A88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32d51cfd6306c14200cf0387b31bebb7315770de","datavalue":{"value":"1379.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681352$CE00D207-D456-46FE-8AC3-13E34157F2AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d22217eb3fd8dab80f2bcba244ab17e155bd1e1","datavalue":{"value":{"entity-type":"item","numeric-id":681350,"id":"Q681350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$7D3E24BF-6A61-4AA3-BB1E-7950EA6825BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac153c7f5276ccb8d4b5887e76c2d988e6dbdbb","datavalue":{"value":{"entity-type":"item","numeric-id":681351,"id":"Q681351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$CB69BCC7-F25C-4565-8B4A-1BB217A44CDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$5BCA4D28-92E0-4D11-91FE-34043931DE22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681352$678A2C43-FE0A-4913-9E88-916BF963970A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b01964e45cf893a86f6f78f8c9aa11a532f5a21","datavalue":{"value":"https://hal.inria.fr/hal-01399837/file/Liu-Rival-ComputersLanguages-2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q681352$4E75DEEA-7DE1-4EC4-A387-1CF9AFC6049D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681352$8FE72627-8384-41AA-9989-DD04B75DD087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681352$EF37C004-EB80-4BF6-89A5-7CD69783F80B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee20325c49b668cdcaec6b4e1e8fa1fde67876b","datavalue":{"value":"6832421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681352$0547F0C5-848A-49DE-98E3-E6E0CD0827ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f4cc8568c90f23fbd02386a0041737b04fcfc44","datavalue":{"value":"array analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q681352$264977E5-E022-4FAF-91E8-0E5F690E0440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912b376560370ff10dddcb7739ed59342ba686a8","datavalue":{"value":"abstract domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q681352$CC1639C4-BEE7-473A-9DCC-1BD07FD05497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q681352$7089CD8F-09B5-444C-A91B-108A47F23F7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$3AEBACA8-D230-48D7-AC7E-2B1DDD753A89","rank":"normal"},{"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":"Q681352$3E7BE389-8433-48E2-9AE8-A48E840F514D","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":"Q681352$5F61D386-D040-43E4-A24B-312EB0ACCF85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17da11f9dd887dd9418ce6f78c78a1d0019a882b","datavalue":{"value":"W2292277329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681352$F9351F1B-12F1-4B9E-8558-1C85DE96A0AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5798a9788731d78777ff3a4927d3be458dec8","datavalue":{"value":{"entity-type":"item","numeric-id":2849479,"id":"Q2849479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$4ED0526A-A3B4-4600-A247-1770A5FF044D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514430fb16af5350d3da66c57a77fa416ade52e7","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$C73F79D0-53A8-40CD-9EFB-68D24D7E37A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$DF2C3A79-3550-4D9C-B269-6503812C9F52","rank":"normal"},{"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":"Q681352$E5DDC2D8-9E13-4AF3-9C2E-288F876BF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed3955ec9359be5a50e26c84885e35d6f9d9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$7AE5736E-EF4E-4423-909F-FF473282CCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$267B145A-5419-48F2-A529-7763DD54452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$F41756D6-7DE0-49AB-AEC5-B5B3F13F22C1","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":"Q681352$1A9BFAD9-B2F5-41FB-B83B-81311B937E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbce8fef18964b0202c6df505cf6b11ba68bf349","datavalue":{"value":{"entity-type":"item","numeric-id":2920992,"id":"Q2920992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$F0538115-F430-4049-A97B-0656E428C23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86def9a37b53aa4153914d39e9b95aa609286d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3558225,"id":"Q3558225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$7EA83933-1282-4EA1-962B-9BEFCFC669CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b1fd65474e73bf7ed6d1c0109c90f143ebc0de","datavalue":{"value":{"entity-type":"item","numeric-id":5408543,"id":"Q5408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$1E797587-7E9C-4DC8-AF27-4642A5AA441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0a2e2fae13b22e363321d20032e977af8454be","datavalue":{"value":{"entity-type":"item","numeric-id":5308431,"id":"Q5308431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$0DF96DA9-313A-4B94-BBDB-AC98C64ED58A","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":"Q681352$DDF24C35-BEAA-4CD1-B547-58F116581EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$DA7BB41F-3144-48A6-AC6D-51E8111EB735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$27F9AED5-A178-4E01-A3F0-ED1CB99D286A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b8ed770b8d245384879223baff02e99d04132b","datavalue":{"value":{"entity-type":"item","numeric-id":5172648,"id":"Q5172648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$770F6A75-55E2-4A5C-9F69-A1AED5E6BAE4","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":"Q681352$55C7CDF3-B8A8-4832-B883-9316E13E25EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a574ab536b9912335aad961dffa8e10e5de9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$24B6DE53-EED2-4A40-9CE5-05C637BCA4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72b5086835b459a34a168b83712703df6f8e8f7","datavalue":{"value":{"entity-type":"item","numeric-id":4851572,"id":"Q4851572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$B870802C-53E1-41A7-B7FB-B16FA58F75E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26a13eaa1ffaf6c36a372e60f964d28443c48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2926653,"id":"Q2926653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$B5F70C55-0999-4031-8868-CC1CBAE63B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681352$25638BF5-A78D-4711-B051-C56E1BFB1ABD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1be500e666722b41340e106ef82d44efd3a48960","datavalue":{"value":"10.1016/J.CL.2016.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681352$3A77BA8B-A1AD-4BCE-9652-15F839441270","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ef1a436af0c34b755d44f09837135971bafde4","datavalue":{"value":{"entity-type":"item","numeric-id":5172648,"id":"Q5172648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db988b7ceaf1a44be8925710eed08bb35c780d3e","datavalue":{"value":{"amount":"+0.9282872676849364","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":"Q681352$8679CE31-3147-4431-9034-1E4FE595E25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba3f7e4fbfa02fca18eb45ed6e6f5186bf707da","datavalue":{"value":{"entity-type":"item","numeric-id":5458394,"id":"Q5458394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e267281d39301c51ff7d1fbc6c9c9f146c1c2816","datavalue":{"value":{"amount":"+0.7703258991241455","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":"Q681352$1F278A17-E311-47BC-AC82-EE509B0B0AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e087181cbc0aef2ddb2e113ec8e25b63c75f82fa","datavalue":{"value":{"entity-type":"item","numeric-id":5408536,"id":"Q5408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfdf055caeaef7383f3f886cf25d7a0239dbd44c","datavalue":{"value":{"amount":"+0.7633007764816284","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":"Q681352$FC4A4FE8-7D0C-43A5-9010-098D5FCDDBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4777b476b65a4ff57cf88f5f64930e7ad79712a","datavalue":{"value":{"entity-type":"item","numeric-id":6108433,"id":"Q6108433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a655977194f6a27941ab7ec623b2a6e5007523de","datavalue":{"value":{"amount":"+0.7351032495498657","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":"Q681352$6356F67A-DE8A-4300-9F4F-1A4E0B78474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab286d81997f6a7ec47f8a980b8e672b2e69c5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5170171,"id":"Q5170171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cbc0bbd51a277b603b458178bfc773528a2180","datavalue":{"value":{"amount":"+0.7244484424591064","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":"Q681352$E4B8F88A-19A4-4D09-A0E6-37DF8D2802D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An array content static analysis based on non-contiguous partitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_array_content_static_analysis_based_on_non-contiguous_partitions"}}}}}