{"entities":{"Q2195636":{"pageid":2206379,"ns":120,"title":"Item:Q2195636","lastrevid":43668036,"modified":"2025-11-05T19:47:19Z","type":"item","id":"Q2195636","labels":{"en":{"language":"en","value":"The FAN principle and weak K\u00f6nig's lemma in Herbrandized second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7240983"}},"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":"Q2195636$EDE59C4C-3BDC-4500-8D7F-33C93FDCD13E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e7c8060ed5e70ff9415ae1c1159f71f5174cf8f","datavalue":{"value":{"text":"The FAN principle and weak K\u00f6nig's lemma in Herbrandized second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2195636$9C04D322-D331-4BBC-8183-000833AEFE16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d06c085d58c78a58ea57927ccf7fe5650fad4cd","datavalue":{"value":"1455.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$46AF6812-2D51-48DF-BF77-47E8C4646409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$8DB043E8-F0E9-4210-9497-B88340FA1803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$B4BF1C63-4C0E-45DF-9B99-F86206BB4CF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5218afe8b5c20f51e0f15b32e1cbcd1509eb46","datavalue":{"value":{"time":"+2020-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2195636$318F8C47-69E4-4D96-BDAC-9D7A604B1768","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e00974ea7f6ea0d3522cbba4def6a9073db48ce2","datavalue":{"value":"The work developed in this paper can be seen as an extension of the star calculus from [\\textit{F. Ferreira} and \\textit{ G. Ferreira}, Arch. Math. Logic 56, No. 5--6, 523--539 (2017; Zbl 1417.03290)] to Heyting arithmetic. The star calculus is a typed combinatory calculus with a type constructor that, to each type \\(\\tau\\), associates the star type \\(\\tau^*\\) corresponding to the nonempty finite subsets of elements of type \\(\\tau\\). The Herbrandization relies on the fact that formulas are considered in a \\textit{bounded mixed language} that includes bounded arithmetical quantifiers and bounded structural quantifications of the form \\(\\forall x^{\\tau} \\in t^{\\tau^*}\\,(\\dots)\\) or of the form \\(\\exists x^{\\tau} \\in t^{\\tau^*}\\,(\\dots)\\), where \\(x\\) is a variable of type \\(\\tau\\) and \\(t\\) is a term of the star type \\(\\tau^*\\).   The present paper introduces a sound functional interpretation of a first-order extension of Heyting arithmetic. This functional interpretation is able to interpret  certain principles such as Markov's principle, the bounded independence of the premises principle, the lesser limited principle of omniscience, and the principle of bounded contra-collection, and is therefore considered ``semi-intuitionistic''. The interpretation is indeed ``Herbrandized'' since the witnesses need not to be exact but only contained in a finite set. The interpretation also allows for an extension to second-order  arithmetic, interpreting second-order variables as finite sets of natural numbers, which includes a (classically false) formulation of the FAN principle and weak K\u00f6nig's lemma.  Herbrandized interpretations were first given in the context of nonstandard arithmetic [\\textit{B. van den Berg} et al., Ann. Pure Appl. Logic 163, No. 12, 1962--1994 (2012; Zbl 1270.03121)], which also allows for a treatment of weak K\u00f6nig's lemma [\\textit{B. Dinis} and \\textit{F. Ferreira}, Math. Log. Q. 63, No. 1--2, 114--123 (2017; Zbl 1469.03177)]. However, according to the author ``It is a quirk of the history of the subject that Herbrandization was first discovered in the nonstandard setting!''. Moreover, the approach using the start calculus is more structural in the sense that it can be used even in theories that are not theories of arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$D9CC14D5-B065-4BBB-BD38-BADE7B0AD68B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59f67e306ef8c1048c2d50e22def570d6b333f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1705750,"id":"Q1705750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$67102A32-F2A3-4FE9-9575-D105F342D6BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$F38B16DA-802C-403E-AB20-451C43363201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$44FE0721-E27A-4564-8D8C-72E2A724BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$89A32160-2E0A-4D2A-8F25-9DB2441C8795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$A3FAD3A8-9845-4A35-8777-6B7BE742DB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$C0D6186B-357E-41D4-A0CC-639263A7063C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07de7d9a52d699b7d01c9639bd0ba6bd8f8d5dad","datavalue":{"value":"7240983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$EE2CE6AC-4BF2-4C79-99C1-9042C21E8624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$A673563E-9F5F-4AC2-84D3-2E63505A49D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f75fff92671a29ff23f35f47d6c1fdb820c9500","datavalue":{"value":"Herbrandization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$1284F96B-D10D-427F-8262-51720E767B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2716f3faf1d24b68cf2cd4cf29f2d39cc97473df","datavalue":{"value":"star combinatory calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$EC6EB6FA-07AC-454B-82CA-2E5CC2682B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$BB382FA1-C489-472A-9890-BCD3CBD82E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd525a959483774d2eb2eb9e9469270f3643bae","datavalue":{"value":"FAN principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$D168B063-B079-4E8E-BB5A-2C4E4FB7F575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2195636$29A8D868-14A9-42F4-ACDF-E6C95F1FA660","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":"Q2195636$8365EFB5-389A-49F9-A598-9B5F71907F42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cde961b9dab9abd41e918b3586b8382fd8460d28","datavalue":{"value":"https://doi.org/10.1016/j.apal.2020.102843","type":"string"},"datatype":"url"},"type":"statement","id":"Q2195636$53DB1CE5-5C1D-442B-9EDB-97F2D97DE974","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a4dcb8676eb70f23728f466e5ad89042c5ad663","datavalue":{"value":"W3031186075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$2AE08A44-3036-4BA7-A25D-EEB01BFCE974","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3adbc98aeed9bce110520b3533551fa06b6f2e72","datavalue":{"value":"Q124879145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$88A8E8EB-BCE9-4D81-99A2-772C71FEB479","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$E0605C54-B89D-4B87-8276-9B7CE6938DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$0741ABB7-2D40-49D2-BD07-16DCB800F143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861675e070d01c6709765fae78f1b2b9e9a93b52","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$27E113E8-8634-4B22-8EAD-3C9FF7540758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4346e6e59c11b557f53de878bdd86885037a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3079692,"id":"Q3079692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$4EAC502B-C2B1-44A4-98AA-26D79022CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4622c349f90f59bd21797768a6e00101cfd1f19","datavalue":{"value":{"entity-type":"item","numeric-id":5214791,"id":"Q5214791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$57D48D9A-AF18-4F63-8CAC-A55856D2D1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643372f2e4397e6304a90cf3b1cd28599fd0df9a","datavalue":{"value":{"entity-type":"item","numeric-id":948908,"id":"Q948908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$0947022E-F782-4EAB-9740-A745A064CEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837bc1385595a868f157ad00f8e53f97083cfd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$C0E2A288-7559-418D-950A-81E8325BB919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26e7e48781a52e6dc033fbfd496250fb6f1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$0CE9259C-AC90-4B18-A21F-6BA864081270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$85D3DF36-0788-4F50-B71E-CB41CA75CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2000842876528f5e6c6fad6008888472a77f5c4","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$98841A79-7755-4253-B9E5-3DAB976124C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$7E60E1CC-4CFB-4659-AE9E-A207669B6747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$31477288-300C-4469-ADC7-9C2A1E43C773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bbb39bcfe69bda1f8d488da6e73412c05ff49a","datavalue":{"value":{"entity-type":"item","numeric-id":805612,"id":"Q805612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$02CD966A-7DAB-44B1-B829-6008698B8D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a64f75e29626450605352d1f13f087e41109608","datavalue":{"value":{"entity-type":"item","numeric-id":4254679,"id":"Q4254679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$517BC333-78FA-446A-8D33-643B32233D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea89e4b72d8d2ea532bc22d6fccc64e4d3c4230e","datavalue":{"value":{"entity-type":"item","numeric-id":4165377,"id":"Q4165377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$EDB8B3AE-83F8-4D50-9D62-E72A98AEA92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$DA882565-93D0-4828-8BFE-6D3FF58EA3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$BB160186-684D-4C21-B530-BC2C59954472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2195636$96A4F125-4BC1-4CC6-9A74-E568CB06F854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd6f8319327616c45e24e7c3ad898b2737a32aec","datavalue":{"value":"10.1016/J.APAL.2020.102843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2195636$F2D1CE25-1B98-4BE6-8809-3ABDF31E0037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee8f700e4781d7117206a2b7fca68d3b7834795","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5e97a612c108adffe969604372428323724aaa","datavalue":{"value":{"amount":"+0.7788972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$4D210A0F-1780-4C98-BA8A-8CF1B9F71138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ac90d4a760ad3fa17f4954ea5b53436616c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf867bcfd1c6b59b059365231a3a7bc11ba89cb","datavalue":{"value":{"amount":"+0.77539164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$316FCF34-D133-4830-8A57-EC2FCC34E2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8738a42f0489c1b49ca8e97c681ecca0a244fcc","datavalue":{"value":{"entity-type":"item","numeric-id":6041142,"id":"Q6041142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e178de37409fa2508018f3fbedbdf4e573dd431c","datavalue":{"value":{"amount":"+0.7631257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$7DD3547F-CD85-447C-856D-BCDE63DAEEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4d778a45554899fd88a9d813e612852d159fc","datavalue":{"value":{"entity-type":"item","numeric-id":5711876,"id":"Q5711876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6aad666d8ea31e009ffb0cdaff41aae87f6441c","datavalue":{"value":{"amount":"+0.748086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$EC1C6A5F-2046-495F-835C-8349BBB6C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3cf3d88973dbfb30813e5d655f2773ea02706e","datavalue":{"value":{"entity-type":"item","numeric-id":1580650,"id":"Q1580650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f11360e3e6b173c2a15b1292a9192d10544f64d","datavalue":{"value":{"amount":"+0.73389727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$A252EE39-4A2B-4706-B62C-6D6099E582F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fe3f5abd0e785efd0b6b194791216dc83afcba","datavalue":{"value":{"entity-type":"item","numeric-id":1407559,"id":"Q1407559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d7b45e0df29b12420d89b6836df3fcccf79e9b","datavalue":{"value":{"amount":"+0.7310853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$EE70AE42-3857-4916-90F4-FFDFC303DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7b498a457dc44835c6c5fbd2b3953bcc6d4da9","datavalue":{"value":{"entity-type":"item","numeric-id":3984424,"id":"Q3984424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacdf52181e8de90f41697ed727f6da74d48757e","datavalue":{"value":{"amount":"+0.7221623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$C29E795E-CE4C-4D43-9C2C-593A3C85ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c247c13eae3b9344335959c417ccf31ad3d030","datavalue":{"value":{"entity-type":"item","numeric-id":1820157,"id":"Q1820157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1fb36bbc606583525944674924bdafa152f12b","datavalue":{"value":{"amount":"+0.71794724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$D7054C46-DF7B-42E4-8B0F-8E3B0E3E0A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e158b4a1824187c4fa6568d9d1cf0e679969310","datavalue":{"value":{"entity-type":"item","numeric-id":4382484,"id":"Q4382484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9f88d8680fc88a883719ff25468041350e6d3c","datavalue":{"value":{"amount":"+0.7124869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$1D51B4B7-3395-43FD-9355-699E4B9839BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5836db08dac9b4f207bdd9a241cb401d2c9557f","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb05119f8440e34d6d64611623f70406e36d210","datavalue":{"value":{"amount":"+0.707467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2195636$7442A576-F202-4C1E-9B90-A5BC1A1252D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2195636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2195636"}}}}}