{"entities":{"Q2921035":{"pageid":2931755,"ns":120,"title":"Item:Q2921035","lastrevid":52099481,"modified":"2026-01-20T22:44:20Z","type":"item","id":"Q2921035","labels":{"en":{"language":"en","value":"A new computation of the \\(\\Sigma\\)-ordinal of \\(\\mathrm{KP}{\\omega}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6349663"}},"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":"Q2921035$13017C2F-20DA-4251-BB28-34D5F9523231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d6772372f5de70fed5f8670cc05396c7229c9f","datavalue":{"value":"1337.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921035$C304B199-4E58-4101-AF66-C1A79F9861BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$99309A3A-3E35-42DD-86AC-F9D743A20CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d405066baff2000c56d61b8ee78a90700809ef9","datavalue":{"value":{"time":"+2014-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2921035$DC0D62E0-C7D1-45F8-9904-CEE16E8E1B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921035$38D441A0-2009-442E-8BE4-E596235295E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921035$A6DA441E-318C-4DBE-9057-C5FC09CC5DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c0e61a2543b01687e5c65b5e1fe283a56de2342","datavalue":{"value":"6349663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921035$FF58AD54-809E-431E-97F4-032E66E937D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921035$B130B8D8-4645-4CCA-AE7F-D7092D57B059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921035$8BDC95D6-339E-4F2A-A470-93BB6B7CCA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921035$C2F457AA-10E3-43B2-8995-911045BB795D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bfc43aac350fbce583cac8d00562ed57ba28ca8","datavalue":{"value":"tree functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921035$3CCDB854-BBC7-4AD1-A5E8-49547CF441FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f990d43d521eb48dcdbe85789708bafae88583f","datavalue":{"value":"strict-\\(\\Pi^1_{1}\\)-reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921035$4BEA3B3A-DB3A-4F4F-987E-1C13217C3AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921035$55699015-7D5B-4C02-A1B8-6B37EF7521DB","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":"Q2921035$8C45BAA5-34DC-491F-9D6B-F152E971289A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"491756f7520ff84fef3c05814cf68e13e123cd5b","datavalue":{"value":"https://doi.org/10.1017/jsl.2013.31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2921035$E53C5E1B-BC76-4438-91AB-01A0BA4A3418","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45bf1987089f02874d4f3d73fb2fb9762ebd56ad","datavalue":{"value":"W2061386991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921035$625D410F-EAC2-4B85-BB66-F6DB0BA86C5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0585242910d00f6ed98a71175bb6151f9e7d698e","datavalue":{"value":{"entity-type":"item","numeric-id":1006608,"id":"Q1006608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$D7217A63-BA73-43D1-B0B1-386456365F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d52afa612ae761cf8d74b716994a1a5e8e024","datavalue":{"value":{"entity-type":"item","numeric-id":867407,"id":"Q867407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$58F51B10-A99E-42FC-AF77-D3C8EC590F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21b3933a73171f21e0c9085ecd8522337907b75","datavalue":{"value":{"entity-type":"item","numeric-id":1590194,"id":"Q1590194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$61718C78-BF12-4E7A-ADD1-ECEB414BE230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643372f2e4397e6304a90cf3b1cd28599fd0df9a","datavalue":{"value":{"entity-type":"item","numeric-id":948908,"id":"Q948908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$E2950751-FF3E-4324-A16F-491814E46B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$1CDC981B-5D0F-45B8-A99F-9ACA4B66B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$8FD42A31-392B-425C-B014-2E9018E82994","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e70900dc0c9edf0bc83ec1dab15e85a12c7495","datavalue":{"value":"10.1017/JSL.2013.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921035$8E8E606D-A99C-45A9-BA23-DE28C7FEA58E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"192d9bfcc882dc009b0bcfd2b04b6635466cd724","datavalue":{"value":{"text":"A new computation of the \\(\\Sigma\\)-ordinal of \\(\\mathrm{KP}{\\omega}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2921035$104B72BB-58F6-49CA-8277-D44C4061D950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921035$B6AA585D-B49B-4478-A6A9-2BE4AC6FCF38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9642a95ded970a2b8b964d74e7eeca674415c89c","datavalue":{"value":{"entity-type":"item","numeric-id":4551993,"id":"Q4551993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b636a26c073a14bd7010af97dc0c2410eebf4f","datavalue":{"value":{"amount":"+0.7595691084861755","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":"Q2921035$2DC265DA-FBCE-430E-90AA-239F948E289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c95017633b9bade18bfd563c1f89925bb662ea","datavalue":{"value":{"entity-type":"item","numeric-id":4722071,"id":"Q4722071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8139fb72ab4f0643ec3565c5329f82e358e734","datavalue":{"value":{"amount":"+0.7580824494361877","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":"Q2921035$9BFDF93D-82BE-469C-A360-249B864BC3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c551c20ece18e2c0d9d505fb59ec739d5c02723","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b39f17226acea2cce2a395412fcd5e5ff9e9af5","datavalue":{"value":{"amount":"+0.7534564137458801","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":"Q2921035$DA7A4DBB-55EE-421C-B93F-BF7679DF3F09","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":"2f2d45385e8c0553c9926a815adadb072d348d9b","datavalue":{"value":{"amount":"+0.74952232837677","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":"Q2921035$7AECF683-5149-4249-82A0-4F06149CE217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc7f070aa3946ccf746c1244329e4fa3a2b500a","datavalue":{"value":{"entity-type":"item","numeric-id":1590194,"id":"Q1590194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc200e9dc07b5b3c39c7b5ab96a6221875b74217","datavalue":{"value":{"amount":"+0.7472237348556519","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":"Q2921035$D3554020-C09C-4970-B2F5-F4F653BDBCEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2921035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2921035"}}}}}