{"entities":{"Q1861174":{"pageid":1871916,"ns":120,"title":"Item:Q1861174","lastrevid":73044687,"modified":"2026-04-14T09:47:06Z","type":"item","id":"Q1861174","labels":{"en":{"language":"en","value":"A computer proof of a series evaluation in terms of harmonic numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1882103"}},"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":"Q1861174$B3300A47-27F7-44C0-85AE-D8609400E8B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc1097f62dd76e16bff6cac51533d7a764f0b673","datavalue":{"value":{"text":"A computer proof of a series evaluation in terms of harmonic numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1861174$A992FFC5-FCCA-4E85-BD9B-3B8C51194782","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db990d2288025c00e133a48f0ab49ddce8bf1abc","datavalue":{"value":"1011.33003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861174$BA50EF76-A2DF-4C66-826C-6BC478B311DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a061a398092ef7ee45343cadc241782b70151b6","datavalue":{"value":{"entity-type":"item","numeric-id":245002,"id":"Q245002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861174$51E17777-334C-4ACC-8253-4EA8E5D2750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cbe2952fcc378113967544e0a5b303ebf5e421e","datavalue":{"value":{"entity-type":"item","numeric-id":215126,"id":"Q215126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861174$B8768A9E-CE40-48CB-89BE-01D47E733590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b31e7aa1b1461a1c4574f85168d7d3decb8b544d","datavalue":{"value":{"entity-type":"item","numeric-id":161506,"id":"Q161506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861174$247C0E13-BFA7-46D9-8A38-84F83D7F1E63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861174$CDFE701E-759F-46CD-9963-C7F24E7CD1D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20484d5d05d35091295b43d15d842c3e6e3b69fe","datavalue":{"value":{"time":"+2003-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1861174$54508723-CF91-4BEF-86AC-DC1800BB3773","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7b41e245afd8e1d12060ae358bf46850a9de8eb","datavalue":{"value":"The authors derive a computer algebra proof of a series evaluation that originates from a definite integration problem. For this proof a new randomised WZ procedure together with other programs are used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861174$DDB4B1C0-7356-4538-9EC8-AEFAA8CA49CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c618f816e6308977cf393dfcfa211f201052855","datavalue":{"value":"33C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861174$3B158F0C-97CE-458C-8012-4D808638607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861174$ACC22048-D17E-4E09-AF17-94AAA48E61AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8173978cc346b773ad362403971eecfda5b116bf","datavalue":{"value":"1882103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861174$0FE1400F-69E4-4FD1-B288-3E4F4405B5F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b3fae90bb7453994aebaa95521e955f916797091","datavalue":{"value":{"entity-type":"item","numeric-id":587437,"id":"Q587437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861174$3499445D-18D8-4B62-AF5D-415D7522F15B","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":"Q1861174$229BF63A-1C97-413F-8239-6C4CE8EA21C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0571fb7bf6734e71570f7899f940e8da06f5417","datavalue":{"value":"https://doi.org/10.1007/s00200-002-0107-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1861174$291495FE-0B81-4ADF-A6D7-5E1C04352FB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8422d3bbdd6ea43465e1fc39d314b8cd32fc09f","datavalue":{"value":"W1977176408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861174$B89903D1-F8D3-4064-A84B-E0814A73C102","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"392fa207d5cd45e0638f7c16351e08d19faadcc3","datavalue":{"value":"10.1007/S00200-002-0107-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861174$05894F80-4731-4476-AAE6-38337A004E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f4de6e7f968a6bd5206b18d8c6a05baeced69a","datavalue":{"value":{"entity-type":"item","numeric-id":1415382,"id":"Q1415382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97a468e287a09d852ba5f65e8626ecc3ad14dd8","datavalue":{"value":{"amount":"+0.7794941663742065","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":"Q1861174$210697CF-1F40-40A6-BDCF-7A4350A8E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c35f27e05fcc46eb5bc5808df1e52034aba4ab","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fc0ae2abb2f5b3c6222d50cd9550f3b0a9be48","datavalue":{"value":{"amount":"+0.7789161801338196","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":"Q1861174$DE05DE45-C776-44E6-B6EC-9346D5ACE5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8348d2cb30317a022adc33165f5f77a10963d2","datavalue":{"value":{"entity-type":"item","numeric-id":5749295,"id":"Q5749295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc580f2befd251e2be5af8f6841eb56d46b44a5","datavalue":{"value":{"amount":"+0.7542566657066345","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":"Q1861174$DB78ECE9-3E92-4AE7-A7F0-2F1FD308AEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51059f83063b967ba3ee0827f5d0c29fdbf4932","datavalue":{"value":{"entity-type":"item","numeric-id":3561297,"id":"Q3561297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b244e4812022c326ef323622a8836e619c196fb4","datavalue":{"value":{"amount":"+0.7436286211013794","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":"Q1861174$9B5256EC-2B1C-4C65-BBA5-21739701DF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe78e46711cb2aa23db507517f339e9c19a31ca2","datavalue":{"value":{"entity-type":"item","numeric-id":1037567,"id":"Q1037567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50c2290c96eccc041a2b0cce212d4f02df4bca2","datavalue":{"value":{"amount":"+0.7384881973266602","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":"Q1861174$B3368452-C8A9-4B8C-BDAD-42AB961A938A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computer proof of a series evaluation in terms of harmonic numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computer_proof_of_a_series_evaluation_in_terms_of_harmonic_numbers"}}}}}