{"entities":{"Q4198748":{"pageid":6228349,"ns":120,"title":"Item:Q4198748","lastrevid":34628169,"modified":"2024-06-13T00:38:21Z","type":"item","id":"Q4198748","labels":{"en":{"language":"en","value":"Provable wellorderings of formal theories for transfinitely iterated inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637852"}},"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":"Q4198748$97458E43-C01D-40EE-B91B-B7FA8F8DFF0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6384b2b0a77b73ecfa26c05051c36edcd8345356","datavalue":{"value":{"text":"Provable wellorderings of formal theories for transfinitely iterated inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4198748$859B1C40-7CEC-454F-8DFB-6D6F1EE417DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85ba2b003beeba514f8f31293ba58048acda0a9e","datavalue":{"value":"0411.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198748$CC5929C2-E8B5-4D6C-917E-BA849F97F8E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2ff0ba9d44fb1efd74fc5d958457cd3c4ced1d1","datavalue":{"value":"10.2307/2271954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198748$E8EBADEA-B608-4277-BB47-0F21038DD314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$1205BAA5-F1A2-4C7B-A514-D53B510504F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$CDF56881-4E79-4CC6-A42E-2539CEC9E5DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$2F6E6052-ABD7-4710-9474-96BAB23371A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4198748$3C257CDD-C35C-4468-9540-CA5D8B5900AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ce68106bfd7afe4c55cd865632b442be6ad4155","datavalue":{"value":"http://nbn-resolving.de/urn:nbn:de:bvb:19-epub-3838-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4198748$D99B6E3A-E4A0-4009-8EE5-667DB523D346","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198748$52292CD4-E4D7-4C0D-BE37-EE252786F9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198748$2477A483-729F-4D96-B708-61892EEF1E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cba10167af7f999a988d36ba184ec4d9109e58a","datavalue":{"value":"3637852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198748$29D725F0-8277-401F-B46A-AED54D7924C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d68261c378c5f161650b82e6bc3a0a37841e5f","datavalue":{"value":"provable well-orderings of formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198748$1BC7C861-B09A-4AE2-AB33-56D8823EA4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342a945f22f111e599c3faef27c8736c3b344ab3","datavalue":{"value":"transfinitely iterated inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198748$DE86AACC-BC86-43E3-A219-39F1651BD2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198748$6BFF9104-9A36-42ED-A0E5-B3F4E3D0DB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198748$F6ADB63A-07D1-470C-B320-DBBF65ACC41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198748$C3B99313-C8B1-4FB9-B6C1-58CB17B1732B","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":"Q4198748$6265F59D-05BC-4FBC-8628-8411C0E83F70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01beffb8e3886c8d8328fd24e928dd34bdf8e9bf","datavalue":{"value":"W4239786980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198748$C9853B5D-12B2-4105-A35E-73FC30C024B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$1317B420-1A54-4D7D-A500-CB071ABCCD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065643d50abd5b84483003e456d4556e6495178","datavalue":{"value":{"entity-type":"item","numeric-id":4067070,"id":"Q4067070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$A4FEA4A3-BAB2-48C6-9D09-F1334EA2AFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753e9234497a2c22b9061f41e4e2173760cd4024","datavalue":{"value":{"entity-type":"item","numeric-id":5588635,"id":"Q5588635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$203A46D5-062A-41DB-9E31-61EDC34FFFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbc0128503d2f475d74fb08c653d215bd8df225","datavalue":{"value":{"entity-type":"item","numeric-id":5588636,"id":"Q5588636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$75F90FEA-39B1-4A26-AA78-53028626D65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9726297b1972d2274e3888cb55204513fdccafd3","datavalue":{"value":{"entity-type":"item","numeric-id":5609380,"id":"Q5609380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$72CC914B-0E7C-4C3E-B217-72E7D098E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf762aa4f369ffe3f423f26b8d3a22d33cc38e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1130780,"id":"Q1130780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$166617FF-2DA9-4DF9-A180-277162C515F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688cea5a817911a84036b242cb5a151143cdc0bf","datavalue":{"value":{"entity-type":"item","numeric-id":5680102,"id":"Q5680102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$88001649-963B-4728-BC5D-743B3CA418D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d94759bbc52803d92b95b89ff212691baddbc00","datavalue":{"value":{"entity-type":"item","numeric-id":4106173,"id":"Q4106173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198748$2778915C-71BA-4DE4-A258-C4C3637B7B2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198748"}}}}}