{"entities":{"Q3956932":{"pageid":5986837,"ns":120,"title":"Item:Q3956932","lastrevid":81296720,"modified":"2026-05-06T18:11:46Z","type":"item","id":"Q3956932","labels":{"en":{"language":"en","value":"Undecidability vs transfinite induction for the consistency of hyperarithmetical sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3777481"}},"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":"Q3956932$74D086C6-2E0D-44B8-81C5-EFB23DEF9553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1070318963194d6a5aae143b5cb3d8deb0e4c304","datavalue":{"value":{"text":"Undecidability vs transfinite induction for the consistency of hyperarithmetical sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3956932$4E758254-FB1A-4949-BC8C-281250D11C93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767f43e0482d0b92b9378ff04f1c0c7d2c246555","datavalue":{"value":"0494.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956932$5A94845F-1C61-4E2E-9337-8060B518B9E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"179727a99bb563777717a6de6231d1ee39d8608d","datavalue":{"value":"10.1007/BF02318023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956932$1FFD4BDC-C9B9-4934-8501-901FAD36D22A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ed11cadf96974e810cf1e480d7bfbd247c7867","datavalue":{"value":{"entity-type":"item","numeric-id":1045887,"id":"Q1045887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956932$75845EF9-CD95-4938-BAEE-C2D16358F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf5fc4040acbfd2fa2f331dcab5b43ffe25c094","datavalue":{"value":{"entity-type":"item","numeric-id":2117590,"id":"Q2117590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956932$407360A5-DEEE-415F-9C0B-53B93A5FBE24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6404a67ee80bf8c30e440d1605bae281c5dcca83","datavalue":{"value":{"entity-type":"item","numeric-id":3956907,"id":"Q3956907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956932$E3787A0C-C9A9-4AAB-89B3-9B044B6D3FB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3956932$470B9C21-923E-485A-A09D-94FAB5D29DEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e052c18bf3a7d229756a2ad91d5be89536a5bd23","datavalue":{"value":"https://eudml.org/doc/137988","type":"string"},"datatype":"url"},"type":"statement","id":"Q3956932$B92A1DB4-F0B6-4468-B355-70A6AA0D9F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956932$A3491793-CFC9-4395-85C0-5F24D768BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956932$04C288F9-DD9F-412C-A3D2-FECC2BA109A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb101263ce901bab9e0282d8b728f8a97184f562","datavalue":{"value":"3777481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956932$52961849-F282-4B2D-A50D-9FF7A68672E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c68043f183561a898eb57aab0b5b1f944c3b3","datavalue":{"value":"semiformal system for description of hyperarithmetic computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956932$830438FF-589A-484A-9F41-A4234275395A","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":"Q3956932$5D3867F5-908B-42FB-94A9-6F6E1CCEE117","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c15dbb5ead0de21da0135759d207f2e598bd1be","datavalue":{"value":{"entity-type":"item","numeric-id":5623672,"id":"Q5623672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956932$40D758EB-88C4-442B-ACE4-FAE7715EEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e000052dde0f925ac8f4d7eb9f6fa181023a8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4192056,"id":"Q4192056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956932$9A47BC7D-6E56-4673-AB2B-4292068A8254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956932$F2F5FEAD-E2F8-474F-897A-B04D71697DEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability vs transfinite induction for the consistency of hyperarithmetical sets","badges":[]}}}}}