{"entities":{"Q793725":{"pageid":795573,"ns":120,"title":"Item:Q793725","lastrevid":42696161,"modified":"2025-07-08T13:59:55Z","type":"item","id":"Q793725","labels":{"en":{"language":"en","value":"Differential equations in constructive analysis and in the recursive realizability topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857101"}},"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":"Q793725$9758B17C-BB04-464C-9F9B-0389B07DC4B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dbc50d3fda9181c1853392ee9b803a799e77bdd","datavalue":{"value":{"text":"Differential equations in constructive analysis and in the recursive realizability topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793725$7347F246-7397-40DC-BD0D-CFD4BF5F2A30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02707644184dd639f03129a8c70a8809e0515bdf","datavalue":{"value":"0539.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$2876AA4B-922C-4076-8D2B-E24F0F87CFC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d58ed452757b84177d460a450a4ff0b1dc37c1","datavalue":{"value":"10.1016/0022-4049(84)90027-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$8A237D49-AB27-4854-92A8-6D0B6FB309BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$3B2C0150-9771-43EC-BE1D-F086E8B0B853","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q793725$D159BA77-7578-49C3-92D0-4F3679C26281","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fca1e1e3847ff17290349f45670ac00a218eef4f","datavalue":{"value":"This paper is concerned with the constructive theory of differential equations, as cast in the following three settings: (1) as provable in Heyting's arithmetic \\(+\\) ''Every f:\\(N\\to N\\) is recursive''; (2) as true in the recursive realizability topos [\\textit{J. M. E. Hyland}, The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/Holl. 1981, Stud. Logic Found. Math. 110, 165-216 (1982; Zbl 0522.03055)]; (3) in computable analysis in which all assumptions are made computable [cf. \\textit{O. Aberth}, Computable analysis (1980; Zbl 0461.03015), in contrast with \\textit{M. B. Pour-El} and \\textit{I. Richards}, Adv. Math. 39, 215-239 (1981; Zbl 0465.35054)]. It is shown that in this constructive recursive context one has the existence of approximate solutions, and the Picard uniqueness and existence theorem for ordinary differential equations, as well as the standard uniqueness and existence theorems for the wave equation and the heat equation. On the other hand, the Cauchy-Peano existence theorem for ordinary differential equations is even refutable in the theory mentioned in (1), but it does not constructively imply the Heine-Borel theorem, in contrast with the classical setting of [\\textit{S. G. Simpson}, J. Symb. Logic 49, 783-802 (1984)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$C4BBE898-D304-4C27-914B-6141D95F8AED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$D3AB6DCB-2BAD-49ED-89CD-B2DAAE226AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$91532110-1332-4590-A23B-C333907889CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$A63D6CB8-B7F7-416D-92DC-D6AB29AB3E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$C1796D00-E1CF-4E45-B743-B4F0CE2035A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$B4E9DA91-A348-496E-A842-2FC30C01DBFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf354fb493122e1433037e32e113d95b892f6e14","datavalue":{"value":"3857101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$210F60C1-B8B9-47DC-9A0E-D09F08DBC125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed265b8f396a64f1a1b9bbb6795d0b75f744573","datavalue":{"value":"recursive solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$97C2A1A0-A6DC-4F8B-8D6B-E133FE84010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$C23CCD70-26E6-48CF-B4C7-FB23868A8F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$72DE49EE-0939-4CFA-A742-913FCC852D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3026e379da4f97672affab40ca74d5492da94f2","datavalue":{"value":"constructive theory of differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$DADA175A-E72E-4CF2-8F73-7BAA82792107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97b74ed1e6a8e8f92455a25d76b7d267efcf1e5","datavalue":{"value":"recursive realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$D46B2024-4514-4B4F-B28A-3504F037E2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$71FA3763-2A0A-44E9-AD05-13A48262BD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8205005c0975ece57da73400ce9be01687bc47fd","datavalue":{"value":"approximate solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$DF1179C6-667C-4CB9-AE36-763A77C663B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6fa4783ab0f49294e83da8a2be606259ddb52c","datavalue":{"value":"Picard uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$FECB1ED8-957B-4171-B773-F6BCEB349918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$C01C6676-1614-446C-83B0-E59FE646ADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223fd15e21c3ce4b096b8bd776392b86cdddfaf6","datavalue":{"value":"wave equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$A055EC5C-D976-4A6E-9CBA-0E2712F915AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3373f8b8896e69ba2657108b1229cfe87c9662","datavalue":{"value":"heat equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q793725$C530FC82-0B90-44D7-A0C7-B53296205D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$FC727F7D-C933-44DF-89BF-3888C846ED9E","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":"Q793725$ED26484A-70CF-464D-A81D-EF4E46A53560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b52eb4b047f3f853c2191ea8de9741ac014a12fe","datavalue":{"value":"https://doi.org/10.1016/0022-4049(84)90027-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q793725$96FD32BB-B7F7-4324-9CF9-6892C40F0E9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55bbaf81497ccd76a00d5b7032e46ee3fe49bfd9","datavalue":{"value":"W2032779612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793725$0203077F-A155-4A9B-92A0-9EBA66519577","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce57f761410ccd077bcb3ad96ce9acc4d57642a","datavalue":{"value":{"entity-type":"item","numeric-id":5623667,"id":"Q5623667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$4D4725C5-AD7D-4865-AE65-020046F6AC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$E76EBA94-F666-438E-8091-6F2B394FBCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc97af483bf775df1cf70009b2d3845e270b88","datavalue":{"value":{"entity-type":"item","numeric-id":4175530,"id":"Q4175530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$01F432F3-7FD9-46FD-B0A5-E662384EDC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$D2795431-707F-421D-BBA4-0A1439C70AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9932000c15c0c019583170615f8e91cd2d5539b","datavalue":{"value":{"entity-type":"item","numeric-id":5804403,"id":"Q5804403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$7126BFF7-3CF7-45D9-8364-547D71E1F096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551f2a22d68d8091928801d8423ada3760e3e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3863865,"id":"Q3863865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$32F1C3DB-AA08-4303-B0DB-7D499C5AE91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$CBAC54AA-F529-467D-B763-7580490C61C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$329389A6-B575-494E-A919-FC6B40FD6FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a735be06598b8228355f94bf3d046d9418d9a3ae","datavalue":{"value":{"entity-type":"item","numeric-id":2546500,"id":"Q2546500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$C9354EB9-33D4-4A4A-87F2-14D744BBA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c813d26f5f354d6da7731e926a9c508e314899e","datavalue":{"value":{"entity-type":"item","numeric-id":5832281,"id":"Q5832281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$ACEDE840-4543-4978-8DE9-F255A017C97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c6a7b98937750856b4fd0c419513041ac96d83","datavalue":{"value":{"entity-type":"item","numeric-id":3859258,"id":"Q3859258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$C02088EE-E43C-4FC7-8886-55C6A15959AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7972821895a20452545a55872390b062b015a0","datavalue":{"value":{"entity-type":"item","numeric-id":1154609,"id":"Q1154609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$146F5902-EE61-47CC-85CD-E4DBF3C04FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7369bb28db75da8bb960da781273d62253574be2","datavalue":{"value":{"entity-type":"item","numeric-id":3310619,"id":"Q3310619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793725$61F8C799-F194-4B23-8B15-CF52BBFB0F35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ef59651ff69238ec9c900fdc2f30d8e284b55a","datavalue":{"value":{"entity-type":"item","numeric-id":4354148,"id":"Q4354148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c2714b4247c734b790fc283011246da38596fc","datavalue":{"value":{"amount":"+0.8972828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$12231A84-BC33-4B9F-8F44-3716D07EE298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261dc59c99a821aa7bd77f81594f2b6e9794cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":4002864,"id":"Q4002864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561c15b4994b62b633e11053ff80c2eb38bfc5d0","datavalue":{"value":{"amount":"+0.888825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$A716B1D4-744D-42A1-9BBC-0DD126814FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e00d1587a0020b87190be718a13368bbad79608","datavalue":{"value":{"entity-type":"item","numeric-id":1620875,"id":"Q1620875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fa1b67b57927646d7a590a3c1739c536f20c37","datavalue":{"value":{"amount":"+0.88175905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$58A11488-6FF5-4ED8-8317-59137746200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d71a5a04f8b84cd33207c73edc053cda097e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":5149272,"id":"Q5149272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04db1729d1a260aacf25791feae3cedfebbb1a11","datavalue":{"value":{"amount":"+0.87705755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$F169D2CB-C4B5-4A09-A0D6-B39A5BE0D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8735a349135bf4fc4443ebbdc8f556272ba7f8ad","datavalue":{"value":{"entity-type":"item","numeric-id":4582008,"id":"Q4582008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdde44ebf887f5dbad55f8c75609360710c824ec","datavalue":{"value":{"amount":"+0.87407905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$AAD384DA-4C03-4323-81DA-B744D0C05134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8d75a1ce5759e662879f8595e34fad209f9841","datavalue":{"value":{"entity-type":"item","numeric-id":4462772,"id":"Q4462772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83051a0e3405ce44585d8dfa22ce6e836a6b705","datavalue":{"value":{"amount":"+0.8739229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$D79655A5-13FA-4198-BBF1-274DC5B7A8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0708b189325b1b43481c238d8b728d1ad5f6d793","datavalue":{"value":{"entity-type":"item","numeric-id":4880609,"id":"Q4880609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d22d4e11aa9c5a8ffa3584519be8341975f5c5","datavalue":{"value":{"amount":"+0.873556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$0924DA4A-E674-4880-B638-E7B8D0E67AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba0c0ebbfaeda1a16b997430b764b87533d7e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4513931,"id":"Q4513931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f484942aa50d98f67786ffaf198c610c0516a5ca","datavalue":{"value":{"amount":"+0.8728802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$B01D6302-C8EE-4597-84C7-2631DF097B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69897139655927c72a12f08a89349ae85771056","datavalue":{"value":{"entity-type":"item","numeric-id":5547816,"id":"Q5547816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3674e7c2830ef962b860dc4e4c3fdf53aeffd7","datavalue":{"value":{"amount":"+0.8725772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$D7A1904D-13F8-4085-8AB0-757DADA2359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6a4bb2be0284e7cabafdd981d02c4bdb6e848a","datavalue":{"value":{"entity-type":"item","numeric-id":3483611,"id":"Q3483611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf35ac9643da43bb4ca20043e635eea3778ca22","datavalue":{"value":{"amount":"+0.8706175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793725$D50BF9E9-2534-4FFC-8414-19D9387638CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:793725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:793725"}}}}}