{"entities":{"Q1210137":{"pageid":1220886,"ns":120,"title":"Item:Q1210137","lastrevid":69904116,"modified":"2026-04-13T11:06:50Z","type":"item","id":"Q1210137","labels":{"en":{"language":"en","value":"Proof-theoretic investigations on Kruskal's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 169663"}},"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":"Q1210137$350B40D6-4FFC-49D9-92BC-6853CB34A617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8480e7350ce758a5cec4bda825d7ee337f4aac4a","datavalue":{"value":{"text":"Proof-theoretic investigations on Kruskal's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210137$18B5101D-AE1B-4957-9919-62FE52892FE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9505603ab2cfd73ee0f22f17c683317397fbb32","datavalue":{"value":"0786.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$1C261C5E-CDAC-4023-8381-3D288DB889D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506c398450cc5706d3629b1d15a1e6bb325c929c","datavalue":{"value":"10.1016/0168-0072(93)90192-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$467E341E-BF2E-43C5-87AB-F7F3CD72F8F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$DF1309B0-4F93-4E9B-BD34-A6DC83AE408B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$A18FF7D9-2B67-447B-8293-DC6CEEFBADE8","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":"Q1210137$46A4A4C5-CE5C-445D-90C8-70700AC60042","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210137$928CF3E7-50E6-408D-A363-F8FC252D4569","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eea8e6238e9c9ba6b6e8edb4f0805331650b09a","datavalue":{"value":"One idea of Reverse Mathematics is the following: In order to prove that a theorem \\(\\varphi\\) cannot be derived in a theory Th, it is shown in a weak theory Tw that \\(\\varphi\\) implies the well-foundedness of a denotation system Oz of ordinals, from which the consistency of Th can be inferred.   In the paper under review \\(\\varphi\\) is Kruskal's theorem, that the set of finite trees is a well-quasi-ordering with respect to embeddability. \\textit{S. G. Simpson} showed [Arch. Math. Logik Grundlagenforsch. 25, 45-65 (1985; Zbl 0598.03045)], following H. Friedman, that this theorem implies the well-ordering of the system of all ordinals less than \\(\\Gamma_ 0\\), the proof-theoretic ordinal of predicative analysis. And he remarks that on one hand there are even greater ordinals for which Kruskal's theorem provides a proof of their well-ordering, but on the other hand Kruskal's theorem can be proven in a system \\(\\Pi^ 1_ 2-\\text{TI}_ 0\\) with a certain larger proof-theoretical ordinal. In the paper under review the precise proof-theoretical strength of Kruskal's theorem is determined. It is expressed by the so-called Ackermann ordinal, which is written \\(\\vartheta\\Omega^ \\omega\\) in the notation of the paper. This ordinal plays also an important role in terms of rewriting theory.   Let \\(\\text{ACA}_ 0\\) be the formal system with arithmetical comprehension. It is to be the weak theory Tw above. In the paper under review it is shown that in \\(\\text{ACA}_ 0\\) the equivalence of Kruskal's theorem and \\(\\text{WF}(\\vartheta\\Omega^ \\omega)\\), the well-foundedness of the Ackermann ordinal, is derivable. Further it is proven that \\(\\vartheta\\Omega^ \\omega\\) is the proof-theoretic ordinal of \\((\\Phi^ 1_ 2-\\text{BI})_ 0\\), the system \\(\\text{ACA}_ 0+ \\Pi^ 1_ 2- \\text{BI}\\), \\(\\Pi^ 1_ 2-\\text{BI}\\) being the scheme \\(\\text{WF}(\\prec)\\Rightarrow\\text{TI}(\\prec,\\varphi)\\) for \\(\\prec\\in\\Pi^ 1_ 0\\) and \\(\\varphi\\in\\Pi^ 1_ 2\\). This means that in \\((\\Pi^ 1_ 2-\\text{BI})_ 0\\) it is not possible to derive either \\(\\text{WF}(\\vartheta\\Omega^ \\omega)\\) or the Theorem of Kruskal. In the system \\((\\Pi^ 1_ 2-\\text{BI})\\), which results from \\((\\Pi^ 1_ 2- \\text{BI})_ 0\\) by adding the schema of induction for formulas of second order arithmetic, \\(\\text{WF}(\\vartheta\\Omega^ \\omega)\\) is provable, but this system is even stronger, because its ordinal is \\(\\vartheta\\Omega^{\\varepsilon_ 0}\\). The uniform reflexion principle for \\((\\Pi^ 1_ 2-\\text{BI})_ 0\\), \\(\\text{RFN}_{\\Pi_ 1^ 1}((\\Pi^ 1_ 2-\\text{BI})_ 0)\\), possesses the same strength as Kruskal's theorem. This means  \\[ \\forall n(\\text{Pr}_{(\\Pi_ 2^ 1- \\text{BI})_ 0}(\\text{gn}(\\varphi(\\bar n))\\Longrightarrow\\varphi(n)), \\]  where \\(\\varphi\\) is a \\(\\Pi^ 1_ 1\\)-formula with at most one free variable, \\(\\text{Pr}_{(\\Pi_ 2^ 1-\\text{BI})_ 0}\\) is the \\(\\Sigma^ 0_ 1\\)-provability predicate which expresses provability in \\((\\Pi^ 1_ 2-\\text{BI})_ 0\\), \\(\\bar n\\) is the formal term corresponding to the natural number \\(n\\), and \\(\\text{gn}(\\varphi)\\) is the G\u00f6del number of \\(\\varphi\\).   The stated results are proved more or less in detail. The denotation systems of ordials used are comprehensively described. For determining the proof-theoretic ordinals, the proven method is applied to embedding the system to be investigated into a semi-formal system with \\(\\Omega\\)- rule whose ordinal can be calculated by well-known means. This procedure also allows the determination of proof-theoretic ordinals for \\(\\text{ACA}_ 0+\\Pi^ 1_ n-\\text{BI}\\) with \\(n>2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$6C550821-1E50-4713-9238-044A1DA14A43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$6AAE76C6-0DF4-436D-A1C9-905D079575AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$1A662A51-FD8B-40DA-BE56-6CADD6AAA9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$5E8D3812-2D61-4EFA-8EF9-3116D96BF01B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"055286bab9427cb62b7912f18fbd54902ba9d580","datavalue":{"value":"169663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$34AADCE1-FC2D-434F-A5B8-F59A4FAFBC29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$DEDE160C-231F-4BE7-920F-9C4099397CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1977d0a5b7b49ae7dd84fafadd17e00608a2ea8f","datavalue":{"value":"Reverse Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$3441ECA5-195A-441B-B08C-149B0E71390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f073fd7f262a0ff46fdf249f98670b48d31897","datavalue":{"value":"Kruskal's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$9D055035-C612-48E3-BEE1-234228C60608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35770bdb04972a3d4963b7d723241b4f0d44f406","datavalue":{"value":"finite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$94026C89-22C9-4315-AE82-F2E6173EE084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$96BE720B-8D14-49AC-B3E1-C68877BB8E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134c05a5074e79203aa4274a5666221d6d469de9","datavalue":{"value":"predicative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$DFFA030B-BA5E-40B4-ACDD-F34676E52C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837fc5bf62023271ee428d3915134847c33c3eee","datavalue":{"value":"proof-theoretical strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$6BCEB2D1-D51D-4092-9FCA-A41AA7F86110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67abe3421f0736989d451bb5e13fa58300dd62f8","datavalue":{"value":"Ackermann ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210137$45A0614B-2850-403B-AD5C-3D8C90533384","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"262c903f8c2c86e3087da0e13f9d443bc5b3f1ca","datavalue":{"value":"Q56687925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210137$1C18CD0C-491A-4E14-ACEE-16671BAF1FEC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0580dd4129e5d6439921b513d45494c072f33534","datavalue":{"value":{"entity-type":"item","numeric-id":1288968,"id":"Q1288968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$9FCFE799-E58D-446D-BE47-E2DCADBEA9F2","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":"Q1210137$4156C547-B2C1-42A9-9769-4AFEBF254DD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$BFA78C0D-FCFF-4289-AD76-C07ADC34C986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fde8a68f7ac705939927db78446d9cd7abd767","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$0DC56DC8-3CAB-4620-AC24-307E705B3DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$1642E753-6575-4129-8D16-C7CD2401A094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c77c60d68cc52109546a156001550d5e30ecba6","datavalue":{"value":{"entity-type":"item","numeric-id":3138834,"id":"Q3138834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$078EB144-73C6-4824-8C51-C233AB248AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$79164FC5-23BF-4F2D-8E64-81BAC5DB34DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c7bbd8aeb065572be5518f5b89cf1cd49c3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210137$DD395ADE-93B3-48A7-8A0B-20A198999647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13258cb0acbc8618b75d1dec04e2a5c9f9caca71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc09016b02b8b7264af54c73b84c3c8c954265a5","datavalue":{"value":{"amount":"+0.9382148","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":"Q1210137$AEDBFEDF-140C-4F3F-83F9-B5EE010B47B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce531ff0b371662eecd83f10202391fd38261fa5","datavalue":{"value":{"entity-type":"item","numeric-id":635637,"id":"Q635637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cb4b1dc6bb546ec7bf4e788266c82506f1dab6","datavalue":{"value":{"amount":"+0.8968563","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":"Q1210137$D3BDE57D-062E-419D-8428-04CD9951BC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7feb936224894591316aabb4ca25546b3f73efd7","datavalue":{"value":{"entity-type":"item","numeric-id":5203029,"id":"Q5203029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d532081555086ff3982a902e65a4bb5bb15196","datavalue":{"value":{"amount":"+0.893674","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":"Q1210137$7E10345A-15BB-444D-91F9-5590BCD555FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e45418e199f43b982f5888197d4a5d143967b3","datavalue":{"value":{"entity-type":"item","numeric-id":3824427,"id":"Q3824427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfccd1e8eabc093390e2c22bcaff0b1909d650f1","datavalue":{"value":{"amount":"+0.89320105","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":"Q1210137$B235CD6E-6268-4B43-998B-4819CF99B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3e617b5d38f65946afada6f2a73ffdb84d0193","datavalue":{"value":{"entity-type":"item","numeric-id":1073037,"id":"Q1073037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf64d9d37df9ff66acba20b5313937060979c35","datavalue":{"value":{"amount":"+0.88986194","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":"Q1210137$35CA5B32-3897-4030-8F2B-9BF86F430C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce6d7f65601badf71a13d8218c90dfa8389e94e","datavalue":{"value":{"entity-type":"item","numeric-id":2849896,"id":"Q2849896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8cc35b53d3acd5c718b07463e5c5d04ac74fdb","datavalue":{"value":{"amount":"+0.88974047","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":"Q1210137$9091EF41-0992-46CD-BD85-EE7AEAAE41CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb4a9fc99350f8c22f93132661b97ec25a6fcd4","datavalue":{"value":{"entity-type":"item","numeric-id":2279387,"id":"Q2279387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3329a0b1c0bed6d2d0b272ba42f8a52251f9e5","datavalue":{"value":{"amount":"+0.8858317","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":"Q1210137$6059BD4A-49D9-43E2-93AF-FF62D3A076D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a7afbbab0dfab4d868d8cb80e92bfda0ab42ee","datavalue":{"value":{"entity-type":"item","numeric-id":4092021,"id":"Q4092021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc59991cbb98f8584993141f1ea866804bb01ac","datavalue":{"value":{"amount":"+0.88368475","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":"Q1210137$853BCDD2-4914-4131-94F4-BCEC7605DA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdf1a80889bb3dddfd33ec3946c949f98362382","datavalue":{"value":{"entity-type":"item","numeric-id":2762818,"id":"Q2762818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fe3848ad589674f1067fde34478dd55516ae1a","datavalue":{"value":{"amount":"+0.88340986","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":"Q1210137$7E4E6D82-5814-4AEB-AD73-9E632A206AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822fd3c194283aec320eab83f9b28c8d39ae917b","datavalue":{"value":{"entity-type":"item","numeric-id":5037515,"id":"Q5037515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfeaf2ac6061a505ad299949c0463ce4d8365b40","datavalue":{"value":{"amount":"+0.8831391","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":"Q1210137$2A10E5FB-773F-4D67-8877-D19C25444AD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic investigations on Kruskal's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_investigations_on_Kruskal%27s_theorem"}}}}}