{"entities":{"Q1798944":{"pageid":1809686,"ns":120,"title":"Item:Q1798944","lastrevid":104470537,"modified":"2026-07-26T15:39:00Z","type":"item","id":"Q1798944","labels":{"en":{"language":"en","value":"Automated symbolic and numerical testing of DLMF formulae using computer algebra systems"}},"descriptions":{"en":{"language":"en","value":"conference paper published in 2018"}},"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":"Q1798944$11C8EBAF-D6D0-444B-8393-736CF8CA5043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"959f5065417f1ca480f59eed39dccea9784fe58e","datavalue":{"value":{"entity-type":"item","numeric-id":56888,"id":"Q56888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798944$DAF5AFEF-36CB-4C0A-BCF9-E818791DF0A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c293673ccc31d6e74b9c60822e7439fd49741869","datavalue":{"value":{"text":"Automated symbolic and numerical testing of DLMF formulae using computer algebra systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798944$8EFA08CC-DE67-48DD-AC94-6D8D1CF642BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3c53ce450e9c06ebfb3fc8ee133bfb71003cd55","datavalue":{"value":"1417.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$1300E5B8-DE56-44E6-BB01-DE568BB099B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaf7d1d5c9c32b2a6ed7a03e2fcbbc13cf71527f","datavalue":{"value":"10.1007/978-3-319-96812-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$E8F41E12-5DF1-422B-B842-267876419B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3839835b4877c5195d3d9707eda1520f10d7760b","datavalue":{"value":{"entity-type":"item","numeric-id":1798943,"id":"Q1798943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P146":[{"snaktype":"value","property":"P146","hash":"aa3bbeb896b62e9ed00b3f3b388dd8226ab0cc7f","datavalue":{"value":"3","type":"string"},"datatype":"string"}],"P418":[{"snaktype":"value","property":"P418","hash":"ac1cc9ab5227e2b6fd6b92cac2c1c910e9b0248a","datavalue":{"value":"Moritz Schubotz","type":"string"},"datatype":"string"}]},"qualifiers-order":["P146","P418"],"id":"Q1798944$10D0A354-4B6F-4E48-94F1-F37D6CC5B82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd94cc40b3874744429ca76c06508c37b794a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":1798942,"id":"Q1798942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P146":[{"snaktype":"value","property":"P146","hash":"68a11e72e14ea29fba97cedf3f92b04a46bc77a8","datavalue":{"value":"2","type":"string"},"datatype":"string"}],"P418":[{"snaktype":"value","property":"P418","hash":"2d5ee3ecf78378175d203fca06302e1642161dad","datavalue":{"value":"Andr\u00e9 Greiner-Petter","type":"string"},"datatype":"string"}]},"qualifiers-order":["P146","P418"],"id":"Q1798944$91CB7632-CDA3-4D3B-9F6D-CD2A32E7BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b722a1df88b4c59189d877b092ccb807c4e94dc","datavalue":{"value":{"entity-type":"item","numeric-id":352378,"id":"Q352378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P146":[{"snaktype":"value","property":"P146","hash":"b4ab5a8b93933737dabc89e180099fb13e75e4f3","datavalue":{"value":"1","type":"string"},"datatype":"string"}],"P418":[{"snaktype":"value","property":"P418","hash":"7aa5d142630345e2422e04dcf0329d552d529107","datavalue":{"value":"Howard S. Cohl","type":"string"},"datatype":"string"}]},"qualifiers-order":["P146","P418"],"id":"Q1798944$D940DEF8-DE8A-4118-A8EF-640947A50002","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798944$9E74EC63-5CAB-44A9-815D-DB58A78B3FAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d68d36ea75f25d33f5c0dd0b20330215a3a67aa","datavalue":{"value":"https://arxiv.org/abs/2109.08899","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798944$A2FA2CBE-F7E0-4D3E-9AB8-1CA033887999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3e31321e7078dda5745c8ca43999944bca6372b","datavalue":{"value":"http://hcohl.sdf.org/CICM2018_Chap4.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798944$401EA7C5-5B78-4189-82EC-3F2F34A5688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6932a893653114dc052e108022853b46c6ad077","datavalue":{"value":"https://ipfs.portal.mardi4nfdi.de/ipfs/bafkreie275ye5krheoxiybqv7kj7xlj2sagkqempgmdbdbqtdpycsmtidi","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798944$3B078E9C-61ED-4569-830C-0987A37FC123","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$FE31B55C-0CE5-4C03-B406-8E811A771CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$F2E3572C-F7F3-43BC-8EB9-FD492554B7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$445F83ED-2694-4154-B41A-26EB5FA7D731","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53ebc93b8c366ef4541b7810b23f451be1d43b70","datavalue":{"value":"6957956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$C6CD46B1-BAD9-4349-948E-4E86B42B0740","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7dc133137e5a0fe420b5a551070077f6880a519b","datavalue":{"value":"Q122926717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$45128D74-4719-427C-A27E-F95316B92D71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69434aaa9017a40672b2fca254f5265d2a05e139","datavalue":{"value":{"entity-type":"item","numeric-id":32794,"id":"Q32794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798944$2772E847-9994-4CC1-8F37-4256A02ED21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798944$8A37B784-8247-436E-AE4C-F384FEC713BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"211c43a5b835fe620b561d29820fa20ae55def41","datavalue":{"value":{"entity-type":"item","numeric-id":45361,"id":"Q45361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798944$670BF5E3-18E8-4945-87FC-55EE98DFC2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6755c015970211d11938f34e2e4824e1c73cee56","datavalue":{"value":{"entity-type":"item","numeric-id":19190,"id":"Q19190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798944$AAB26E3D-0EB1-4050-A783-5D23EEE99E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fae54f4ca6f40a00c5d3af1e2bace8caf434c54","datavalue":{"value":{"entity-type":"item","numeric-id":57095,"id":"Q57095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798944$94260A18-0818-4981-9148-9C7FEA4549BD","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":"Q1798944$179F00DF-73ED-4230-8CFA-09880E2357C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4eae0609982aab61fccd1df3e5fbc46a77d25fa","datavalue":{"value":"W3199955184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$22AD6413-E171-42EC-80C2-E4C55F37B124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b493aab72cac4026c56b1cdf8484e99570d7416","datavalue":{"value":{"entity-type":"item","numeric-id":1810915,"id":"Q1810915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec484235d7eac65e610f78f7084c4e2db860699","datavalue":{"value":{"amount":"+0.7674738168716431","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":"Q1798944$574E1DD1-6178-489A-ADBC-C89D778C065C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc33d98736bb365051d512f92452ffcc9bc1947","datavalue":{"value":{"entity-type":"item","numeric-id":5495940,"id":"Q5495940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed02cc23918e8717a1fb515e1f9de2ea027e6f4","datavalue":{"value":{"amount":"+0.7672204971313477","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":"Q1798944$A7D186FD-5760-4885-B9C4-E91BB6069813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c29a8447bc7c0bb5d29613c07364b75f5e8f69","datavalue":{"value":{"entity-type":"item","numeric-id":1810916,"id":"Q1810916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0104fc65ea6fa68f94cd5304fb86f0ac57ebaba4","datavalue":{"value":{"amount":"+0.7541648149490356","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":"Q1798944$1DB7B931-1F00-47DA-B106-CC0242225264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2566d6f6c5765d1fdbeca8c18bf3bd4ec5a7fffe","datavalue":{"value":{"entity-type":"item","numeric-id":2767932,"id":"Q2767932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11706d11c21709cf8dd015e7c1cb178d4d4166f0","datavalue":{"value":{"amount":"+0.7488843202590942","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":"Q1798944$780EED22-90A9-465D-9B07-39E9BE195EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7f6e0f0d29bdaa5f95b9749e36aa73d2988f47","datavalue":{"value":{"entity-type":"item","numeric-id":3582692,"id":"Q3582692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313803f0b8d73653d420b4047c2dcf1ae93c7b4e","datavalue":{"value":{"amount":"+0.7481068968772888","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":"Q1798944$EC4422BC-870A-4EB1-92ED-C76CEB8B4632","rank":"normal"}],"P26":[{"mainsnak":{"snaktype":"value","property":"P26","hash":"9381f9babeef8a6177e423401824d1c291d1b208","datavalue":{"value":"11006","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798944$7C0AC872-96CD-46E1-8FEF-493B19FE65C7","rank":"normal"}],"P128":[{"mainsnak":{"snaktype":"value","property":"P128","hash":"33925dacbdf1f3b6c53e9ac3faa857803ef2edf1","datavalue":{"value":"39-52","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798944$B88260D3-C1AB-4853-B015-C92079099B53","rank":"normal"}],"P115":[{"mainsnak":{"snaktype":"value","property":"P115","hash":"95cc37a328e8bb92e8953b8735a42866824ee2eb","datavalue":{"value":{"amount":"+14","unit":"1"},"type":"quantity"},"datatype":"quantity"},"type":"statement","id":"Q1798944$11B1A19E-3C44-47FC-91FB-5C7A8C0A9CD8","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"d549ef934c457bed3b70ed5711c0b6697dcdc00e","datavalue":{"value":"2109.08899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798944$4172067A-E7F0-4A7D-BDB0-DDF73E1AA999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated symbolic and numerical testing of DLMF formulae using computer algebra systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_symbolic_and_numerical_testing_of_DLMF_formulae_using_computer_algebra_systems"}}}}}