{"entities":{"Q3942955":{"pageid":5972860,"ns":120,"title":"Item:Q3942955","lastrevid":55064020,"modified":"2026-02-03T07:48:16Z","type":"item","id":"Q3942955","labels":{"en":{"language":"en","value":"Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760155"}},"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":"Q3942955$730381C6-BBEE-4BF6-900D-D4F9F15EA6C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f9cb621211408f5767d3075744aa1ad7ab84de","datavalue":{"value":{"text":"Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942955$35CC6EAF-325F-485C-944D-EC22D5AA580C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e71e43e3a95aa6711bcf68b245465f54a0fe6968","datavalue":{"value":"0484.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942955$2539641C-8206-464B-B1CE-06544A145C67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38dddb600a4b6d19fe27ca12b30e1ff89d31a1a0","datavalue":{"value":"10.1007/BF02011638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942955$C52BDC03-69AC-4C62-930F-8A7027861A5A","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":"Q3942955$2646BFF3-691A-4E5D-B482-76E14A9CA1C3","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":"Q3942955$D2502F3B-BFF0-42CF-A724-B63B328EDAEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3942955$E0613C5F-7870-478A-9CDC-5F39250B70F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d06bf109e355857a3c99a6f2fb28cd22536bd1","datavalue":{"value":"https://eudml.org/doc/137980","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942955$BCCE5601-6110-4E3A-9DAF-CD1DF852FF47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942955$5918BDC2-6B43-4B18-81C2-709306CDA5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942955$DA4E37FA-217F-47CA-BD1A-8D95B4D9F779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74addc649b89d3b479b4cf7a6210ae911425e06a","datavalue":{"value":"3760155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942955$E798C4AF-E03F-4C37-99A8-C6270A36E669","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b67979cbd869042e4c9acbaf95398e4db5a34404","datavalue":{"value":"noniterated generalized inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942955$2C1CE751-AC0F-499F-9A9E-E00320546869","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":"Q3942955$EF6DB4C8-A3B7-4752-A5B3-688BC2BCE84E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$30087ED2-1F65-477B-B726-FBE4B1753F6F","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":"Q3942955$C65C8522-A687-4BB6-B59A-A497C7573645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$42D509CF-7983-43B0-8CD0-A6AB56E94E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bf4a411e3d131e27e6abadf196604237df075e","datavalue":{"value":{"entity-type":"item","numeric-id":4140960,"id":"Q4140960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$E62C39C2-5522-47A3-852E-E57C83AA8BA0","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":"Q3942955$2CC46C02-3F9A-41ED-913D-109417418F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$79D572D0-9B04-40A9-8B3F-8BD682487381","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":"Q3942955$F9E2109F-D658-4121-BA7D-217595E20579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116a611e86eefe60b27b9f78858f3d08089c740","datavalue":{"value":{"entity-type":"item","numeric-id":3880843,"id":"Q3880843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$A0B7149C-A76A-4E82-96A0-606D61364304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af404e3c43c0a0e278e600dcc0d0054ce40de57","datavalue":{"value":{"entity-type":"item","numeric-id":4120570,"id":"Q4120570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$0C58D506-647F-4D6A-8F72-7D7075E76A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc2143eb9934bad347b67d1052a1c677ec1b276","datavalue":{"value":{"entity-type":"item","numeric-id":4175275,"id":"Q4175275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$D2D9A2F4-705D-43F3-BA34-7BA9C6A2FA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942955$167F339D-56EF-45D3-A73E-350233E4A5C7","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":"Q3942955$C2A63C76-238F-420D-9ACA-24063051550C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24467c10d0e4a9bdf3dc885810ca229179912dd7","datavalue":{"value":"W1992414919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942955$589F3D6A-E7F1-491E-9E79-AE8623CF2F69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3942955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3942955"}}}}}