{"entities":{"Q5361255":{"pageid":7390829,"ns":120,"title":"Item:Q5361255","lastrevid":58528524,"modified":"2026-04-05T14:59:11Z","type":"item","id":"Q5361255","labels":{"en":{"language":"en","value":"Proof Theory for Theories of Ordinals III: $$\\Pi _{N}$$ -Reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781292"}},"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":"Q5361255$2461F0C3-B397-4160-BE30-4CC0EA54CD33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c07a9d6e5db92de58ce5e35212340a8e4ea9407b","datavalue":{"value":{"text":"Proof Theory for Theories of Ordinals III: $$\\Pi _{N}$$ -Reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361255$93604069-3E49-4F18-8D0A-E06807E930C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b45a3be2b177a5b60030a00053f4588a01b69426","datavalue":{"value":"1378.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361255$9A8CB900-DD0B-49BE-B4F8-377B77CF8987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78e7e6b5b1dde58784845d8ad5cfabafd1ef52b7","datavalue":{"value":"10.1007/978-3-319-10103-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361255$A238744F-3FF2-4493-8886-F36AC11887FF","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":"Q5361255$C13FE397-AE1E-41DE-B728-6465AF968A76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b850175c1f26a72d4f19f54bef6aaf6493e2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5361241,"id":"Q5361241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361255$469C1BD1-B99F-4982-A43E-44D53D486D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-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":"Q5361255$FC7A906B-12F0-4E78-9723-D3DE2EBDEC4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be011c05900cdd77226cb8c6df69267926d12fd0","datavalue":{"value":"https://arxiv.org/abs/1007.0844","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361255$95E74242-E0B9-4507-8305-8738B5F31089","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361255$E1B599BC-FD6C-4F07-A7FF-B3B43CE845B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361255$4C4CE795-2CAF-4E47-8DE0-54884CE50D90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6376282a7518b8f3391649605ae2920c04d07cb4","datavalue":{"value":"6781292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361255$6A191267-7A50-42E5-A0EC-66741124B901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90988addac75819cadd44e405f994340f61c1f2c","datavalue":{"value":"\\(\\Pi _{N}\\)-reflecting ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361255$C51A6F65-7DF3-4B5B-81BE-383717534999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d851dc6dad0c21e96d2633170c6d7b269b86574","datavalue":{"value":"ordinal diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361255$33C54440-2164-4EA9-ADA8-F1F0950965EA","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":"Q5361255$F31C3DD0-A98E-4DBD-ACA2-8F3E8FEA04D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea6f7a8cca220da56f778f2459040c0e3910de89","datavalue":{"value":"W2952179275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361255$01D559A0-3B7E-4BCC-A37B-0CC3D8D27DC2","rank":"normal"}],"P1643":[{"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":"b7d3c3017891fa6adbb9739a7eec0f40676563db","datavalue":{"value":{"amount":"+0.9924997","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":"Q5361255$1D819322-D31B-41BC-A9E8-E4652FE9997D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db7d0e1788af3b2abde1bafb762cdbb7628df8","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffcfee93ed1da1f2bbde195f76e4f3519eea025","datavalue":{"value":{"amount":"+0.9194592","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":"Q5361255$1A84FF72-0391-4AD8-8BB7-2C0E20249E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723f97d340b587bd749c4a8869d8fb96b0a68ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2500821,"id":"Q2500821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e41b6f91f83cc434c3b94152a3be537f29184f","datavalue":{"value":{"amount":"+0.913555","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":"Q5361255$D67C5723-D25C-4EF0-A443-5C31505A8039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd7dd61ef940911a51c611c75f35255836b7de8","datavalue":{"value":{"entity-type":"item","numeric-id":2862641,"id":"Q2862641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d311629f1d1cb6cb86230bb5e87e196a93646c","datavalue":{"value":{"amount":"+0.90483296","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":"Q5361255$E1B9C87F-C098-4C38-AA3E-D3628764EB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ccc43351e4fbf6cf858ccc1688cc08c1b9089","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b489c2af0c1c0ec7cd124c9e218438a7451c2c","datavalue":{"value":{"amount":"+0.8912716","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":"Q5361255$2C93865B-6941-474B-91FE-611AB48CC4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27081edebe8529d76e0d99b7dc46dc143820f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0ce1a912409a0f31de73bbf67f61577a19c2f0","datavalue":{"value":{"amount":"+0.8865741","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":"Q5361255$0EDE6E4F-278C-48EF-ACE8-9C21429A1F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9323236efdd663b9cc116dd67212b87dd88f9d72","datavalue":{"value":{"entity-type":"item","numeric-id":4273865,"id":"Q4273865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a4dd8d6fe1037b95284759dd122a6cd127a330","datavalue":{"value":{"amount":"+0.88367224","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":"Q5361255$51124E97-951C-43C5-966E-D550B76D4CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3480c18c8d19fe7ebc3213b31603c5d91863add8","datavalue":{"value":{"entity-type":"item","numeric-id":2921002,"id":"Q2921002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ec5decadef8386bc4007e8bd7d11b26ef520cf","datavalue":{"value":{"amount":"+0.8828958","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":"Q5361255$6F41D5A5-650C-4190-BBE3-33ACF0367F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026da4f65c480c798de4464e75db0b98561ccced","datavalue":{"value":{"amount":"+0.8772144","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":"Q5361255$BE6D6749-3BE4-4120-A47C-B649DBEBF3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5959204c7bbba00f9bcef38b1c2ffa198b5f6582","datavalue":{"value":{"entity-type":"item","numeric-id":1868167,"id":"Q1868167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749441ea09a497b5b7ec898892d8af13a8f7eeea","datavalue":{"value":{"amount":"+0.8771069","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":"Q5361255$6DFAC0A5-C3AD-44DA-80B9-1C19F216B4DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361255"}}}}}