{"entities":{"Q1407608":{"pageid":1418348,"ns":120,"title":"Item:Q1407608","lastrevid":67372614,"modified":"2026-04-12T17:11:22Z","type":"item","id":"Q1407608","labels":{"en":{"language":"en","value":"Proof-theoretic analysis by iterated reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982530"}},"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":"Q1407608$2DAF6058-B695-4CA7-B095-3B9CA15E21E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"577b647410e833b766a5596ee3b6793b0ac837d0","datavalue":{"value":{"text":"Proof-theoretic analysis by iterated reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407608$652D965C-C90D-49D6-BFAF-3471679D4409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38523e0122ef51e2979b94e137c5c4d4eaeee667","datavalue":{"value":"1026.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407608$6955C59B-1AF4-4423-9C4A-92A4A0501DD2","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":"Q1407608$8C9B825A-EB6C-45ED-A04F-90CD18FF4D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407608$3C1BF5F6-07BF-4FA2-AC01-A9727FBEA922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407608$9F85E0C1-3DA7-41ED-AB79-CD3390209FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407608$80B0F62D-2956-4747-A4ED-5D696F55999E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7318b46b127531f66b1d720106d4b976a20295c3","datavalue":{"value":"1982530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407608$3BFD5286-ADA1-4894-B275-7456217E932A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c77e8e6f01b5fa2ce7fbc990f8ba371e002c60","datavalue":{"value":"iterated reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$DAB2897E-D435-4FD6-A9D3-3B8E71E334D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75aba981ff59034046d0d88748d1bc1247837ec3","datavalue":{"value":"ordinal analysis of formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$4C634598-1448-4098-94C5-74248F81556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$201A3A3E-F5F7-4E29-9CD8-558EEE75B843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8582c9c9734eff214e5b5db65e867b5c228e500c","datavalue":{"value":"logical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$0611DD74-6ABB-4558-9065-3D5362B74F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$802F5ACF-D76A-43F4-A110-DA0BE4A0296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$F74BA91E-4B0E-4F9C-A827-D927C3ED8C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddbcba9d323b796e4e011c0fed3de8cf78c0535","datavalue":{"value":"restricted induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407608$5DFBDE0D-B533-4A62-B80C-433DEB5CD145","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":"Q1407608$376A04D3-9967-40DA-91D1-1D17F622709C","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":"Q1407608$A18A9DEF-65B5-41A7-8D3D-219AA5F81990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6376f4be2b92819cc95e7f086caa9e05aca42f2f","datavalue":{"value":"https://doi.org/10.1007/s00153-002-0158-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407608$02BD0C59-15A0-4F88-9D5F-DC6139ABAC28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f39872abbf298687d3abcd2db09fb735fe264be","datavalue":{"value":"W1989844562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407608$3BF0EF2B-AC4D-4F78-B070-72DB205F4E0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fe6a84409b150d6331d657e9cb3a32488d827ef","datavalue":{"value":"10.1007/S00153-002-0158-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407608$1BFD9D77-7FA0-4631-94EC-B70FD8B77EC9","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":"6cec4c5aaede864c65778fd038ab4cc95a30621a","datavalue":{"value":{"amount":"+0.9980358","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":"Q1407608$EBEC0616-68BB-470C-8F9F-0EA1E6712A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf20a72c87c85cf6f836cdd293a539c83e95161","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e84dee8610294765cd9c3edcded041268086c5","datavalue":{"value":{"amount":"+0.9117582","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":"Q1407608$6B9A129B-8B2E-4D9D-AD39-CE611ABEB66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ce9d05c86c088573e2213f25dbf60f15f642e","datavalue":{"value":{"entity-type":"item","numeric-id":4524774,"id":"Q4524774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9394a86d45412fb3f635680a93c4f1ee428ef7","datavalue":{"value":{"amount":"+0.90945077","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":"Q1407608$B874D600-EE91-4F09-9987-6BDF8AEE6180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e834480e945582940909daf22ce3225a07023347","datavalue":{"value":{"entity-type":"item","numeric-id":4263166,"id":"Q4263166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92ae90cad530458480b8a7701d057507c6ae637","datavalue":{"value":{"amount":"+0.89895475","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":"Q1407608$5FD7236B-1023-4AF4-880A-389A2C5858B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769937c0838347b6d65d7cf565f4f4b02f76aadd","datavalue":{"value":{"entity-type":"item","numeric-id":3138833,"id":"Q3138833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d994ed0e5247fbd6480456437d19c4ab0806267","datavalue":{"value":{"amount":"+0.8975706","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":"Q1407608$DD9A86CD-F3DB-4312-9305-D210AEA9ECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5014a7692935ea5369140eef388115dd7455bf6","datavalue":{"value":{"amount":"+0.8961072","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":"Q1407608$1E2E739D-9D97-4B31-921A-1D851DEAE4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e931048a29130241501874c37988f003c9f79ccb","datavalue":{"value":{"amount":"+0.89603585","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":"Q1407608$96733ABA-F9BA-4E40-987B-00E121E12F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35a3da9b8c48822c7776bf3d68941d9b771216b","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dae60db67f39d9a17a59bbc3348c6f0f693a5d6","datavalue":{"value":{"amount":"+0.89403665","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":"Q1407608$00DD5B98-F19E-4F39-958D-E0FC086C2008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387792b0cbfc607db179dd0215086c91dd85bfa2","datavalue":{"value":{"amount":"+0.88963276","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":"Q1407608$D7B435E1-8CD2-43B4-9324-4A2EFA6AA6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a453d691cc2226e61eee2360b01acf38fd0580","datavalue":{"value":{"entity-type":"item","numeric-id":3406688,"id":"Q3406688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a070dfb05055b5f049af61bc1d7d9d0666879a0","datavalue":{"value":{"amount":"+0.88784635","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":"Q1407608$7C14740F-DF17-43E5-B0CA-86465AFE4C80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic analysis by iterated reflection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_analysis_by_iterated_reflection"}}}}}