{"entities":{"Q3048827":{"pageid":3059543,"ns":120,"title":"Item:Q3048827","lastrevid":45336430,"modified":"2025-12-05T17:45:08Z","type":"item","id":"Q3048827","labels":{"en":{"language":"en","value":"\u00dcber die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3643256"}},"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":"Q3048827$890AF5D6-B510-483F-A47C-536D5EFE69F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f72d5e10cfc7d29cbe50269d3f058fa245d084a","datavalue":{"value":{"text":"\u00dcber die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3048827$B120BDC8-FDAA-4C5A-8195-4398C7726476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eff81df7a10397b50c7e10e89f2188a420374dc5","datavalue":{"value":"0414.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048827$10673409-385E-46B7-A47F-22B9BCBE9268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0140b61c9d07ba7ae56be3e492bb9728aa5fbd96","datavalue":{"value":"10.1007/BF02011877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048827$18A8688B-C914-4A97-8D6E-BC1E1CE68105","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ea43d8dd184f40b003d231c840ac86a6c0284f","datavalue":{"value":{"entity-type":"item","numeric-id":1254995,"id":"Q1254995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048827$86FB5AB2-56C9-480D-949B-BC1D29F3BF8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048827$B0E6D4AA-67BC-4D0B-A7C0-5C10140E8CDC","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":"Q3048827$281CF126-C4A4-4439-85B4-BCEC6FEA6429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aafda40296d5fd33e573cac229c6672704bf35a","datavalue":{"value":"https://eudml.org/doc/137954","type":"string"},"datatype":"url"},"type":"statement","id":"Q3048827$06A3DCCF-DBF1-4B68-9E5E-7AAE2F17A580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048827$151FAEB0-2154-4AF5-A51B-8F879623361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048827$AA64C40B-E26C-4DE2-8BB3-1DB67FC0A3DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aee7aae073949b5dfb2d58d254a50b49b73dea21","datavalue":{"value":"3643256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048827$D289ECA6-640B-42BA-A2BA-6AC8A7036B89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$E966D9D6-561A-43FA-A59B-97F2E7C4651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e9c2a729d87c8ddcbb7b8e7365c8881bd02a5da","datavalue":{"value":"bar recursion of type zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$EEFF74A9-198A-4185-8B82-C5E9C50166D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b5f33ad49670ad3ed020a9fea246f58d8471e3","datavalue":{"value":"transfinite iteration of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$F26F7609-280B-4AAF-B25D-75FA835BEF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b49103d661b9daa472477749d20cf8b25b002a0f","datavalue":{"value":"Bachmann-Howard-ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$EB28DB6B-067E-44E5-A95F-BD94B26FE6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$E75F1D84-B011-4177-884E-179562B32814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d587acf2bec642040d687bf91dbebf96cf7b1ea2","datavalue":{"value":"continuous functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$D6E14E45-080D-44CD-97D4-F9C008476144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78269205603fb1f1b805576b0e98d35d174f72ba","datavalue":{"value":"Spector trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048827$131F375C-7B77-4650-987C-FF46C5DE1940","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":"Q3048827$F2E9FE43-AAE7-41B9-81E2-ACFB78DB0A2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d6cbd01dd0ea8ea26131a68d909048005c899","datavalue":{"value":{"entity-type":"item","numeric-id":5800868,"id":"Q5800868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048827$9346ED06-D151-4067-8483-5A3A087C8C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9da86c6cfa45617eb12790d4c4908169d8189d","datavalue":{"value":{"entity-type":"item","numeric-id":2528384,"id":"Q2528384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048827$567C1E0C-1FEE-4247-A121-08C20BA50B8D","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":"Q3048827$A4A905D0-3546-4E2A-9BA3-DA3B4102F6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9969e44e74a4ddcb9248ec285f5a1c9f4cf96634","datavalue":{"value":{"entity-type":"item","numeric-id":5613181,"id":"Q5613181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048827$34F1B6AE-B499-44C1-8617-BA3A96B00704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44ecf115a49b41cb1f4afe9b09b0ad255af8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4133625,"id":"Q4133625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048827$07B6CAB3-EE01-4E32-A85D-174D31749B3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d68833f8a43898e1eeae7912608785ada41c6d33","datavalue":{"value":"W1965591157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048827$118F3D07-6291-4179-BDB1-75D9C8CC6926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3048827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3048827"}}}}}