{"entities":{"Q4818813":{"pageid":6848393,"ns":120,"title":"Item:Q4818813","lastrevid":74569842,"modified":"2026-04-14T23:23:56Z","type":"item","id":"Q4818813","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102726"}},"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":"Q4818813$4ECC7F53-6BCB-4187-9A39-0AFBCD51B16F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09934aa38d10e65d7bdc4e547ef209841a62593d","datavalue":{"value":"1046.68605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818813$0A683781-305B-4B4E-96A0-16271AA027BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818813$FF30996F-2CB7-4092-9275-FF08520D7F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e5f75a0d54975ee52ada1a4f4fb54297ec3b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":202474,"id":"Q202474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818813$5384273D-EE49-4474-B8D9-16F8A7486567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae98aee1b7bf2475be3fb22c4040820a955063e9","datavalue":{"value":{"entity-type":"item","numeric-id":1865857,"id":"Q1865857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818813$46EFDDE9-DB89-41AE-91DE-6276A9B48134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d5b1d78f90bf2e4f97dfa95c7cbd050929044d","datavalue":{"value":{"entity-type":"item","numeric-id":347842,"id":"Q347842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818813$473AF91A-995E-409C-92C4-7BEC28C21DD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80836874fe663944c89061f0420200b4dad391b3","datavalue":{"value":{"time":"+2004-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4818813$D307658A-96CC-483D-B8EE-A0DAF53C6347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818813$A22D4A02-EBB7-4FF0-92CD-BD623F24E131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818813$4BED5593-698A-4F75-90B1-5F04AB21E7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818813$105BD6EE-276F-4527-8B5C-BD47A0CFC5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c3b15d747548b33dfe1a75b7fae4753a151b82","datavalue":{"value":"2102726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818813$C27EC895-8B26-4902-A381-C4E4A830E63F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423521220703d1eff1b9f8f1af9eed7dfa3ab71d","datavalue":{"value":"finite instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818813$13B607A1-DB35-4845-9FB3-97ECB0C8A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00623441959b027c50b9279aaa0154dd42b0650a","datavalue":{"value":"equality logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818813$3F7D9075-04D6-4E99-8D0E-0941119A9377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edcff533ef56e1b8f3f728145a5e52048095aac","datavalue":{"value":"uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818813$F383B7F0-855F-4996-898E-2043E3508023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818813$A119E826-E1F6-4E21-A57A-F9740565FA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818813$0017B7E9-D327-4C9B-B881-C2F9F0F9DF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96705659b20a890030dfda9437295e9bc7b10694","datavalue":{"value":"range allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818813$4A412924-20F4-4D37-B90B-4E12EE53C62A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818813$B9699902-AC18-429A-A263-CDC32DB65BD6","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":"Q4818813$7BC800BE-EDB4-4D87-A297-5B4AD205C8C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e41ac8fa516f394f5547d63e423cc05a16e9c6","datavalue":{"value":{"entity-type":"item","numeric-id":2490118,"id":"Q2490118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ab79e65b98d636210485a4933d9a502a50fd18","datavalue":{"value":{"amount":"+0.868965","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":"Q4818813$E7B720DA-5B2D-41D3-B1E8-49000208FE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d911a500c2df9d660f946f63988aac50f6d0122c","datavalue":{"value":{"entity-type":"item","numeric-id":437026,"id":"Q437026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cabbf5c13c736ae7080d522a6a9c205c20f133","datavalue":{"value":{"amount":"+0.8589456","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":"Q4818813$08954F26-9432-43AD-946F-16A92D41F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d11aee89078d56e560ea9cc08c8d7b92f1bef08","datavalue":{"value":{"entity-type":"item","numeric-id":3656844,"id":"Q3656844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cabbf5c13c736ae7080d522a6a9c205c20f133","datavalue":{"value":{"amount":"+0.8589456","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":"Q4818813$C11A9C4E-1F56-467B-AA5C-42F7F6D8ED3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb1ce9a258c054bed28a7127c9390eb5d525d02","datavalue":{"value":{"amount":"+0.8575397","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":"Q4818813$240BB95A-7EDA-41DA-9DA4-FFA741671358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b54ec3d11a4b8a63a3fb62a11dfd85164a29f52","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3751d97975e17f5717e74af639868246bd4c58","datavalue":{"value":{"amount":"+0.8572193","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":"Q4818813$02E42464-93DC-4A3B-8C51-113AD5C70E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3513a4fbc738dcbfa0ffc0ffb00863fa766e0704","datavalue":{"value":{"entity-type":"item","numeric-id":437031,"id":"Q437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87018c471f4db37a8f4ab6ec061626a5ba600bb6","datavalue":{"value":{"amount":"+0.8555507","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":"Q4818813$DBF1783C-DE73-430E-A009-CBE33A3FB5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cfda27c4e4d2c5a2e58c1cd4f84f79e2d9eef6","datavalue":{"value":{"entity-type":"item","numeric-id":3813316,"id":"Q3813316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1eed34118e88df36e61e74f37bc1a10e52538b","datavalue":{"value":{"amount":"+0.84995264","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":"Q4818813$8F91C6EC-5313-4A82-ABD1-7D67C9E8E718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa5821d5bc9687fe29222b473d9339797d836dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18453f044d42a66702b4ddc73685e56341c619fb","datavalue":{"value":{"amount":"+0.8494334","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":"Q4818813$4D5C5469-06CC-4D76-A70E-3106AE8C1D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63302cf9c54eb7ab7c7a862b9727c99538a847f8","datavalue":{"value":{"entity-type":"item","numeric-id":2767115,"id":"Q2767115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c29c8a13cacfa722bb8398395f7e93c6599372","datavalue":{"value":{"amount":"+0.8490848","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":"Q4818813$4A82AACF-C3D9-43A1-AE10-BF924D403479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909541a349ce169f9b5091df34f4a238ccb451fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643080,"id":"Q2643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d028e6f22278751c55dcba87b59e4e0e1e2885ba","datavalue":{"value":{"amount":"+0.847947","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":"Q4818813$93E9D563-F5E3-4555-8A79-17026A0FCEAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2102726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2102726"}}}}}