{"entities":{"Q4823820":{"pageid":6853400,"ns":120,"title":"Item:Q4823820","lastrevid":74905593,"modified":"2026-04-15T00:56:42Z","type":"item","id":"Q4823820","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112333"}},"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":"Q4823820$2FE3DEAC-0282-46B2-9020-C9B3BFEEC2C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e84371ff6fa9d2e2c4f8e6aa561ec3545406f368","datavalue":{"value":"1107.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823820$3E4F1BFB-A9FE-497C-84BE-667C4922EC6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36dffc1e33cf2cea6e8e0323241c404eee4db2a1","datavalue":{"value":{"entity-type":"item","numeric-id":866171,"id":"Q866171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823820$9F092349-C711-486F-AAD0-8B247048E6A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823820$D77ACBF1-5E2A-4347-82F7-13A4D59AA0F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823820$402F58EF-BD89-4504-8E09-C626A9D96C84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b04def12d3d53ccb246109c48cde9ae59d65e91d","datavalue":{"value":"2112333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823820$BBE9DD19-DDBB-42B7-862D-157134B7B4E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823820$A4C20551-40ED-4A91-B05A-38C6B7987EA3","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":"Q4823820$5894C211-6CD6-40B8-AAC9-059DDF6EE674","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea67bafd7cf8af0153f61c5e208b27cfa5dc6a8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417890,"id":"Q4417890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c57431cc5a83889bd92cad1a1b4474ea13a4bd0","datavalue":{"value":{"amount":"+0.8182878","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":"Q4823820$640AAD19-742F-4AAE-9114-FFCFF5E24F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f94a3b566d880cdb2fef105ef6b549ea7ca3977","datavalue":{"value":{"entity-type":"item","numeric-id":1887732,"id":"Q1887732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c57431cc5a83889bd92cad1a1b4474ea13a4bd0","datavalue":{"value":{"amount":"+0.8182878","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":"Q4823820$5C77292C-8B88-450B-BB6C-B658B1504D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e87f96a2b2dca76063a1aae61ff6d75e3d1f8be","datavalue":{"value":{"entity-type":"item","numeric-id":4986234,"id":"Q4986234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c330053463e1d95bf08266d51711045133e2b52","datavalue":{"value":{"amount":"+0.81735706","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":"Q4823820$6D560562-8636-44F4-A44E-5CB120C76C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e45d4ec668a5770aebcd02e4ef2f64b6ebad030","datavalue":{"value":{"entity-type":"item","numeric-id":4229172,"id":"Q4229172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca500712fdbd1905e9f61d6f6dd572cf62651a8","datavalue":{"value":{"amount":"+0.814386","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":"Q4823820$788DDFD2-A9FF-4446-88F7-5ED930E5F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb9d2a38b09a70f3b29ee1ad72d28ea19532423","datavalue":{"value":{"entity-type":"item","numeric-id":2848031,"id":"Q2848031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb45d866dd902f94685da7dce39c3db35261192","datavalue":{"value":{"amount":"+0.81347185","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":"Q4823820$80A0B84F-1BD7-4318-9382-2C0A21F61F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f56ecd7039def4e4ddadfe91a54a05a49d2828d","datavalue":{"value":{"amount":"+0.8115964","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":"Q4823820$DB81B83C-E17D-4ECC-AAC6-1FD6957F17E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a00e851afd7c4f6729fd524172bf2be6c558f6","datavalue":{"value":{"entity-type":"item","numeric-id":1418335,"id":"Q1418335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242c65df67ba50e15a5bda55f54b249fea4ec9e3","datavalue":{"value":{"amount":"+0.81152314","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":"Q4823820$1861CAA3-0860-4D7C-9FF3-860E5259ABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfafe45b459e5dc54dd5e41bbf11e16196dee21","datavalue":{"value":{"entity-type":"item","numeric-id":276469,"id":"Q276469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf374728d10b01391d8d2f2b7354d51f64a2780","datavalue":{"value":{"amount":"+0.8102194","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":"Q4823820$F15E928E-8C2B-44FE-BC45-96B45C23A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0473e2471ab4905a9da8690555d1d74e37cbe8c","datavalue":{"value":{"entity-type":"item","numeric-id":5714529,"id":"Q5714529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca4ce22c320e0cdd9f685ddacd03f5097e2f12b","datavalue":{"value":{"amount":"+0.80828977","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":"Q4823820$968D1669-4011-417D-91C2-BE77A1390416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65f6d5cb7e20f4b499bad794491ac5505d28710","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab848e76cd84b730fd2a41e2d1be61a23ab301b","datavalue":{"value":{"amount":"+0.8063441","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":"Q4823820$D0B099CA-D597-4D22-8281-7B0AA372A93E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2112333","badges":[]}}}}}