{"entities":{"Q3069633":{"pageid":3080349,"ns":120,"title":"Item:Q3069633","lastrevid":45376435,"modified":"2025-12-06T14:49:25Z","type":"item","id":"Q3069633","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5838313"}},"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":"Q3069633$611AC6BE-1730-4072-999B-4B03B082522A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25985b29b815f029e0ccc902266bb34fc7adc042","datavalue":{"value":"1205.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069633$083BE178-FBA6-496F-AC5F-A77079A3304C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3069633$37E48C5E-52B5-4F0B-B94D-11DDE541A648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9f1ff22021ab332265182c41e25d022a91c567f","datavalue":{"value":{"time":"+2011-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3069633$A314DA2A-3B06-443A-98A5-E42B278F3936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069633$CE64F288-E721-4FE9-A437-6A065E9F4742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069633$66B33C4C-C995-4EAC-833B-18A6ED2784A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069633$B0943EF5-BA6C-42C0-AC7C-7BBECCA29DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069633$6D9C2520-2CF8-4971-907B-00F2F96AB11C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a33748dd1be5a0be48cc36aafdd7aba19d829efc","datavalue":{"value":"5838313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3069633$C6985A1F-255D-4E46-B53E-A56D2B86F75A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$22709F6A-D321-4F4B-9587-81A46A0DA4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$65E8FD65-9A04-4A8B-8FA0-FF4711E52E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef849d33806a75620264dd999283c3fbbbf2cda9","datavalue":{"value":"recursive comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$C1FB1784-FB39-47E7-AADF-CDEDE972654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$4DB0B318-A828-4E35-86D2-E9EFFB745CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$C20ADF22-0564-4371-B864-BE2E31368F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$F0A34092-D6DE-4AB8-B753-CD67E06DDC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$CD69E514-0F1D-4C1D-A46C-7B65299D123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$81A49C18-BC90-4BF0-91B0-1D7E7D07E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a85bffc93a7ffc4d11c116a948edfd455a75bf","datavalue":{"value":"arithmetical transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$53B5EC60-CB82-469C-8B68-E7C30CDEEBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83a94ae044c5b2969c3a78e4778ff7c1c421f74","datavalue":{"value":"\\(\\Pi^1_1\\) comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$A0C8879E-292C-4715-83A4-A93A62518E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5200ba83a9b538c80e60370c1a3bf83a97d65c29","datavalue":{"value":"beta model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$D2FEFFB8-AD64-4038-8EB5-82019769BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059a70a69343661852f094ce717bd20e027b8f0b","datavalue":{"value":"omega model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$1A4BF722-4C43-41C4-8A5D-3E51234BAF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3069633$A6905D95-DA2E-49E2-91D3-B5A1D245DDA5","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":"Q3069633$DF6AB976-189A-41CA-8E0F-C2AE6626A52D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3069633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3069633"}}}}}