{"entities":{"Q3636859":{"pageid":5666765,"ns":120,"title":"Item:Q3636859","lastrevid":50694740,"modified":"2026-01-14T20:15:16Z","type":"item","id":"Q3636859","labels":{"en":{"language":"en","value":"Automatic Verification of Integer Array Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571896"}},"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":"Q3636859$B5F0954C-4725-46A6-9056-18DE63F62258","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcb4adf27e81e1aa1d42239cf96da8c45ac3d99e","datavalue":{"value":{"text":"Automatic Verification of Integer Array Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636859$FC1BC25A-27C5-4A7F-9C62-29DD8A5003F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c813abff5b870dbd0e00deed8a133f856838b988","datavalue":{"value":"1242.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$04703BC5-D9D7-4B86-8850-A50E9810597B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b536cbe2981e1491ef018b31041230e69b1fed8c","datavalue":{"value":"10.1007/978-3-642-02658-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$67C6B03B-4385-4341-BF17-AD68E364116E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636859$9EB0A3DC-411D-4245-A18C-A3773962AA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636859$E4D3966E-6C46-41C3-9835-C5A0769EBEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636859$2BD6FAA3-FBC5-4136-98AC-09A279BAF09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82a167e3ee8e3e7cac868097510d956467c837b8","datavalue":{"value":{"entity-type":"item","numeric-id":2272930,"id":"Q2272930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636859$7A0CAC4F-DF54-4BB4-8503-26AF2BF0E11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636859$17A26D3D-2363-4984-A39C-373EA1E384D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636859$5071F0B2-C954-4027-869E-B0CBD629E8F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-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":"Q3636859$E4B59FAE-B6D2-4BE4-B511-D63F246BACC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$3D56EF0F-7482-4808-AC96-45BB3D7535ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$A98A6AC4-B3D5-4FD1-85FD-5F1770C1794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$6A876DD3-DA7A-4DA6-A31E-28CC2E252210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$31471B7A-99DD-423B-99E5-15CBAA428DDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ea338fee24bd408c589e48e124305fe1cf15139","datavalue":{"value":"5571896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$B95B8F66-092A-4AE9-93B8-0A122F5F09E2","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":"Q3636859$38F6971F-F94E-4F4E-99A5-3588ED8AE559","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a070ec2b312d9298c3ddc3851147ad316bcc839","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636859$A691A768-B31E-494F-AD0E-0A3FDF7D9E70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dc63b7c244afd016d5a6ad45bcb613e6d681ed6","datavalue":{"value":"W2128466619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636859$921576B6-2AC0-4462-948E-9946B3A5CCD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae86f9f439b81043e4e8f5e51e9ad3e87ccce57b","datavalue":{"value":{"amount":"+0.8207393884658813","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":"Q3636859$6E240432-CA7F-476E-81B4-CBDFEF15551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905332bf6c3e109d1de50e535594648948454dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1922347,"id":"Q1922347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cd1960358f0a563ca55e8bf7b4d635fe9ce6de","datavalue":{"value":{"amount":"+0.7764970064163208","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":"Q3636859$A5DEE590-9C70-485B-8DF0-AAE8E193CA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa375c02a28c1e1bb936b979f466528418cce8","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1770d6940472b7f992d7611c16e4384f14bf209","datavalue":{"value":{"amount":"+0.7744302749633789","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":"Q3636859$BAF68569-A610-4C3E-9DB1-3AB22D74054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9550b460f7de999a0525aec28440b36da166a0","datavalue":{"value":{"entity-type":"item","numeric-id":5233256,"id":"Q5233256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea55827c4a8ea1812ed9be2c5f09e3caf3e41f40","datavalue":{"value":{"amount":"+0.7646887898445129","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":"Q3636859$AD1E16A0-79B8-4593-821F-CC5C7F93F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819aed6fb55858a3ba166b981e35c6d2e4ad1174","datavalue":{"value":{"entity-type":"item","numeric-id":2946676,"id":"Q2946676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a71ad58a8f641e2dfa7ae2d147b3babde614443","datavalue":{"value":{"amount":"+0.756904661655426","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":"Q3636859$49F6B40E-F861-4F5A-9A8B-B1D26A1EB69A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636859"}}}}}