{"entities":{"Q1322453":{"pageid":1333203,"ns":120,"title":"Item:Q1322453","lastrevid":68461179,"modified":"2026-04-12T23:51:57Z","type":"item","id":"Q1322453","labels":{"en":{"language":"en","value":"Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563062"}},"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":"Q1322453$753052C3-4F38-4C8D-B07B-E806EE316BA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"252ade0bd77acd84c3992c0757904372a44f0038","datavalue":{"value":{"text":"Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322453$74EAE328-9E1F-4BF7-B5BC-250D202AA65A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28953e59a5d3be9e09b9210df58544ee509ce62b","datavalue":{"value":"0805.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322453$1F03697B-1293-43E3-92C0-0221815EE6C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25b54682733b6955f6ec4ed06746144a9347a960","datavalue":{"value":"10.1007/BF01275469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322453$6CD66BB3-52CB-48E3-B204-12F4C91972B7","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":"Q1322453$BB9966A6-E2A8-4DDE-A3AD-DED6264DF5C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$CD68454D-ED8B-4FC5-AA68-9EA45187A570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c31523514d3fb0de268ffa98d84be5ba2f8c838","datavalue":{"value":{"time":"+1995-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322453$92BDBF90-2149-4DC1-9FE3-585F0F57329F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"badeb8420521b6898cffe8a0891bc1c0090eed79","datavalue":{"value":"This paper continues the proof-theoretical investigation of KPM started in an earlier paper of the author [ibid. 30, No. 5/6, 377-403 (1991; Zbl 0727.03036)], stating that \\(|\\text{KPM}|\\leq\\psi(\\chi 00)(\\psi(\\chi\\varepsilon_{M+1}0)0)\\). In order to determine a lower bound of \\(|\\text{KPM}|\\), a previously developed ordinal denotation system TM [the author, ibid. 29, No. 4, 249-263 (1990; Zbl 0709.03042)] is transferred into KPM. This shows how to replace large cardinals by their recursive counterparts in the development of denotation systems.   The most delicate part of this project is to establish the collapsing property of certain functions which could be done in the original system just by cardinality arguments now not available.   In a very detailed exposition the author shows how to use in KPM the properties of admissible ordinals and recursive Mahlo cardinals to overcome this restriction. By embedding proper subsystems TMM of TM into \\(\\widetilde C_{\\widetilde Z(0)}(\\widetilde Z(\\widetilde M(m)))\\) (with respect to KPM) he works out that for any initial segment of \\(\\psi(\\chi 00)(\\psi(\\chi\\varepsilon_{M+1}0)0)\\) the well-ordering of \\(\\langle\\text{TMM},\\leq\\rangle\\) can be derived in KPM. Therefore it follows that \\(|\\text{KPM}|\\geq \\psi(\\chi 00)(\\psi(\\chi\\varepsilon_{M+1}0)0)\\), and the proof-theoretical ordinal of KPM is completely determined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$1107D751-357F-465B-B32B-1A8D23224A3F","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":"Q1322453$E74C0E65-B324-428A-90F3-D919CB55B96A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322453$DE486C99-029A-41BC-AF47-BF58C5C9CA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322453$4DADC8DC-800E-4641-A06B-5617A2E968F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2453c881e513f22437c71437b82a299cc04798a8","datavalue":{"value":"563062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322453$7F89E11A-385B-49FF-BBF8-A0164C346A2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$BBFA0EF7-D154-456C-8AA0-FC56F0F848D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ff99c9cf9f3935a8a245e48e68f35922204ad7","datavalue":{"value":"Mahlo ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$BC3EFBC3-68B2-4CFC-8EB4-15C4031D4616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e717da2f40b390f484a5c77077d2b900203ea82","datavalue":{"value":"ordinal denotation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$93D9DCD1-68B6-48CF-92C3-AAA0297F9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9edfa204f6c0254e1c7d4cb7139d591a2ba0eec","datavalue":{"value":"admissible ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$18A8E2E5-F143-4FC4-980B-BB53B2A943EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce099c88dcb03406e52e29e6b54c7a37495a9322","datavalue":{"value":"recursive Mahlo cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$1B28853B-90C0-41A3-8530-321AC7C0C183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"444700fc8178825c3a0820090a6d5f63820a1d11","datavalue":{"value":"proof-theoretical ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322453$6920DCAA-4966-4FD2-84D1-38600E85E4FE","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":"Q1322453$0F9FE72E-1090-414F-B500-DAC8203D7576","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$EAEAE898-7767-494C-A8B2-9AD130A353D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$4DCC9554-3C7C-4F16-8A23-5922D3726EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c482b602f05488701d197a989abad413a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138829,"id":"Q3138829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$740BF2EA-C4D7-4FB3-9B45-C56200EFD559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fc2e7459eaf322f6bdf4106f28738c73144017","datavalue":{"value":{"entity-type":"item","numeric-id":4198748,"id":"Q4198748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$86890F56-8623-45D0-9A10-748A16262A25","rank":"normal"},{"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":"Q1322453$571CBC11-01B7-4E79-82A1-024613EE54B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c51450d884b7db77c14a0ec5b7db228e4f4a3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3335775,"id":"Q3335775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$5BAC4C14-672E-47DE-975D-FA40936776AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126491e29fe2243aa651c260dc3c8aa88f5c48d3","datavalue":{"value":{"entity-type":"item","numeric-id":1109768,"id":"Q1109768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$886F3C84-CFD8-4146-8182-5286F71A5A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b1bb354afd2b79f7ab5c3406b5230d6055702b","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$B14327C1-B894-4F60-A19D-4317B98AB66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8ff59a19c433a03526d2993fc18dbdfceed2bd","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$B9947DA7-DC0C-4F44-8F1F-BCFEE02A5ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$5C59D54F-68EE-4F41-ADFB-224C8E8B0140","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":"Q1322453$C0C1AEDE-A374-409D-BA3F-2D423A095CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a019f48c952acfae395126bfe7d30ae0e9f39f91","datavalue":{"value":{"entity-type":"item","numeric-id":4304798,"id":"Q4304798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$80B4D3A2-4B7B-4374-BE02-8E39796AD339","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":"Q1322453$7A0F29CE-697B-49A9-9639-8386A993940B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322453$369F88BC-D7C8-4C76-8423-E826E9BE0CDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c551c20ece18e2c0d9d505fb59ec739d5c02723","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25ee4530ad69750ef8f245dbe1cd5eafeb59de9","datavalue":{"value":{"amount":"+0.845495","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":"Q1322453$3926B582-F6E6-46F5-9889-54462D58212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c1f05387d305becbd6de9ac3e40ebdd21dfa5a","datavalue":{"value":{"entity-type":"item","numeric-id":1300010,"id":"Q1300010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3624288db16c5d21fe7f86a14ddcba0072f3a670","datavalue":{"value":{"amount":"+0.76984394","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":"Q1322453$D1646CE1-7149-4897-83A4-6B8390354086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbe010b804df7cb6804c79e100d84689cde3255","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055bb72eddb910554ef90e71f286a3ab1e1cbb20","datavalue":{"value":{"amount":"+0.74534315","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":"Q1322453$235620C8-07A2-44BC-8278-171B2C1DF683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111e52cb15737ff67324b7e5b35cae02389bfaaa","datavalue":{"value":{"entity-type":"item","numeric-id":4663832,"id":"Q4663832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952213ced6639bf15d3e59f866365a5f72ae4378","datavalue":{"value":{"amount":"+0.74183404","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":"Q1322453$B7A74570-A2B5-4F56-923A-81A8169E6752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746ca29651d3296f07d72fc05473293e40683f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2700827,"id":"Q2700827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7257dd3263d88593fa5940f3f34ce5886fcb786","datavalue":{"value":{"amount":"+0.7315956","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":"Q1322453$CFCB836F-A95A-437D-A08D-37B53C0E56D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d5d85e8a86e494044875dc0fcd2d948a95c99e","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09ebe3cd555a1c9c9e9cfd9c06c6d5b617fac93","datavalue":{"value":{"amount":"+0.7276159","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":"Q1322453$C49F92AD-60CC-4ED8-ACA9-D33228193C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd3dfe3fafc2d2335123cd01ef774c0c02ba28","datavalue":{"value":{"entity-type":"item","numeric-id":2388437,"id":"Q2388437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7299f13b7e8c517cfcd1086958a1a965e1217b","datavalue":{"value":{"amount":"+0.7158059","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":"Q1322453$659546E2-A13A-424D-980C-3034862A8631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6565e5f209a218b3fa41ed56ab5bb7691a8af717","datavalue":{"value":{"entity-type":"item","numeric-id":4882047,"id":"Q4882047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee3223d19f34a7371634541854d701636cfc1e1","datavalue":{"value":{"amount":"+0.7134946","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":"Q1322453$E79C7C1C-22AB-4101-82C4-8E616B2888D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98da64ae5d41b6c2262194118967acf05e9ef8a5","datavalue":{"value":{"entity-type":"item","numeric-id":4879900,"id":"Q4879900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae54f1189408fcdf9cf425c4444158b8b4b50da","datavalue":{"value":{"amount":"+0.7094335","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":"Q1322453$30C57122-0792-4154-A6F4-CCD3F5235A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81976765349e7230ab169de2707b7e9579b439e","datavalue":{"value":{"entity-type":"item","numeric-id":3335775,"id":"Q3335775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469f006453a8805c2b9b3754fb01e9e69b7510d1","datavalue":{"value":{"amount":"+0.6922843","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":"Q1322453$09F60404-D402-415A-9985-D02AA2587683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Collapsing_functions_based_on_recursively_large_ordinals:_A_well-ordering_proof_for_KPM"}}}}}