{"entities":{"Q1295413":{"pageid":1306163,"ns":120,"title":"Item:Q1295413","lastrevid":43010822,"modified":"2025-07-16T21:00:45Z","type":"item","id":"Q1295413","labels":{"en":{"language":"en","value":"Some results on cut-elimination, provable well-orderings, induction and reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308093"}},"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":"Q1295413$542D1816-D976-4B30-A905-33045CF62BD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f87325e577429578b367762e4f4d28e9a2fb71e6","datavalue":{"value":{"text":"Some results on cut-elimination, provable well-orderings, induction and reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295413$D7AFABE3-E6E4-4689-8557-09B88EFA5E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef195b17c85580974b552522fbf54f42ff1e9e25","datavalue":{"value":"0936.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$D014370B-ACFA-4FB8-9D37-FADC141B7CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ed2ce1c4e7a96b58c2819d9f7dfa10fddc3eaf9","datavalue":{"value":"10.1016/S0168-0072(98)00020-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$F0FCA789-5BA6-4F35-9E77-6C0E98B16B60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$B709F2C7-670C-4533-8095-1A011AD7B0C6","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":"Q1295413$FD34C430-171C-4F45-B2C7-F0443F0D4AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295413$FB015E75-279A-4F0B-A7FA-4828949F463B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c9a5bf79a34afb917a9e24f23dc293bcc0dbfd9","datavalue":{"value":"The author begins this long paper by saying ``We gather the following miscellaneous results in proof theory from the attic''. This attic must be large and full of stuff. Apparently, in studying other people's papers, ideas, etc., the author came up with his own new, improved, etc. approaches, and kept them in the attic. Among them are the following eight topics. \\S 1. A provably well-founded relation in PA can be embedded into an initial segment of \\(\\varepsilon_0\\) by an elementary function. (This improves results of Gentzen, Takeuti, and Harrington.) \\S 2. Shortest cut-free proofs in propositional calculus. Here, pruning is applicable, and so the length is bounded by an elementary function. This result in turn, is applied to bounded arithmetic, and various provabilities and non-provabilities are shown. \\S 3 is about bar induction; in particular, its relation with reflection schema in \\(\\omega\\)-logic, and with transfinite induction. \\S 4 is of a quite different nature; it is about equational calculus. The possibility of direct computations (i.e. without extraneous function symbols) is discussed, and the decidability of inequalities is solved affirmatively. In \\S 5, intuitionistic iterated fixed point theories for strongly positive operator forms are shown to be conservative over HA, via interpretation in elementary analysis. \\S 6 bears a similar title: classical fixed point theories. But it is about computation of proof-theoretic ordinals, carrying on Kreisel's work of four decades ago. The themes of \\S 7 are the equivalence of transfinite induction rule and iterated reflection schema over \\(I\\Sigma_n\\), and that of iterated \\(\\Pi_2\\)-reflection schema and the totality of the fast growing functions over \\(I\\Sigma_1\\) . The final \\S 8 is more in computer science, and the author estimates derivation lengths of finite rewriting systems by means of ordinal analysis, slow growing functions, etc. These eight sections are independent of one another, and ample background material is provided. Thus, the author could have made eight short papers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$E01C8C09-41D7-4F8B-9CAB-F320FD83FF67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$74D0330D-9BCA-4A39-A659-681FADFC382B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$EE42A81B-BC13-4BD0-8548-00BF78927E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$447F3200-24E1-4201-892A-3F59670616CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$E40E87EB-1D13-45A1-981F-9B3E736418CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$2DD89C13-9CF5-4A89-B1F1-F48790563552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$FA7AF50C-DF14-4AC2-B994-661577A49E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$F3CF0AF5-B8F8-4D1B-857F-69F2C77CD880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$D6B8C81F-715E-4B1E-A7A7-A6B52818D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$289B8C1E-E632-436D-81AF-0CF0CC64F110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f45e940a8acd9f3f6882ed02414d62519ed46ba","datavalue":{"value":"1308093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295413$3C9079AE-FAB6-4976-AEC7-267244C71CD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$C881DE18-7F2A-4E2C-A0A1-8B4D1611B238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53becdcd192d31fe0cca84648751d3993f42bcb6","datavalue":{"value":"provably well-founded relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$A061D128-C959-4388-B1CD-95CD32C244A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2551b9be1c6854a77bf232aefb9fdb97e063f9","datavalue":{"value":"PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$BB122F69-5372-47BD-BD5E-FD54E1F9B002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd34074526ff9d5d53722d72ef57f42fa801ea2","datavalue":{"value":"cut-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$33E09EAF-37B0-4202-8DA1-0B922F0DE771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa9e9f264ee7ab1c475a20dc9291a3b2cdad343","datavalue":{"value":"pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$E58E5CAB-ACB0-4BCD-A523-92956F63D241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$AB4D5A75-C589-4C6B-9D79-A1F4914086C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$D88FAFFB-372F-4920-8F49-F0A96E7838A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$74ECF085-1A2D-41D0-BFF4-1CAA5B2116F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c68cf5898a5f08f3e3cb0489ed98d482c1b8bf9","datavalue":{"value":"equational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$A98D5984-6E4B-4A6C-A2F6-AF148422B91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2737939577b8ffe1e7b1fdf5c6a8c39d12676b58","datavalue":{"value":"direct computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$76ADD9A0-39E6-4058-81F2-98FBCEE21BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$453AEC7F-0A9E-4209-8939-71D5CC5176D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f658350efcf7d18e25915874f7a683d99b3dab3a","datavalue":{"value":"intuitionistic iterated fixed point theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$922E944B-855F-43B8-847D-2803F954ECB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$C5E0D1C4-F16D-4D5F-98B9-1498BD940A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5161e560b844d8b0f8d0d1251c34393c2789c248","datavalue":{"value":"elementary analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$BB114A6C-CAD7-45C4-90AD-44321B5E41AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e33f25f2bf4bd8db8b6e764c2eaafdc98dcc23","datavalue":{"value":"classical fixed point theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$0B91EBDB-9571-469C-A0D0-A2104DE779EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8cfe964439694e8ff30dc2c937ea336eab1612","datavalue":{"value":"computation of proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$1E9EF324-E380-4839-9205-C9F772AC27A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74071506d4a82e6474150e91ff2408d81f79bd56","datavalue":{"value":"iterated reflection schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$0DD67B10-A512-4E6F-85E6-B93ECE8379C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a9b88e89709e237674155e823770019de1a201","datavalue":{"value":"derivation lengths of finite rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295413$E173FAEC-6059-4054-BB29-0FAB4A2FAA49","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":"Q1295413$C4E8F2B3-17ED-4B26-AA38-A23947F951A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babb57e05ccf4f0b9296f29ede0f3e68e5b3703d","datavalue":{"value":{"entity-type":"item","numeric-id":4227873,"id":"Q4227873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$6AF80686-DA3F-49EB-AA0C-8B8748FE2A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$8748BD88-6529-4468-AECB-5BCD260AC845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23af16c143a28b4ddcbadf98129b7f3d52151662","datavalue":{"value":{"entity-type":"item","numeric-id":5691043,"id":"Q5691043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$9696AA5F-4124-480E-B307-D5EF8C6EA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$E0E31476-3A8F-4FF3-941C-3B7678772FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$4C18AE18-8723-4DB9-AB00-A1A7CB16C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$9462C140-CD22-4459-9DA3-DF7630B2760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d38ff805070eaa2bdff1d23b3dcb4e045ff942","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$B59C1181-928B-4ECC-9C22-CAFB34463DC8","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":"Q1295413$A4A7D525-21A4-49E0-9A23-E8162D20C6DC","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":"Q1295413$00CD8242-600E-49AE-8D24-050D81BDBD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$2B2947D1-05E6-4777-9B55-DD07877DD8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$21EC1C53-172E-4C15-AF3F-9B9D1C479C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecaf21719395d34fbc7e5c093690839cc2902799","datavalue":{"value":{"entity-type":"item","numeric-id":674412,"id":"Q674412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$9518E8C7-4B62-44FD-9B35-2439A0E166B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99809d749d7665c1131e4aeff813c9213a6aba56","datavalue":{"value":{"entity-type":"item","numeric-id":4850548,"id":"Q4850548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$92607FC0-8DEA-4300-A1A7-C9890F2CED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$37DD2CB1-EE5F-4A54-8141-2D703FAB9D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$A5EC5232-1525-4875-B963-0F9B3643B669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a723e068b68cbba45028ea757d24f9a79f34cd","datavalue":{"value":{"entity-type":"item","numeric-id":1236526,"id":"Q1236526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$F82C222C-5D0D-4765-B761-9ECC42ECB00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$1B933D46-75FA-4A8D-800A-553DDF536816","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":"Q1295413$3B9AAA8E-B03B-4CEC-BB57-3F0EAA23E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8954072c85d8ffbc031197088ea5c8a8d57a777","datavalue":{"value":{"entity-type":"item","numeric-id":3956931,"id":"Q3956931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$3910C860-EEAD-4FF5-8E0A-1B37D61FED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$4F76B401-4260-4AFE-8CC4-223D4DB22EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$8FD6104C-DD93-4113-B619-23212C2915D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ecd282533f72abe85687585b23b01adf6e1cf0","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$918BAB38-197F-4444-9CBD-C28CF117C940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$5C52FC64-FF90-45A5-AB50-A4026914E533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d4e9adfae30c74c6219689c62d0d59ee370b50","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$A1EC668B-49F2-46A5-9D47-95CB5DACC54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$C42F615E-70FF-4A25-B0FF-CBC885C9C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609b8980d15e4aa75fa172eb43965c66e7de8b47","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$0693CCDC-1A21-4EC2-9215-8F2C2282F9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae10646c4541c33d72edf12c66f71b78185b320","datavalue":{"value":{"entity-type":"item","numeric-id":1590660,"id":"Q1590660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$5FE1DECD-3220-4B6F-9E9F-CA35D2989EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd93bd2d7259875f5a6d6d4a1a656ba4d26bd651","datavalue":{"value":{"entity-type":"item","numeric-id":1325055,"id":"Q1325055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$F7E4D6BC-7C02-4D3D-9D00-93EDD5C8B2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$59D53739-539E-48EA-87B3-6D0921BDDD45","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":"Q1295413$712F9AE0-BC7D-4745-B67F-81D5663EC26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$EAA3777A-833D-4BB4-925D-C0E4D97AD09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$DC23F822-30E9-42C9-BE67-17E47C8EF6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e987d6ada0128127515e19b020117d6a22d0b30","datavalue":{"value":{"entity-type":"item","numeric-id":3138827,"id":"Q3138827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$D6B1977C-378A-47A7-9A0E-CADC85E3D140","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":"Q1295413$2032AA72-762D-43AA-9B0C-FB1377BEEC70","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":"Q1295413$FEDBC7EE-7533-4794-B29E-65BA0A5B257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e3cf72accc562ec06e64edaac713b30b339678","datavalue":{"value":{"entity-type":"item","numeric-id":5534937,"id":"Q5534937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$93724575-479C-492B-9B0B-2B1CA2BA4D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608355fe47a93676149ea8eb2d36357911fe0302","datavalue":{"value":{"entity-type":"item","numeric-id":3960691,"id":"Q3960691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$33412398-32D6-4FC9-9B4E-7C4D18889650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924ac7dda420fe7f2b11191b37cb4d0940598f19","datavalue":{"value":{"entity-type":"item","numeric-id":4944925,"id":"Q4944925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$21A23FB6-0BD8-4A52-91BF-E7B363151125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b37a1cd4f4b47b68d114318dca452481bea445","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$3FDBB118-ABFC-4663-9AC4-18EEFBAD152E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18891d90528b9510ecc08ca3899531fd6007622d","datavalue":{"value":{"entity-type":"item","numeric-id":5331470,"id":"Q5331470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$B2F773B7-9E97-4355-BC91-3C92AFF95C8A","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":"Q1295413$C6B5070A-FA9D-4A5C-94A5-1477A040DFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce246582a5108381469f1c390aac000359d6944","datavalue":{"value":{"entity-type":"item","numeric-id":3140644,"id":"Q3140644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$9F8BF305-2DF5-48A4-B6C7-61A1760B3251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbef631f5fdee1521a1ee21d8739eb8fdabd5a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1344280,"id":"Q1344280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$5BDE2210-2501-4B3C-BE94-56134E5CFA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$840BCB06-CE13-4BA9-A439-DA603ED84985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$23CF173F-AF73-40EE-B11E-73215E2ECEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b750f44387e6c68b70dbe9597c5ea0f05f5c67d","datavalue":{"value":{"entity-type":"item","numeric-id":3138826,"id":"Q3138826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$27C3A943-7E5A-490B-AD49-5670F9B7665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aee742b249ec678df42186125f5988137d31aa","datavalue":{"value":{"entity-type":"item","numeric-id":1267850,"id":"Q1267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$34119A32-ECC2-4F8C-853A-6B1CE4E8713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8f5bf3bbbb90d2771a6bc1a5bd5d42d5f4b4df","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295413$066F13A7-4856-4349-ABD8-AC1753B0AFF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa561b8b5342ab318639cadc68c91a52aafd256f","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a590a787d4e67b37623c3b14012df8f94d4c79","datavalue":{"value":{"amount":"+0.87414837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$B48D92DD-9F70-4D24-8CAD-962ED2C7FAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d4752beb5d86941d266229173b4a2b4468dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1820780,"id":"Q1820780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e410448dd4ae59d09b97a24c496171373cfaaf","datavalue":{"value":{"amount":"+0.8703794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$3D449857-5A19-4E69-AD65-912F835C4F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259b5fd7a0f989fc0d40f257fa5f1477fdb4f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5055281,"id":"Q5055281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ab3a8f19823b4ec6415966b060a4a5c57b51e2","datavalue":{"value":{"amount":"+0.8698853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$2246D192-34A0-4D1C-B4C7-861054B3DBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210633264fde25d9eb22ed54b876ef3b83b2623b","datavalue":{"value":{"amount":"+0.8694669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$5B077D51-41C6-48C4-9804-BDD2D30280BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a432df559a8436e2456f5acb69372eb47729bf","datavalue":{"value":{"amount":"+0.86927664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$2E38FCDE-95AC-4377-B119-D1A1D721DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4b934a43f2db845ca8ba0996af81b4de202b87","datavalue":{"value":{"amount":"+0.8686086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$C8C725EB-A871-4CE5-8416-528C3AAF1825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def71c43857b10f82848d8b1bfc16980b41e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3469101,"id":"Q3469101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1279cd736e00332f73874346dd9eb81f346e6fcc","datavalue":{"value":{"amount":"+0.86789954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$3317B4AC-9AA0-4C61-9F3E-8F8A1C2E091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51317d764d5d3e054bce179d6a4ce248d0865c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5013902,"id":"Q5013902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964b29f89bf183a4ef5c914d634334a0e2cb6e95","datavalue":{"value":{"amount":"+0.86769146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$EDA04A5A-D233-48FC-AF47-4B86A4769534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ac4b064bdeaebfca62bec9d5edc1a02ec51329","datavalue":{"value":{"entity-type":"item","numeric-id":2309489,"id":"Q2309489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d21378416a451c81d31c212792813eaa4014f9f","datavalue":{"value":{"amount":"+0.8667259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$772AC9ED-1AA4-47F7-8623-89D3162C86AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8308608f5c03ddfbe324dbce555fb603dd66696","datavalue":{"value":{"entity-type":"item","numeric-id":3801546,"id":"Q3801546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8dbb168d0cf6c762276ea45926b4ff14a9d076","datavalue":{"value":{"amount":"+0.8665059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295413$447DCB9B-3404-41A9-A169-E9668785223C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1295413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1295413"}}}}}