{"entities":{"Q4817044":{"pageid":6846624,"ns":120,"title":"Item:Q4817044","lastrevid":74885136,"modified":"2026-04-15T00:50:05Z","type":"item","id":"Q4817044","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100572"}},"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":"Q4817044$7C13880C-4A33-45BD-B15E-27BA3050B993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d0112e5e2cf46914f5ee88895f4e5d6328edbe7","datavalue":{"value":"1090.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817044$ECB2AC13-CD8A-4B60-91F3-C0E4ED1D5BFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84407e1144236234cae92ec7e46a319189bbfae7","datavalue":{"value":{"entity-type":"item","numeric-id":2765455,"id":"Q2765455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817044$2B2C320C-3387-4FEE-BA49-60F37B8ACD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e6348c9f67cf0bc4a52440f6a8e2047b2c265dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817043,"id":"Q4817043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817044$4489D42B-3B62-463A-8F66-568299A2E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3b48a89d51fdee8a697097b29c3a27ba648559f","datavalue":{"value":{"entity-type":"item","numeric-id":212131,"id":"Q212131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817044$C4D15B52-2437-430B-9BB6-1D4F641075CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57fbd490902a0f3cd1060dc659171e73bb5dd72","datavalue":{"value":{"entity-type":"item","numeric-id":3122479,"id":"Q3122479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817044$27037F71-92DB-495F-A6F2-60A4D493D756","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":"Q4817044$D3275478-A2DA-4351-8058-E2201F0C7B24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817044$440DFEED-63A4-4EBE-8826-C2412AF886C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f27cf28621251ec7fab34a50844181d79e72ca5a","datavalue":{"value":"2100572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817044$3CBB6043-F1FC-4073-A407-59B9777D5062","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817044$D76C1C8C-EAE2-4EB1-AA63-378871A6FD90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6fbef3c472078034c7b1175aaa27f1bcbdbdf35d","datavalue":{"value":{"entity-type":"item","numeric-id":30981,"id":"Q30981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817044$86EDE900-DA4E-4D53-A568-5059643C8E04","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":"Q4817044$F90AAE17-8F49-4956-8C0D-67C155F1DF4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf208491ef461e163e4962b5155726af7dfd355","datavalue":{"value":{"entity-type":"item","numeric-id":2765471,"id":"Q2765471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3124f448cd0cf720725a950566f89cc4daafc552","datavalue":{"value":{"amount":"+0.8464375138282776","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":"Q4817044$08FC4602-6432-467B-A841-65AD256FE51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b23a0b2fd124c38331ebc84a0ba81b7c95758","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258b1f29c3d893f7d8fe3bde26ba413667e77565","datavalue":{"value":{"amount":"+0.7355735898017883","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":"Q4817044$08ED1414-01FE-4FDC-8C7B-27A6ABF70DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e855425914fb699e7b428e733bf71c362e3115e","datavalue":{"value":{"entity-type":"item","numeric-id":1707348,"id":"Q1707348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d617e860c144bd82c89e99e0f3f14db31f5fe72","datavalue":{"value":{"amount":"+0.7337633371353149","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":"Q4817044$71559166-20EA-4A91-BB32-027485CA91DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e610b93a9f33e2f25085672587babd21ac0c067d","datavalue":{"value":{"amount":"+0.7212318778038025","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":"Q4817044$B3A993F4-88B1-4E33-90B7-266E39478135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e67e2f7d4667eb157d292d0d84c8d97059c639","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f03ac938d2cb5042e043940027e9c1ff6a15874","datavalue":{"value":{"amount":"+0.7122474312782288","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":"Q4817044$B833F1F4-B30D-4F80-B483-524CAF89777B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2100572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2100572"}}}}}