{"entities":{"Q4314785":{"pageid":6344386,"ns":120,"title":"Item:Q4314785","lastrevid":81676577,"modified":"2026-05-06T19:05:24Z","type":"item","id":"Q4314785","labels":{"en":{"language":"en","value":"Arithmetical transfinite induction and hierarchies of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695570"}},"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":"Q4314785$049983EC-8E42-4515-9354-DA3A23C35BF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b66225bbf11fd50bae367c92c99b8a6408b0391","datavalue":{"value":{"text":"Arithmetical transfinite induction and hierarchies of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314785$C5DFD9CD-F892-4A24-B670-41B0D880E192","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd1b31a472bf6f3c3cf4cd26cd7ab6d598f93cd","datavalue":{"value":"0809.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314785$2BF209F6-77EB-4BB5-A95C-A65AC700C4EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314785$9DF6D7F5-4CA3-46DA-96B4-4CD08C90B754","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e26d9462e0cc2514efa9fd1ce559f205339e5ef5","datavalue":{"value":{"time":"+1994-11-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":"Q4314785$50618C6A-E319-4743-9DD3-E799ED53C0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42092d95b6b715ef4504097fc44ddf4f09b51532","datavalue":{"value":"https://eudml.org/doc/211948","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314785$AD0FABD5-EA38-4000-886C-D4FA0BD4D3C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314785$9BA543B6-C09F-4590-B46F-DA19E134628D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"323d1b80deaeb750c377c2000b03f956229193d9","datavalue":{"value":"695570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314785$E0A5C791-D047-4F47-A832-0FAB83851402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05ba6aeb8091b224b2a0a0f9dab63135b84edf8","datavalue":{"value":"arithmetical transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314785$4EBA6B1C-DD2A-4E18-9D56-8418DC3A749A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d669d59d164799ff8703697b6fcda7d8ec40a546","datavalue":{"value":"Wainer Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314785$185A59F5-F659-44BA-B4AE-1012CBD7B17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9238eabea26abe2d6ecf67cbc6675fe00d4323bf","datavalue":{"value":"Paris-Harrington Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314785$5EEF31BA-2FE4-4167-B402-E952C59FEC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b2f345290fcedfe3f2a8d95e45423c44a24b11","datavalue":{"value":"Solovay-Ketonen Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314785$55BCD3C2-B288-41F0-BD7D-28EE76238DB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c00694a7a8d538e2aacf4f02eb8bcfeae5fe60","datavalue":{"value":{"entity-type":"item","numeric-id":920080,"id":"Q920080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314785$A413E024-4E88-49B9-8466-7C4B9CF2D118","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":"Q4314785$8BF3DCA1-41DB-4E0C-BEDC-2E6836B56691","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0285fa281edf92416f50f7d4090137b6a58654d","datavalue":{"value":"W846236225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314785$9E024C4E-B31C-44F2-92B5-565C511A95C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1834f00fa6ecc724f2206e36ca4d162de0653ee3","datavalue":{"value":"10.4064/FM-141-1-1-20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314785$5BE180DA-98FC-4631-B1C3-2626B7D2873D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04e3037c51c956b4f488ddcaf60cfafef7f2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":688433,"id":"Q688433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c42b8b73a5d996be5726c8169801f2de2eaac8","datavalue":{"value":{"amount":"+0.8000220656394958","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":"Q4314785$343880D9-4409-4F77-A0F3-F76A5A8FFDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7022116e063c7b1317412e4b3d31201564ffc14","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cf0e6f06bbe811ad453782b9a1fdcbbed0070a","datavalue":{"value":{"amount":"+0.7982506155967712","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":"Q4314785$824A14F8-BF0E-46FC-9E6D-1B8E5582BA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5052341386eb5dbb5d8835b0f06ae8df3aa5c613","datavalue":{"value":{"amount":"+0.7830296158790588","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":"Q4314785$AE306EB6-A12D-4D74-87DB-C4559E3BE8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2cef6d1601cf78d99eb49b1064d8dd73dcb8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1082336,"id":"Q1082336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73db38d6a1cec67ac5d4f55570f9a8e6b19e354e","datavalue":{"value":{"amount":"+0.7793213129043579","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":"Q4314785$B36A3960-7D2E-47DB-A0FA-30040A4F6785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed61c411ec4b693d6d36608c97770795414f4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1071019,"id":"Q1071019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f82ad3e62985815c1667858a4c93019787257a","datavalue":{"value":{"amount":"+0.7655447125434875","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":"Q4314785$2BDEC19A-8D16-4AEE-B3AA-6EF42D48D041","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical transfinite induction and hierarchies of functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetical_transfinite_induction_and_hierarchies_of_functions"}}}}}