{"entities":{"Q2890215":{"pageid":2900940,"ns":120,"title":"Item:Q2890215","lastrevid":84799280,"modified":"2026-06-02T11:03:13Z","type":"item","id":"Q2890215","labels":{"en":{"language":"en","value":"Automaton-based array initialization analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044361"}},"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":"Q2890215$6ACC1B90-83BB-4043-BB3F-CAAAF748E2FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24db4cbb231a3fb3dcd4c59640c0cd689be98bee","datavalue":{"value":{"text":"Automaton-Based Array Initialization Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890215$10B39F34-B12F-4CC3-873D-77BF61A44263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4c99a27e97d78605b139aabd388894e75db618c","datavalue":{"value":"1350.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$3453E5DC-69F7-4F7D-8AC1-1D8C809A11A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"387086b3439a00cf5893932edb97797af7ab658c","datavalue":{"value":"10.1007/978-3-642-28332-1_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$238D22E7-6B2C-45AE-9983-B0E06F503176","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":"Q2890215$0F2F48F0-A581-4046-B4E8-04E61DB0EFD3","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":"Q2890215$9F5C3068-124A-4DF3-AFDF-5E12237192D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890215$DDD5F025-B4CC-4B92-846F-415FCCD9BBCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2890215$7EBCAD66-4DA0-4EEB-B700-17416F3C9F7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$D0D823DA-3315-4AC2-9A35-74C0D551F1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$1A5BE1DC-BD77-4C03-BC14-7C3F95FC38AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$5ED4BC50-2266-4BBF-A57C-67794EAD525E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ffaa7c1583e205ddaa95993ed1ba92bb558b6a0","datavalue":{"value":"6044361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$DB544EBF-05B3-4274-A646-64B43BC4D97F","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":"Q2890215$06CC3D7E-385B-4DA9-BE5C-F9B833826DF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d619da39afa6c0f3dedc37453b2cd950d0e1a7dd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28332-1_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890215$92A67AEB-0144-4F56-B7F6-63F6E3DC1C9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2a8dd3f62c83d3c1b416e67a6ca6014625db400","datavalue":{"value":"W2143576678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890215$A1D2258C-A7A9-431C-90CB-D7ED254FBFAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57efee7938d11d658887f0931ccf4cfeae8e7c05","datavalue":{"value":{"entity-type":"item","numeric-id":383356,"id":"Q383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ee5176611d5a2e7b419b866ec1460b9f8e150e","datavalue":{"value":{"amount":"+0.9143970012664796","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":"Q2890215$F3D279C3-5472-4218-B675-5FC8F89A5A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a00645da50df8dc5eca8bc4cd7c040f83a4a234","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c0d0587ad53708b39534302f6e5360b95744ee","datavalue":{"value":{"amount":"+0.7108782529830933","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":"Q2890215$189B95B2-E8A8-4B10-96DF-8E7DFCC21185","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":"1d7a2e0b2c19557560525090a08349f76d1cf60a","datavalue":{"value":{"amount":"+0.6950215101242065","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":"Q2890215$D74D01B6-EB1E-47E7-BEF4-D0A3733F5906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9acee07253fab6b814c27f9527f169fdef27efb","datavalue":{"value":{"amount":"+0.6870602369308472","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":"Q2890215$47CEF958-079F-4AFE-BD51-E832404B1297","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":"b5950a6c20956eaebb061345fcfa8e6fe60e9e50","datavalue":{"value":{"amount":"+0.6800492405891418","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":"Q2890215$98D994C7-3842-4778-ABE9-F74249F59C04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automaton-based array initialization analysis","badges":[]}}}}}