{"entities":{"Q4817056":{"pageid":6846636,"ns":120,"title":"Item:Q4817056","lastrevid":74712753,"modified":"2026-04-15T00:00:24Z","type":"item","id":"Q4817056","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100584"}},"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":"Q4817056$0280BF84-361E-46DB-BED4-AA21D45864B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5d2dde93886eb1283e1fbce8fa7621e26e44217","datavalue":{"value":"1089.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817056$64A98C87-0821-4823-A7B4-71BFF8642535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29d150627c12526d17c7aae4c42c0582234e074a","datavalue":{"value":{"entity-type":"item","numeric-id":210003,"id":"Q210003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817056$7B039045-D760-429F-B669-1622139E5F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e29184a057a37add3b7d61af5e7b02504ef3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1602966,"id":"Q1602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817056$199D5C1D-71B9-48EC-BF3C-27B6440B248E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ff9390fda2e55580040130750b9d23c764fd98","datavalue":{"value":{"time":"+2004-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4817056$2AB5CCE6-391E-4B77-B2C7-99124E9B377A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817056$37E23918-249B-4D7B-9375-A76DEE1CDB1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c691f9b3ef03b3653213aaeb5af613f5278ed4","datavalue":{"value":"2100584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817056$7E1FCF46-37C9-49E2-A309-B4E2CC061C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817056$3EF95054-75A3-424A-8AA9-A57228AD96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817056$A31EED91-45C2-46EE-8325-8B2B5F3F7001","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":"Q4817056$63FC3480-4B17-45C1-8EB5-AA3E98338044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57a7b1eb0787339160049dba416e679f66b498f","datavalue":{"value":{"entity-type":"item","numeric-id":4817055,"id":"Q4817055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a397c6c81e7e6541291f68db508e0837a21dd41","datavalue":{"value":{"amount":"+0.80794656","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":"Q4817056$EB717AD5-E3AF-4003-BC37-8FF5F80FD998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afee0540e26927c3d0b47ac914f4244e9f23be47","datavalue":{"value":{"entity-type":"item","numeric-id":3624142,"id":"Q3624142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929ef03d2817c6f9c75a85d4ce1be6d9cae082aa","datavalue":{"value":{"amount":"+0.8034337","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":"Q4817056$28D93E71-BA5E-44EA-BA01-A77E3A130FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f80663d512dc916357bfa38c7f938d72ab3d5c8","datavalue":{"value":{"entity-type":"item","numeric-id":853722,"id":"Q853722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed0d0664b147557cfe0d5356dc84ad73c7872e2","datavalue":{"value":{"amount":"+0.798746","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":"Q4817056$0517507F-BBDA-453B-A790-F5BDB9712DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c9bccba3a3a5e00e00e9d64817ebfc10eeb7b2","datavalue":{"value":{"entity-type":"item","numeric-id":5754542,"id":"Q5754542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b8b4ebd419596970a63faee0f01ee78219ff33","datavalue":{"value":{"amount":"+0.79701936","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":"Q4817056$EF062D93-9BD3-48D8-8137-636C7CF659FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63a32ad951a9daaa5f01231624781a8a96a26f9","datavalue":{"value":{"entity-type":"item","numeric-id":4494253,"id":"Q4494253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15382d863968f85d0e54d326a1f6f762c2171da2","datavalue":{"value":{"amount":"+0.78913367","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":"Q4817056$E5AFFD20-AB6E-406D-9FA0-9828F8173372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70364c00d1852bcb70b6271f0d9dfc5204d6905f","datavalue":{"value":{"entity-type":"item","numeric-id":1916361,"id":"Q1916361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bd2c3f916e7d12023b07e2e4960e03af6045a2","datavalue":{"value":{"amount":"+0.78726315","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":"Q4817056$CDDFA487-54F4-4462-868C-A002EB7DA3E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2100584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2100584"}}}}}