{"entities":{"Q688433":{"pageid":690282,"ns":120,"title":"Item:Q688433","lastrevid":63494103,"modified":"2026-04-11T13:32:57Z","type":"item","id":"Q688433","labels":{"en":{"language":"en","value":"Subsystems of true arithmetic and hierarchies of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444824"}},"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":"Q688433$7953BE98-F4EE-40B6-B6D5-EA43DAEF2C6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c02e2923c17ccfbefd0bce64030112fa3152bd28","datavalue":{"value":{"text":"Subsystems of true arithmetic and hierarchies of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688433$BF3E57C7-66FD-41EE-A877-9300EB7212E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95952ac9ca93539ce8fc000b39599aad779121fe","datavalue":{"value":"0802.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688433$6D1E7B29-8D13-415D-AFE3-5E603C03A650","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf8bb0b8768e0eb959d74a07e0de4ffed4e23a1c","datavalue":{"value":"10.1016/0168-0072(93)90031-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688433$DDF7EDF3-E309-4F4A-A634-072E8280C96B","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":"Q688433$68FDEB64-6526-4C66-A4DB-CA11EB927922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688433$177DC10C-0E9E-452F-8E8E-0AA435FE9ACE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"160279e79b70d73211d404e3dbd78575d48a8555","datavalue":{"value":"The author generalizes, from Peano Arithmetic (PA) to systems with transfinite induction \\(( \\text{TI}(\\alpha))\\), results of Paris-Harrington on the independence of the finite Ramsey theorem (PH) and those of Wainer on the provably total recursive functions in connection with the Hardy hierarchy. [Cf. \\textit{J. Paris} and \\textit{L. Harrington}, Handbook of mathematical logic, 1133-1142 (1977; Zbl 0443.03001) and \\textit{W. Buchholz} and \\textit{S. Wainer}, Contemp. Math. 65, 179-198 (1987; Zbl 0635.03056), respectively.] He puts a combinatorial concept, skeleton, to the fore, and does without the usual proof-theoretic means like cut- elimination. Starting from PH, Paris and Harrington constructed a large finite set, \\(A\\), that is scattered (i.e. \\(a,b\\in A\\), \\(a<b\\) then \\(a^ 2<b\\)) and gives indiscernible bounds to the quantifiers of formulas of interest, on the way to finding an appropriate initial segment of a model. Such a set \\(A\\) is the proto-type of a skeleton. In the first half of the paper, the author expands and elaborates this notion, particularly in relation to the transfinite situation, and also presents combinatorial reflexion principles, CR (the existence of skeletons that are arbitrarily large and as scattered as desired). This principle is compared to Kreisel-Levy's reflexion principle [cf. \\textit{G. Kreisel} and \\textit{A. L\u00e9vy}, Z. Math. Logik Grundlagen Math. 14, 97-142 (1968; Zbl 0167.013)], and a new proof is given of their result about the equal power of \\(TI(\\varepsilon_ \\alpha)\\) and \\(R_ \\alpha( \\text{PA})\\), the reflexion principle iterated \\(\\alpha\\) times. The \\(\\alpha\\)-th iterate of PH is shown to be equivalent to \\(R( \\text{TI}(< \\varepsilon_ \\alpha)\\), \\(\\Sigma_ 1)\\), and is compared to a similar sentence constructed by \\textit{K. McAloon} [Recursion theory, Proc. Symp. Pure Math. 42, 447-460 (1985; Zbl 0589.03028)]. Wainer's theorem is generalized to: If \\(\\text{TI} (\\varepsilon_ \\alpha) \\vdash\\)``\\(f\\) is total'', then \\(f\\) is majorized by a Hardy function \\(H_ \\beta\\), with \\(\\beta< \\varepsilon_{\\alpha+1}\\). In the last chapter, the author considers the system that has the satisfaction predicate \\(S\\) for PA. Its increase of power is exhibited by the facts that \\(\\text{TI} (\\varepsilon_ \\alpha) \\restriction \\Pi_ 2\\) with \\(S\\) is equivalent to a system that has axioms \\(\\forall x \\exists y H_ \\beta (x) =y\\) for \\(\\beta< \\varepsilon_{\\varepsilon_{\\alpha+1}}\\); while the equivalent system to \\(\\text{TI} (\\varepsilon_ \\alpha) \\restriction \\Pi_ 2\\) without \\(S\\) needs axioms only up to \\(\\varepsilon_{\\alpha+1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q688433$13145066-EC5A-469C-85B7-12A29C3ECC31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688433$DB4E105E-2304-469A-B60B-455EEE545B87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ccae2ad23bb738d1a6aaa5b8dd05c31d2935e8","datavalue":{"value":"444824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688433$D7EB4C84-7D16-45C5-8278-40BE4DFE5742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q688433$611DBB4E-E3D5-415F-A095-3A83798A732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914b0c1d26c3bc40cb8a984dc6027cf621b43dda","datavalue":{"value":"provably total recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q688433$07341EE3-B2F7-4166-826C-3248AF099D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba60e0c3545a5fca9336f00d3944b0b7357a69fa","datavalue":{"value":"Hardy hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q688433$9E4473A2-5875-42C1-B704-53E76B3F55A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d2d5af916677cda6e00167d8e60bf3faac75db","datavalue":{"value":"skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q688433$257283A3-1282-419D-A001-0020DA9D3CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabed7ad5f3e48b0220b40b60788c9db5ed9ff27","datavalue":{"value":"combinatorial reflexion principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q688433$D37A0349-8B1D-4C4B-B285-2ADB56F3FF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c00694a7a8d538e2aacf4f02eb8bcfeae5fe60","datavalue":{"value":{"entity-type":"item","numeric-id":920080,"id":"Q920080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$73C208EE-880B-4DE6-AF98-AD50393D3BF9","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":"Q688433$B020AAC4-290D-4AF8-A83D-B2630F1C933C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44be52f71cb0ea6db98a598fe61a8be572338da0","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90031-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q688433$0CDA6C02-03AA-4A32-88EB-FE79771D0057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d10868158eec8f812d49551084a599764c51e6e8","datavalue":{"value":"W1966414208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688433$941EACF9-E88D-4A9B-BE7E-04ADBF04A5BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82e7847ff96a0338f74a51d7f0ad391ef414355","datavalue":{"value":{"entity-type":"item","numeric-id":5848994,"id":"Q5848994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$2BD52AF0-E5AA-491A-80DD-EDA87362DDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$74005467-DB4E-46F4-B01E-B004C662A27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$5E845123-5343-4510-A28A-E7E316E0895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$D1EC6E8A-23F4-4549-90C4-F3A9750B6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f910cf9afe79ee57cf24ea805ed50f78ba6da7","datavalue":{"value":{"entity-type":"item","numeric-id":5544287,"id":"Q5544287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$D1F9D1C9-E09B-44D0-A44F-63310A1EBB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$3E7050C8-D948-46E1-9F24-0EBD21D12282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$E26C6DB2-5369-4F77-956A-AE6191931535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f09e58d4f789e937d7fdef8aac599ff07e9cac","datavalue":{"value":{"entity-type":"item","numeric-id":5629622,"id":"Q5629622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$DEB15109-5DD8-4EA3-99FD-0656D176C43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881604e64fafe5c870e7bacf59149bf554d04387","datavalue":{"value":{"entity-type":"item","numeric-id":3788005,"id":"Q3788005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$FD408E67-D397-41D0-A098-FB34F9DBA9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e85a3e12be6bf3b070103085c7ee3eb057acc6","datavalue":{"value":{"entity-type":"item","numeric-id":920081,"id":"Q920081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$A62A350C-D81D-4AA1-85C0-596AFED4ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf9862f684d11ccf300053c80fcea2f204b6e79","datavalue":{"value":{"entity-type":"item","numeric-id":3211295,"id":"Q3211295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$069AA6A0-6B2F-429B-9B32-C91B969EC601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$BCE7C50A-2989-488B-9D54-27C34B83A383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$43D109C9-0FDC-4BB4-9521-384538A3E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$37DE1EBB-C56A-4B5B-861D-FAE4CE7189AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02baa669dae63332f46f3fdeff95737f29d02e43","datavalue":{"value":{"entity-type":"item","numeric-id":4105666,"id":"Q4105666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$DA3B6029-EC7C-459E-ABEA-8190B84FDAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9392a1cd77f5d3c60335d73018a81189f38d5e9","datavalue":{"value":{"entity-type":"item","numeric-id":3343982,"id":"Q3343982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$AD943F2A-BA44-4BB7-A4A3-5AFD45360D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640583a9a08f540da2d2286fb3721e3efd3596e8","datavalue":{"value":{"entity-type":"item","numeric-id":5626637,"id":"Q5626637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$92C0E180-0741-427B-9DB3-4B2ACF3771E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d5db4dd99833d3831c23c4ef3d66f48a1fd3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3717036,"id":"Q3717036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$EA83940F-A5EA-4825-B91E-C09EF80A7161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522e091dfd04ebae82bbbaca858e370e37abe7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$2913BDF5-2789-43AD-ACBF-968EEC818865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d756a2dbfc42ad957c96a9182383cf86faa5a35","datavalue":{"value":{"entity-type":"item","numeric-id":3893931,"id":"Q3893931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$0978B517-164E-43F9-A993-3DE1D2A24626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b284dcfc17a4f7e2f90689222875162776ef4fda","datavalue":{"value":{"entity-type":"item","numeric-id":3671966,"id":"Q3671966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$6D44A34F-0C99-45B9-9B5E-E4F65F563F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9294d4b9234b5c574e906c65635678efa2d0570","datavalue":{"value":{"entity-type":"item","numeric-id":3808091,"id":"Q3808091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$53BFA4F5-6C34-4F16-BC35-A542712F9D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1e7e625ee0427acf324ec9706564f65d40725c","datavalue":{"value":{"entity-type":"item","numeric-id":4314785,"id":"Q4314785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$6338CED6-7A2B-4A0B-9280-989FB5877180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$AC803AD5-38B9-4655-A53D-8EB94D640D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def144a6c01a2c5f09f7a663c86480a856bf8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3866106,"id":"Q3866106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$2E946D79-874D-4367-9427-6ABC738BF515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0e0b2a158d81c3c802d9b9bb91e68548cb7441","datavalue":{"value":{"entity-type":"item","numeric-id":4133629,"id":"Q4133629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$3CB0D780-24C6-42E3-8341-026287A9C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f77bc76e41bf508dbe87cb535a7f3e17ca2aed5","datavalue":{"value":{"entity-type":"item","numeric-id":4141229,"id":"Q4141229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$7AEAB037-F65B-439C-BE23-B877FACDDA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$7D95C211-D55D-4B22-91D4-E4D72D21E3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356bbc8d0ebb4f5fda517f9c0b898acaddccec63","datavalue":{"value":{"entity-type":"item","numeric-id":5676207,"id":"Q5676207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688433$76D39FE0-462A-4CEE-B04E-0B947D9FEEE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643440bd0abd23331b5883d368ef8494b6725ff7","datavalue":{"value":{"amount":"+0.7956981","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":"Q688433$9BF3BF5A-8F8D-423B-8CA7-D140156C9B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3953f28e1006c34dae76276ae3361f04a42fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935cb04da9ee7c2004799684bba27424bc9cacae","datavalue":{"value":{"amount":"+0.78008354","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":"Q688433$B22B80E3-6F03-47C9-86D0-7872FF143AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593743ae0c8060a98554f87fc7d4aab5f82e50fa","datavalue":{"value":{"entity-type":"item","numeric-id":4314785,"id":"Q4314785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96140cd840930faea64fd3d4487c8231035a97b","datavalue":{"value":{"amount":"+0.77984065","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":"Q688433$307C7B97-F9C1-4885-94A4-76060E3AE723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2cef6d1601cf78d99eb49b1064d8dd73dcb8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1082336,"id":"Q1082336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c5fec94f4e4e2f5eeb483044517223a7ef145b","datavalue":{"value":{"amount":"+0.77317965","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":"Q688433$0461F607-6CE8-41E2-91AC-D9C3AF16BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312d4e1389c3e09e85597897ab5ca5163858323","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099302b131d903ff7107f1affbfbb39daddb1e74","datavalue":{"value":{"amount":"+0.76503205","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":"Q688433$A8D125BB-8F6D-483E-AAA9-011F6229B016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f30f1688f50849c140245769084df1101518d7","datavalue":{"value":{"entity-type":"item","numeric-id":3527612,"id":"Q3527612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0defed0cdd2ccf6c620fe3d0571f590657683f39","datavalue":{"value":{"amount":"+0.7606326","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":"Q688433$0519D639-9AAF-4208-A4EB-4BDD6DA9BFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ed847b283d80f381dc93ab5b53405bb1d2a842","datavalue":{"value":{"amount":"+0.75680876","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":"Q688433$92D91BDB-A88A-4B50-9D3F-EFC942FE6745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ccfa97565e77fa7340392076c24690e36e2ccdd","datavalue":{"value":{"entity-type":"item","numeric-id":5462992,"id":"Q5462992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebed3b07b1967a243fe548b67a901e035fe5343","datavalue":{"value":{"amount":"+0.750306","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":"Q688433$045F425A-AE11-4632-9BFA-31940254E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff2f0c8a838f1b25e08abb31677491c76c987d8","datavalue":{"value":{"entity-type":"item","numeric-id":1262308,"id":"Q1262308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0122edcf4b86a6c4b918505fa19736d509793b92","datavalue":{"value":{"amount":"+0.74685216","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":"Q688433$73F0B659-42D0-48D8-86BF-C2F1C3B4EA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67ea9e2006ef64efa1238ce704033c6774ccac9","datavalue":{"value":{"entity-type":"item","numeric-id":5904006,"id":"Q5904006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df67ed63e81f3f660d1011980c61ef131b39033","datavalue":{"value":{"amount":"+0.7449732","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":"Q688433$2B50B5C1-CF11-4756-8EEB-6509830F7DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsystems of true arithmetic and hierarchies of functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subsystems_of_true_arithmetic_and_hierarchies_of_functions"}}}}}