{"entities":{"Q1899141":{"pageid":1909883,"ns":120,"title":"Item:Q1899141","lastrevid":71108766,"modified":"2026-04-13T19:32:14Z","type":"item","id":"Q1899141","labels":{"en":{"language":"en","value":"Iterated local reflection versus iterated consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802545"}},"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":"Q1899141$619E92DB-31C4-49A2-BD87-4E978BEEC912","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a628d0a439613499014803f06ff01e3fb00e02ab","datavalue":{"value":{"text":"Iterated local reflection versus iterated consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899141$9C6CCAA3-875C-4B86-A895-449DEEF5B3D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dae2fd15e7475e1156adc239424a83bfc705e8ce","datavalue":{"value":"0848.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899141$39A99727-3E04-42BD-8255-C9E33F3BB36F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd7f60c29e2b1a143f48afadc8a7ca6f404eae9","datavalue":{"value":"10.1016/0168-0072(95)00007-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899141$B25C1A3D-108E-4D8C-9D35-AEFEC4A472A2","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":"Q1899141$951D9C48-8F93-49E9-9086-E3F0BBBFB2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-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":"Q1899141$500F887E-065D-475D-8CBA-EC5F6A418C17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6229245412df475eb822eaf71a2ecb6d9b48f51f","datavalue":{"value":"If you add the sentence `\\(T\\) is consistent' to a theory \\(T\\) (large enough), you get a theory \\(T'\\) larger than \\(T\\). Repeating this transfinitely often you produce a transfinite progression \\((T_\\alpha)\\), basing on iteration of consistency. If \\(\\alpha\\) is chosen from a recursive notation system, this progression is called recursive. If the same procedure is performed using the so-called local reflection principle instead of consistency, another progression \\((T^\\alpha)\\) is gained. In this case every step consists of adding the formulas \\(\\text{Pr}_T (\\ulcorner A \\urcorner) \\to A\\) as axioms to \\(T\\) for every sentence \\(A\\) of the language of \\(T\\), \\(\\text{Pr}_T\\) being the provability predicate for \\(T\\). Starting from \\textit{A. Turing}'s fundamental work [Proc. Lond. Math. Soc., II. Ser. 45, 161-228 (1939; Zbl 0021.09704)], \\textit{S. Feferman} considered such progressions in J. Symb. Log. 27, 259-316 (1963; Zbl 0117.25402). Already Turing stated and Feferman pointed out precisely that the ordinals used cannot be taken from an arbitrary stock. The progressions depend on the chosen recursive description of the underlying well-ordering. Moreover the numeration of the axioms of the theories affects the progression. Connections between the different kinds of iterations can be found in papers of \\textit{G. Kreisel} and \\textit{A. L\u00e9vy} [Z. Math. Logik Grundlagen Math. 14, 97-142 (1968; Zbl 0167.01302)], \\textit{S. N. Artemov} [Vopr. Kibern., Mosk. 75, 3-22 (1982; Zbl 0499.03046)], and \\textit{S. V. Goryachev} [Mat. Zametki 40, No. 5, 561-571 (1986; Zbl 0632.03044)].   In the present paper the following precise relations are proven to hold under certain conditions:  \\[ (T^\\alpha)_\\beta \\equiv_{\\Pi^0_1} T_{\\omega^\\alpha (1 + \\beta)}, \\quad (T^\\beta)_\\alpha \\equiv_{\\Pi^0_1} T_{\\beta + \\omega^\\alpha} \\tag{*} \\]  where \\(\\equiv_{\\Pi^0_1}\\) means that in both theories the same \\(\\Pi^0_1\\)-formulas are provable. To express the restrictions on (*), the author defines the concepts of a smooth numeration (of axioms) and of nice well-orderings. This is the real proof-theoretical importance of the paper. In smooth numerations the axioms added to \\(T\\) succeed the axioms of \\(T\\) provably in PRA. In nice well-orderings the usual functions for ordinals, \\(+, \\cdot\\), and \\(\\omega^x\\), are represented by primitive recursive terms and it can be proven in PRA that they possess the usual properties. The proof of (*) for such numerations and well-orderings is rather straightforward by nested transfinite induction. It is remarkable that for the proof of the induction basis for one part of (*), following Goryachev [loc. cit.], a valid formula of propositional modal logic is interpreted as a statement of provability in \\(T\\). This procedure can be formalized in PRA. A corollary of (*) is the following: If \\((T^\\alpha)\\) and \\((T_\\alpha)\\) are based on a nice well-ordering and on a smooth numeration, then, for \\(\\alpha > 0\\), \\(T^\\alpha \\equiv_{\\Pi^0_1} T_{\\omega^\\alpha}\\), and thus, just for \\(\\varepsilon\\)-numbers \\(\\alpha\\), \\(T^\\alpha \\equiv_{\\Pi^0_1} T_\\alpha\\). As appendix a theory of nice well-orderings is specified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$FC38350A-48A7-480C-A756-9F567E32F6AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899141$C79DD491-829A-4762-9D09-3F54340665AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899141$F45A4BB1-94CC-49F0-A092-B284893A5715","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f3655f2ade8d5cb3a2e2e9b0a65c1161054c2ec","datavalue":{"value":"802545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899141$60ED6F32-E7B5-42FC-8DC5-8C2F5AD74292","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c77e8e6f01b5fa2ce7fbc990f8ba371e002c60","datavalue":{"value":"iterated reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$9C21B94A-CF13-42C8-8895-E58BD31C32B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"779f8805417eee0ce6c41f6bd949dee7ac4c3dd7","datavalue":{"value":"iterated consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$840B6C39-D378-4D9C-857A-CD0BF684EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d94a848d6d9a19127369bb06d6ecdfa9f98906","datavalue":{"value":"PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$9B6F804F-AF0B-4522-99AD-ED92172364C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa0d2606f66799a47b78acb2882a588e88b808a","datavalue":{"value":"transfinite progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$49BAE672-38CA-4692-B918-44A75ECD0A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$FE844FBF-03D6-4714-8DAD-79004B782CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43107e02f6b4fbb7602f32e0866da0440f19ad1","datavalue":{"value":"nice well-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$F338B4AD-3339-49DC-8C84-128E2D74D679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c86ea1d209c23ec0f551e7c950c99575b956033","datavalue":{"value":"smooth numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899141$8F5C8045-E943-4D1E-8090-483D9DBD8356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$E50BAE58-4AA0-4C1E-9CF1-7C4743204817","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":"Q1899141$F8789071-DD94-4F82-8FCC-0296BE143583","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":"Q1899141$CAC35087-E17E-4804-BC61-8AA450AF538F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44ae488b772a162abb222c3372175f22b8b55f7a","datavalue":{"value":"https://doi.org/10.1016/0168-0072(95)00007-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899141$E29879D3-37BC-43CF-A99B-41B9AE7FB8D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59d0c129648024f6d8abd83d6b4bbfd7b2eb6e55","datavalue":{"value":"W1974965205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899141$2CB637D4-21C3-403B-9782-AF8ED23B7623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d83d731757bd94fa88d788ce6b3f133b8f1f71","datavalue":{"value":{"entity-type":"item","numeric-id":3218104,"id":"Q3218104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$625CF9C5-3161-4B8C-9DEE-6E8E5D6C3F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45827b8b9bebe801f9b7917057e85dbcd9c2c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3964565,"id":"Q3964565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$0CCF797C-E2E5-43D5-9B4D-055D50599EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a809803e18561d5ce2af1fe749a337f10f2dfdd5","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$C37AFBAE-4621-40AA-BD4F-8A667B329E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3ad4bbff8e140149c73f6e10164e1934ee6283","datavalue":{"value":{"entity-type":"item","numeric-id":1332858,"id":"Q1332858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$7DAE451C-F5A3-4C93-BB5D-EE0BD842B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a3f11522020dc00710b13ae40761f28c8c1625","datavalue":{"value":{"entity-type":"item","numeric-id":4196402,"id":"Q4196402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$1A080B0E-D7E0-4E59-81FC-05D515092744","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":"Q1899141$E245F128-F1BA-47DF-A01E-6FBD523E2A54","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":"Q1899141$00E4AB86-902E-48D0-8646-9CDA9318841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$76F6CE56-F3F4-4D59-8018-A8C68A5C1322","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":"Q1899141$05EEDFBA-584D-4E41-A00C-7B6B8E42EC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67b5c2051350945fc4955af963afd96af7e4d38","datavalue":{"value":{"entity-type":"item","numeric-id":4749830,"id":"Q4749830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$9F9BAD43-E852-432C-8E57-8510973EB0B2","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":"Q1899141$B334EC47-6CFA-4E9E-A96D-547DAF3F981D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$116CDB8F-3730-4B44-9016-E57D3BE13C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def837c475393517b0978674d7884da66c2842cb","datavalue":{"value":{"entity-type":"item","numeric-id":3140643,"id":"Q3140643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$53C5A715-A3F6-4CFB-852F-F3B16431C542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$189563AC-208D-4CD1-A785-EA814CED9229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95deacdc83850e4eea62168b54695c9a653ceea4","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899141$C5157C61-9777-416F-B492-44A48667EC66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47bc64d822cea8c553171dd258853e920957567","datavalue":{"value":{"entity-type":"item","numeric-id":4637223,"id":"Q4637223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea473214756221f183a8b621f19dbc44f188261f","datavalue":{"value":{"amount":"+0.7870433","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":"Q1899141$5282E197-5C01-4708-9847-40A6C966D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65952d90ef89d31e2f67cabfe177224bdceb06d6","datavalue":{"value":{"entity-type":"item","numeric-id":2120976,"id":"Q2120976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d22f1d4d8214f327a3d743790d77cc9505f50a","datavalue":{"value":{"amount":"+0.7779908","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":"Q1899141$F885DCE5-F05E-4FAD-A44D-F80560012681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f9d2eecf98020c87fe3a948c99211d707d4ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3173533,"id":"Q3173533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326f51eb2d1aa6c171a335353e69fa2149f48e96","datavalue":{"value":{"amount":"+0.77108705","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":"Q1899141$31F4ED94-0447-4528-A575-07C508BC2CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb37b909f6a7304f8d4680927355fbe38f92f84","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199ae60fe61efc7eac8088820a42663b17376301","datavalue":{"value":{"amount":"+0.77053785","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":"Q1899141$B317CCDB-B148-44F4-9A34-42D5558E81F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7154f3325514bba3684594faa8c4f4269f10a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01270d9faff16ca55563ae0725180949f8c54ef3","datavalue":{"value":{"amount":"+0.76274353","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":"Q1899141$FE19F1DF-AF1A-4593-83F6-DFCC26743F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5b6cdbe9ffe48c024d4bcaeda9441c4a3c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2176413,"id":"Q2176413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca4125526d8c258959fa9464f6c7d6ec9827953","datavalue":{"value":{"amount":"+0.7619528","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":"Q1899141$E7FCB046-8807-4E38-8D8E-55949C518D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85634a152828f5b387af46f85759fd1c0fc7b16","datavalue":{"value":{"entity-type":"item","numeric-id":4348126,"id":"Q4348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76d118d94b46dfa9da512ef9fcde1c1de72b668","datavalue":{"value":{"amount":"+0.7550325","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":"Q1899141$03E466F9-1FC2-4619-AE07-66DE766BC75C","rank":"normal"},{"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":"3f7d30a1308c6a04d4046f663c44d327db6f5f5f","datavalue":{"value":{"amount":"+0.75294876","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":"Q1899141$AC981AE5-FC23-4B8C-B5CF-15235575DB50","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":"48b723fa53b22621b5d6c6b7cf6a89c00f442a66","datavalue":{"value":{"amount":"+0.7502226","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":"Q1899141$2264EEC6-7530-4245-8619-7E2EDCACF080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7547eefe20a1ea800f8cdf8f2fd86bfeb3e625f0","datavalue":{"value":{"entity-type":"item","numeric-id":4736753,"id":"Q4736753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0709d138f1e1120309d0230bf98df5e051200e96","datavalue":{"value":{"amount":"+0.74373436","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":"Q1899141$D2F133FC-B46C-4EFB-876B-AE042FA34653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated local reflection versus iterated consistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_local_reflection_versus_iterated_consistency"}}}}}