{"entities":{"Q4175275":{"pageid":6204876,"ns":120,"title":"Item:Q4175275","lastrevid":81591707,"modified":"2026-05-06T18:53:05Z","type":"item","id":"Q4175275","labels":{"en":{"language":"en","value":"Ordinals connected with formal theories for transfinitely iterated inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3611352"}},"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":"Q4175275$93764676-F2C8-4AB0-AC21-E36D3A417F00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d70e57c4b644795104ed990b882e04fca007b33","datavalue":{"value":{"text":"Ordinals connected with formal theories for transfinitely iterated inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4175275$033BD472-F515-4C62-8BC7-CF926A63A9A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82d15f73779c27d15fe5ee4d2e3334788839d029","datavalue":{"value":"0394.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175275$41195707-E872-4A73-92F5-8A17A4B235A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91a6d8e958639c2a1cc19d3f8cca502a8006db16","datavalue":{"value":"10.2307/2272816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175275$CFC4491E-1488-48FA-9EC1-6152D4B2B79C","rank":"normal"}],"P16":[{"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":"Q4175275$AC7ACBB7-3790-4C9F-9B01-270681C8A08A","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":"Q4175275$D848B5CD-4500-4288-BDB3-603F8A5DDDF4","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":"Q4175275$36A1EDBD-5B60-423D-B421-6880045C3CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175275$87025C71-1C51-41E5-BB9D-38C5E25D4380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175275$216B85B4-14EF-40C9-8D81-1D562FB84F70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"332a5df6ded619a8ffc22a2c21cf18f3cf74060d","datavalue":{"value":"3611352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175275$FDDC4ACC-CB98-4790-99C2-0DCC2814DF9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6acf678b5dfba84ffb7f667070365806d0cd8e0","datavalue":{"value":"Formal Theories for Transfinitely Iterated Inductive Definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175275$B7F6C6C7-4E2E-4541-9E61-E1FEB10A03D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1d5a8a9d2850744d61a4b43ec6a55a7a792c68","datavalue":{"value":"Ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175275$EF421B0F-00A2-4A59-A7AD-05D4001487EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0939bef786d5ea178afd4a9f20c2b129a09284bd","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175275$667BEF51-2CB0-4A16-A3E8-A44430BC7562","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":"Q4175275$B2FC94B2-0E55-40C5-9C48-BE12FD0C22EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"287b245d7c63f0d3b985611a96535bf0b08743f4","datavalue":{"value":"https://doi.org/10.2307/2272816","type":"string"},"datatype":"url"},"type":"statement","id":"Q4175275$32AF89F9-A851-4532-9387-961B215B9A67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d5e573bd29eb095cd42f7075a252b340a2b3d9","datavalue":{"value":"W2039639438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175275$466CBF58-A66B-49AE-9905-6A575DF4BF11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175275$719FFF0F-F3E1-46FF-8FA4-22AB08397D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175275$210F502D-BEAD-4648-8D8A-96D55576C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175275$8C743C3C-1022-4A00-9F34-957242610349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175275$F7B75655-B5C8-4CD8-9160-F55EAFF14060","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":"Q4175275$70C8A421-42A9-48BA-8CA5-F5F438CBC031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4dc7e283f635d55c6e12be8d9a1a8de901f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":2539216,"id":"Q2539216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175275$8878704C-9639-4334-9E74-B2064E6F5043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fc2e7459eaf322f6bdf4106f28738c73144017","datavalue":{"value":{"entity-type":"item","numeric-id":4198748,"id":"Q4198748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175275$9CFDB7AA-83B8-49B7-8990-68CE62F624C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinals connected with formal theories for transfinitely iterated inductive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinals_connected_with_formal_theories_for_transfinitely_iterated_inductive_definitions"}}}}}