{"entities":{"Q3960689":{"pageid":5990594,"ns":120,"title":"Item:Q3960689","lastrevid":55113010,"modified":"2026-02-03T19:22:55Z","type":"item","id":"Q3960689","labels":{"en":{"language":"en","value":"Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3782995"}},"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":"Q3960689$7C995826-DFC4-4A5A-B9C5-B304CA3512F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a847a87f621c94fab2270611fe8518c3b35816b","datavalue":{"value":{"text":"Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3960689$599424CA-F471-4369-8C7B-29E6F51E4F0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b2ab51ea68d7bbc05335ff3af0fcd6156198f73","datavalue":{"value":"0497.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960689$1D3A5306-7A99-4D08-AAFF-9E7A0119E452","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f8af2b5bf54b37faf03d3e590f9b4ecd398d51a","datavalue":{"value":"10.1007/BF02318028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960689$32FD53D8-65AC-4D40-AB7D-F7AE1433F8C4","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":"Q3960689$22D08375-65A6-46F8-9BF2-129D0FB6E82D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6404a67ee80bf8c30e440d1605bae281c5dcca83","datavalue":{"value":{"entity-type":"item","numeric-id":3956907,"id":"Q3956907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3960689$D583D27C-ED6B-468D-8AD2-A13DC6DC2C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3960689$FF0C92F0-FA47-4DEE-BF91-319F0795D5A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a75449dd5ed6042c492c7339f3e6eac2ea595422","datavalue":{"value":"https://eudml.org/doc/137993","type":"string"},"datatype":"url"},"type":"statement","id":"Q3960689$6EA7DDC3-3BE4-49E9-B42E-15D37B658DA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960689$1592FE09-05EB-482F-93F7-7245BA0E25CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960689$4581BFB4-288C-4CEB-8FBE-A9CA807AEC39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3475bd3b0951a63075dfd73ca9914298ab10c76","datavalue":{"value":"3782995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960689$56BF8A0D-0ED0-4F18-916A-396283AD783F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713649aeca702c1986304b492c74ff714c28f0ea","datavalue":{"value":"interpretation of the theory of noniterated generalized inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960689$EB32EBF2-F029-433F-803E-69C4161A4334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb225fcfff70f7fd4ab3836a5487dd987662795","datavalue":{"value":"proof-theoretic reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960689$EECDD05A-5179-4E70-9C43-AF24E33FBAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd11c3f49680abb37eef8b2596761939fe867b09","datavalue":{"value":"locally predicative definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960689$2B722224-948A-4D4D-80D9-E1C7D1ADA495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5e3fff326842b42f32681676d58fdef238ce95","datavalue":{"value":"coinductive order relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960689$4B711FE0-CA6C-4715-81DE-1708094FFE0A","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":"Q3960689$A7A78C10-8CC1-479F-911F-62CAE44487A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f9f1855b1f81a7e896e401315f0577c9a83b1a","datavalue":{"value":"W1990882196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960689$579536D9-C44D-4502-B98A-388231071A84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3960689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3960689"}}}}}