{"entities":{"Q4780213":{"pageid":6809793,"ns":120,"title":"Item:Q4780213","lastrevid":74463687,"modified":"2026-04-14T22:41:02Z","type":"item","id":"Q4780213","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1822269"}},"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":"Q4780213$2ABA8AAB-9C67-4941-B42A-0A9D25992A77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4610e61f08f816cf91eb1cca367188ab3b93e3d","datavalue":{"value":"1004.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4780213$7D46CDDD-A3C9-412E-A9AF-72D6E97F2DB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf970c552e83833ca420bc4e0574174b2fcad709","datavalue":{"value":{"entity-type":"item","numeric-id":351993,"id":"Q351993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4780213$3C4D6E79-EC73-40D3-BED9-56C5592B4FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b6abd34bf2c1ff2e47854f70a86c2a484a01cba","datavalue":{"value":{"entity-type":"item","numeric-id":485838,"id":"Q485838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4780213$7316D392-EB6D-48C2-912A-6E9E21A1EBEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c46a1848186a989e845a7b08e6b4d15724d6aca","datavalue":{"value":{"time":"+2002-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4780213$BADE933E-6EBA-4B59-93EE-D7C44A900539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4780213$F2CE01EC-A14E-450B-BDC9-0D8C68C43F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4780213$DD5CF44B-77CC-4F68-A2E9-353FBDD7DFBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8455926970a25d200ef724be17e77a6e4802e5b5","datavalue":{"value":"1822269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4780213$30C0B726-7684-450D-8C7B-7694FD38DF65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4780213$BF87857A-EA52-458B-A33C-6066A002698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8798e2970168b94b7c8139a32d09f7874a915403","datavalue":{"value":"lazy narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4780213$A5C19233-19B0-4DD7-A64D-21D3C426EB0F","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":"Q4780213$64106169-6781-4F91-B069-C21EEC19EC02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58155a92e39d4db88bc5dc6a9bd708533775264e","datavalue":{"value":{"entity-type":"item","numeric-id":5096386,"id":"Q5096386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c943ab1cbe3b37a8873e1918a3452ef4d7d267","datavalue":{"value":{"amount":"+0.8459228277206421","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":"Q4780213$D359B945-BFFE-4E95-858E-20735A6653F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e17d283826ed369fc3460fa325243df61e4b58a","datavalue":{"value":{"entity-type":"item","numeric-id":2766792,"id":"Q2766792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fe8a3647001f8aafa0732d6d0ed16259cb0e0b","datavalue":{"value":{"amount":"+0.820730984210968","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":"Q4780213$6FC88E5E-A70B-4CC3-A0F9-011CD2C60D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97e220f900f9fc0eaf581faa89b304b70876151","datavalue":{"value":{"entity-type":"item","numeric-id":4395684,"id":"Q4395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5450dba8400ff58068c378d55c78fd25073b5756","datavalue":{"value":{"amount":"+0.8144872188568115","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":"Q4780213$1E214668-308D-462E-8743-CC43F9B93E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14d0e49573e95b9898f6a7cc159234409fdc527","datavalue":{"value":{"entity-type":"item","numeric-id":5699561,"id":"Q5699561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad953dde6e76204e3e1462048531308bf4fa047","datavalue":{"value":{"amount":"+0.8082374334335327","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":"Q4780213$0AF2B5E6-CE57-47BE-81E4-BF26E5884607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62eddbd21770d795eaa8053d86ed9448aea1fa0f","datavalue":{"value":{"entity-type":"item","numeric-id":3525083,"id":"Q3525083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fa4f374f416ea6d14bb58f091340bbbc5b4d00","datavalue":{"value":{"amount":"+0.8061022162437439","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":"Q4780213$54947737-D656-4DF7-97F8-3031C4CEB879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1822269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1822269"}}}}}