{"entities":{"Q4220572":{"pageid":6250173,"ns":120,"title":"Item:Q4220572","lastrevid":46606551,"modified":"2025-12-25T04:54:12Z","type":"item","id":"Q4220572","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226875"}},"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":"Q4220572$D20C822C-480D-4DE8-B8BD-1F42F4E18D42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"799a17e4fc7ef9ff718ec63cfb1e96b04f5b74c1","datavalue":{"value":"0909.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4220572$F4707F34-AA44-4466-B522-E4E5455E3504","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":"Q4220572$C936F25E-94DE-48B8-9AC2-558C87A5CCF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec3153ba3dc7a85e2777def2dfd25825f99d8e8","datavalue":{"value":{"time":"+1998-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4220572$2E8F7F77-E952-455A-86EA-3A985504709E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4220572$E10AA95F-D11E-4473-9F55-829E982916DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4220572$524D275B-42B5-404B-B26A-C807B6A14A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4220572$3DCE2484-E676-4F95-91A7-F378F790C2CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9883c9e370f7cca2172460ec306908b542b1ebd","datavalue":{"value":"1226875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4220572$1A065CDE-8BA3-4B62-A01B-CB986410F908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef849d33806a75620264dd999283c3fbbbf2cda9","datavalue":{"value":"recursive comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$3591A75F-BF82-47B4-B8AA-62FD2337091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$BA76FBC1-E0F5-4661-A874-9F6A4C419218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$C0FBE3CF-B1CE-47FE-9C97-5365908CA5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a85bffc93a7ffc4d11c116a948edfd455a75bf","datavalue":{"value":"arithmetical transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$C09F1C0D-0E6F-4AB1-8060-9B3E1A3E8AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83a94ae044c5b2969c3a78e4778ff7c1c421f74","datavalue":{"value":"\\(\\Pi^1_1\\) comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$B77818A9-DAE4-45B6-9887-6E282F7B4B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4b0ae4319593aca2c3f0cdd4dc8bdc7a7f0987","datavalue":{"value":"\\(\\beta\\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$E2694B84-F5F2-4821-A93D-92A4D90309A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935c3b04c5ade60bf7e2dc40a552419f704ba2","datavalue":{"value":"\\(\\omega\\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$07BBDEBE-0BD0-4F63-B0AE-4511D01457A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517fd6cb590d96a59a61888efccb272d09b80066","datavalue":{"value":"non-\\(\\omega\\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$61DA7393-72EE-48C6-AA48-A7F9AC1B89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07149bc3f091e8d64b2fad10fb667db84a3ec69b","datavalue":{"value":"set existence axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$8C3813B3-9275-4977-8C91-25D354D680E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$A9103B8C-6292-4AC5-95AE-997FC3BA0153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$43045C3C-5EC0-44B0-AEB8-288CFE6DC2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4220572$51CE31FC-0482-4591-9FA0-96D81410FAA4","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":"Q4220572$C7828982-0ABA-46B5-A433-5F6F5021A842","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab9b79838d66a270a0ca19e4b0f200c5cee9123","datavalue":{"value":{"amount":"+0.8366546034812927","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":"Q4220572$F7126FC8-8875-4872-9F84-B0194FD76351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7e14f4de0d4718e053523f57630b41ea48a4c5","datavalue":{"value":{"amount":"+0.8285403251647949","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":"Q4220572$B474F9A5-FBF5-4996-BDCB-4212151583F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92c4d212b6af3c0d7a072ffc89949e0c438cffb","datavalue":{"value":{"entity-type":"item","numeric-id":5348541,"id":"Q5348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed5f599437f7bda24205a14e84c198136317b7a","datavalue":{"value":{"amount":"+0.8167533874511719","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":"Q4220572$6E45D42A-F4C5-4458-BA50-0577772A1B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24977802fb61c40fa14382a0440ce05c99a5a7b0","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf1880f745d4bd0de0fb360a873e2810548f5a4","datavalue":{"value":{"amount":"+0.8155195713043213","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":"Q4220572$5E70671D-E02F-4C2F-ABF5-3B66C196B7CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4220572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4220572"}}}}}