{"entities":{"Q1332853":{"pageid":1343597,"ns":120,"title":"Item:Q1332853","lastrevid":70164585,"modified":"2026-04-13T12:52:15Z","type":"item","id":"Q1332853","labels":{"en":{"language":"en","value":"Proof theory of reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 633655"}},"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":"Q1332853$F0272415-0F6F-425B-BA88-300B81F7F46C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd472ec94ece5e66672b8f511eaa763f5668623","datavalue":{"value":{"text":"Proof theory of reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332853$2EAE19E4-895D-4D23-B98E-40C28B14DB28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fdfb160c40ff781bb8b07c5f5362f0ddeb34817","datavalue":{"value":"0813.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$F48CA945-389E-427D-B7B6-EC58D9B3B4A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"babb814767f97479da57283be1f1351257a58bec","datavalue":{"value":"10.1016/0168-0072(94)90074-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$3CDD307D-37F4-498A-9860-968E18320419","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":"Q1332853$B2AAC63F-2C26-4470-8978-1314577770B2","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":"Q1332853$F361D709-7AD5-4DBD-B1FB-DC3683BB1265","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"093fa04023e5f4c0c7c6ff4ef30755200a49a96c","datavalue":{"value":{"time":"+1995-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332853$3552556B-9682-41EE-A934-C5D11CA9020B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa91c649ad727d2f71eaf85db1ca25ad8f7d358f","datavalue":{"value":"This is a well-written paper. Its final product is the determination of the proof-theoretic ordinal of \\(\\text{KP}+ \\Pi_ 3\\)-Ref, i.e. Kripke- Platek set theory with \\(\\Pi_ 3\\)-reflection. To reach there, the author gives motivations, intuitions, backgrounds, future visions, etc., making the paper accessible and almost self-contained. First, he develops a powerful ordinal notation system, \\(T(K)\\), composed of \\(0\\), \\(K\\), \\(+\\), \\(\\varphi\\), \\(\\Omega\\), \\(\\Xi\\), \\(\\Psi\\), and the ordering \\(<\\). According to him, ``nude ordinal notation systems without any set-theoretic interpretation tend to be hard to grasp'', and so he reminds ``the reader some set-theoretical notions'', first. Indeed, \\(K\\) is a weakly compact cardinal, \\(\\varphi\\) is the Veblen function, etc. Then an infinitary proof system, \\(RS(K)\\), of ramified set theory is presented. Here, the subject of investigation is the initial segment, given by \\(T(K)\\), of the constructible set hierarchy. Since each set is named, infinitary rules here are counter-parts of the \\(\\omega\\)-rule in Peano arithmetic. Cut- elimination is achieved by means of \\(H\\)-controlled derivations, and then KP-set theory is embedded into \\(RS(K)\\), thus determining its ordinal. Of course, \\(\\Pi_ 3\\)-reflection is just a beginning: ``the idea is that \\(\\Pi^ 1_ 2\\)-comprehension can be fathomed by going through transfinite levels of reflection: and thus an ordinal analysis for it should be attainable via an, admittedly, considerable extension of the machinery laid out in this paper''. \\{Being given quite a few inches, one wants an ell: the author could have spent 2, 3 sentences in explaining the Veblen function \\(\\varphi\\), what its connection with \\(\\varepsilon\\)- numbers is, and what \\(\\alpha= _{\\text{NF}} \\varphi \\beta \\gamma\\) means. A few more words might not have been wasted on collapsing functions as well as on \\(H\\)-controlled derivations, perhaps. Apparently, proof-reading was done a bit hastily: among others, p. 190, footnote, read `for' for `f\u00fcr', peut-\u00eatre; p. 205, Lem. 8.3., `\\([\\neq]\\)' is not defined; p. 210, Def. 9.3.(i), read `\\(\\alpha_ n \\geq \\beta_ 1\\)' for `\\(\\alpha_ 1\\geq \\beta_ 1\\)'; p. 211, Def. 9.5.(iii), read `\\(\\pi\\leq\\tau \\leq\\mu\\)' for `\\(\\pi\\leq \\tau\\leq \\pi\\)'; p. 224, ref. [26], read `Arch.' for `Ann.' and `(1994)' for `(1944)'\\}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$FD5057A6-5A29-4F05-9CDD-31F5EE747152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$552964F0-465F-41B0-B0D6-81156A2447A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$34BAAAFD-1F79-4E4F-8D34-D5497BBCF9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$FBD38D4E-0A9B-470B-9F74-73EEEA4B9570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b540882e38bd3ba18544abff23a8fbd18280799","datavalue":{"value":"633655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$987E9536-C3A1-4157-9061-444518336C1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$B5D252DE-5668-4774-9639-3B232A094EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$D029B8B5-5A7B-455D-BD96-833CEF98877D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b37bbe919e250d841e6f95b2e37aef0bd1ae3b","datavalue":{"value":"Kripke-Platek set theory with \\(\\Pi_ 3\\)-reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$CA60FCB2-B042-486D-B2C8-F39A29349581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875f4722c488b3dd9924712f6ea14fa985bcb55b","datavalue":{"value":"ordinal notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$4E654469-0211-4F2D-944A-E45BD06A464E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6805cd779fb0b2cacd6147aa42cec0eee9b2950","datavalue":{"value":"infinitary proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$84EE6F8F-77A8-4D37-B675-2FC43F6C0232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9634e2c4f95f0ff04acc2068cffb177a1aceca","datavalue":{"value":"ramified set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$3405F0E0-7E69-4AA2-8EA4-94C0E67B3532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0b957df01f26181096191772612b0bd987a798","datavalue":{"value":"constructible set hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$A03B5448-8B20-48A7-9E1D-7BE174B0AC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332853$680DA8CB-36D8-4925-BA70-C3ECCAB17B80","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":"Q1332853$AA8A6C94-7EEB-4398-AF27-48C63D4952DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7309d4ab850dfcb754cfa2ce73e4ca873c46f25","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90074-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332853$BD59C0AF-A748-416E-A372-7D2F5F2218F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12792173243bccb840913f424b6f824611135b52","datavalue":{"value":"W2033008594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332853$713B52FD-7B5D-4699-AC80-479E503C5F4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$7CE6274F-0B36-41DB-95FA-242D5D70AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfecaf532c2be9e3f2c25c4983153b3ac961d76a","datavalue":{"value":{"entity-type":"item","numeric-id":4053647,"id":"Q4053647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$BFBF8A97-F401-442F-AE6D-A384D0836A58","rank":"normal"},{"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":"Q1332853$683D28F2-440E-4784-ADEA-59209002B8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$A17E3A64-56BB-488F-AC36-F121DB40B6D1","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":"Q1332853$55930B7A-DAB2-434A-AA17-1A9444928684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$C61B571B-8A1E-4262-B544-7A2A081F22BA","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":"Q1332853$27727BF8-2971-4670-BEC1-E29F30A1A767","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":"Q1332853$9317A16B-4F9D-4A3F-BC4E-2CAC683DF59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$6159FB71-01CF-4CE6-8FFE-ABBC068B8933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$EDF9243A-411B-4D92-B81A-BE2F71AB5FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$59FA548A-6B75-4ED0-8F65-D9C727673519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46419868a26066c57105f56b79c9f83e9bd0e76e","datavalue":{"value":{"entity-type":"item","numeric-id":4742775,"id":"Q4742775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$1E180A9E-18B1-487E-AC4D-4B543F463040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$C1173912-1E40-4D70-AA7D-BDBF46ED2C92","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":"Q1332853$E14C3296-298F-4870-B0D1-D7115608FE90","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":"Q1332853$A4257369-E4C9-4C38-A88E-81A2029DF411","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":"Q1332853$4466022C-BB6C-4E88-90AB-6EF173EBEB63","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":"Q1332853$E4A92821-F12E-4256-8157-CD5E1C2112BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eab381919a0f8ddd112866505d097b2c043172f","datavalue":{"value":{"entity-type":"item","numeric-id":1322453,"id":"Q1322453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$3144C197-3D15-4BDD-B6B8-7C398C14AF69","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":"Q1332853$42C85D18-61D9-4568-9236-9603CC4DF663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$7E5DE37A-1F1A-4B40-A6BE-62ACFDC3457C","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":"Q1332853$4ACAF99B-5029-4F01-B010-EB1FF7FB200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68710f6b0e06ab2363afd56f5eec792dd12fb8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4773683,"id":"Q4773683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332853$07E9EFE1-3C07-46DF-B648-EDC67B51CE53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27448d4f8c467ed365162749d9f337a8916ee07","datavalue":{"value":{"entity-type":"item","numeric-id":3416113,"id":"Q3416113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c0d2c0a61b9e43f5792ab2c5fa3899cff1692f","datavalue":{"value":{"amount":"+0.8367672562599182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332853$F8764086-C07A-4309-ABBA-AD33D611AB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27a387f3f0de42f173c66db4b10c408b4109f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0a35120d528cbbda0dca41ed6e2d2d16293050","datavalue":{"value":{"amount":"+0.8309513330459595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332853$2D54C0DB-A8B3-48F9-A9B3-68979CFF81A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60c0e3acf8bf3243c6e1582e2af270817dc34e5","datavalue":{"value":{"entity-type":"item","numeric-id":3025175,"id":"Q3025175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9cb24f1892f53f01019d1acf0b6da6500c2fa8","datavalue":{"value":{"amount":"+0.8307028412818909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332853$B0650F84-FC49-4B4C-9C28-4051B2E0E7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c6e74f0dc692143d060bf08d947a0a68fceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4325775,"id":"Q4325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267e6aa71c4d04f55d9075a95a7be309818ee987","datavalue":{"value":{"amount":"+0.8296149969100952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332853$0C37D6DC-48CF-4894-8F0E-D0256BF36036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887dd5830fa4f924e4f422162681bc2edc4f6a45","datavalue":{"value":{"entity-type":"item","numeric-id":4527929,"id":"Q4527929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e695c5e812bfba99d8fa0556066c31ef98030a","datavalue":{"value":{"amount":"+0.8262395262718201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332853$E0C17803-42EB-4D39-8C2C-F2F992C8BB07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of reflection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_of_reflection"}}}}}