{"entities":{"Q6359860":{"pageid":13494160,"ns":120,"title":"Item:Q6359860","lastrevid":95250425,"modified":"2026-06-05T08:42:03Z","type":"item","id":"Q6359860","labels":{"en":{"language":"en","value":"Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"preprint article from arXiv"}},"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":"Q6359860$867FDDAC-47D3-4E95-BFBD-E23F6B63D5BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6359860$CE9EE877-A7DD-4BD6-B503-F0B9A16AA422","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"d094e58913ed6f5686286b929a9547cf502f6660","datavalue":{"value":"2102.02679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6359860$E1A1CE47-E51B-422E-9642-BE53C8B4FD65","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6359860$F4189D8E-4EEA-48D7-ADD2-98C2781F58AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"d2c11f9cb81920dffc73275c975cbe2cb1c2aa8b","datavalue":{"value":"math.DS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6359860$D66B6E1B-0D47-491A-A757-3C63A4BCD82E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"a0aec85ce604eeb68b7d11bb0fb406fa67dcb9ce","datavalue":{"value":"Thomas Hickman","type":"string"},"datatype":"string"},"type":"statement","id":"Q6359860$94B90AA1-CC34-4A44-A870-680BAA1D4078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"6921ab236b9c04e3822515830ce4c9bfa53a54c4","datavalue":{"value":"Christian Pardillo Laursen","type":"string"},"datatype":"string"},"type":"statement","id":"Q6359860$9EA8100C-8143-4980-B731-C8B57F584D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c9ddb9cb8edac3e4e3079ad62f4b03206fa5cc4b","datavalue":{"value":"Simon Foster","type":"string"},"datatype":"string"},"type":"statement","id":"Q6359860$26118C50-9BFB-4374-BFCD-2E1EDBE20CFB","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":"Q6359860$D76AD4D4-2CD8-43C7-AC5D-3A344388556E","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"25c83b288f163a5860cf9cdc067e329c1656c44b","datavalue":{"value":"https://github.com/ThomasHickman/Isabelle-CAS-Integration","type":"string"},"datatype":"url"},"type":"statement","id":"Q6359860$0EEF7332-F42A-4B34-A45B-1713558350BF","rank":"normal","references":[{"hash":"efde44fdd0fc1438b74463d893973ec3497478dd","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"02de9eab122b940b5d55eb5cbe70ffeee2795c56","datavalue":{"value":"https://paperswithcode.com/paper/certifying-differential-equation-solutions","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_Differential_Equation_Solutions_from_Computer_Algebra_Systems_in_Isabelle/HOL"}}}}}