{"entities":{"Q5951861":{"pageid":8128663,"ns":120,"title":"Item:Q5951861","lastrevid":32149793,"modified":"2024-03-19T21:19:15Z","type":"item","id":"Q5951861","labels":{"en":{"language":"en","value":"Proof theory in computer science. International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7--12, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687333"}},"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":"Q5951861$16D62DFE-FD49-4E7E-BCA5-053AE3401D6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdd19cbc251f55ad7f6c7d438cdbba30ebdae367","datavalue":{"value":{"text":"Proof theory in computer science. International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7--12, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951861$9C5ABF38-A7D0-483A-9488-59A6435BEA5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0510ff9d0ed65c9290177fe4d514097ee99fc94e","datavalue":{"value":"0977.00021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$53A5AA14-A245-42EC-BFA8-92FA9BA282CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23af801404c8cb7db00e81338d85ae1065db4755","datavalue":{"value":"10.1007/3-540-45504-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$4D2B9CB7-C19E-4988-BDC8-3FE1583AE8C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951861$FEC8D679-448D-4F3A-8FDD-BD1A0F98E7F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e418580f2b70ce6849ba62f9449722e930b0d2","datavalue":{"value":{"time":"+2002-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951861$4B5873AF-2FB6-4F20-8B34-0FB9D18FDD93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8e43df4c581392337438f290d2d32e1bb045ef3","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A.}, Linear ramified higher type recursion and parallel complexity, 1-21 [Zbl 1024.68041]  \\textit{Alt, Jesse; Artemov, Sergei}, Reflective \\(\\lambda\\)-calculus, 22-37 [Zbl 1024.03015]  \\textit{Baaz, Matthias; Ferm\u00fcller, Christian G.}, A note on the proof-theoretic strength of a single application of the schema of identity, 38-48 [Zbl 1024.03060]  \\textit{Baaz, Matthias; Leitsch, Alexander}, Comparing the complexity of cut-elimination methods, 49-67 [Zbl 1024.03058]  \\textit{Berger, Ulrich}, Program extraction from Gentzen's proof of transfinite induction up to \\(\\epsilon_0\\), 68-77 [Zbl 1024.03059]  \\textit{Do\u0161en, Kosta; Petri\u0107, Zoran}, Coherent bicartesian and sesquicartesian categories, 78-92 [Zbl 1024.03066]  \\textit{Dybjer, Peter; Setzer, Anton}, Indexed induction-recursion, 93-113 [Zbl 1024.03062]  \\textit{Elbl, Birgit}, Modeling meta-logical features in a calculus with frozen variables, 114-129 [Zbl 1024.68013]  \\textit{Gordeew, Lew}, Proof theory and Post-Turing analysis, 130-152 [Zbl 1024.03038]  \\textit{Matthes, Ralph}, Interpolation for natural deduction with generalized eliminations, 153-169 [Zbl 1024.03016]  \\textit{Oitavem, Isabel}, Implicit characterizations of Pspace, 170-190 [Zbl 1024.68042]  \\textit{Schmitt, Peter H.}, Iterate logic, 191-201 [Zbl 1024.03028]  \\textit{Studer, Thomas}, Constructive foundations for Featherweight Java, 202-238 [Zbl 1024.68014]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$DEFF7438-C6EF-49B0-B569-BA06017745C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$09728754-64A7-4B37-BED5-D7B31FD69BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$8EBFFA80-0C10-4927-AA86-0E3C594EE7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$C57AF3E0-423E-4E46-BCA5-3C013523A8D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7bcb6c9ee7aea70728ca40bc424d86a74885119","datavalue":{"value":"1687333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$DBF9559D-A2AF-4007-9406-7B8B5EF47BCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632540d605f54762cc1d2798aad78815b0744c0d","datavalue":{"value":"Dagstuhl Castle (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$2E308B8C-AEB7-4418-8E1B-11D6F35944F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$E93CFA31-3946-4AC3-B643-5ABFC9EBD95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def5286a6cb0911390d2f64f5d26873f118de740","datavalue":{"value":"Seminar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$7EECAACF-3E41-4346-8CDD-DC4CA50C7E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974a792d564a0f4b41de4fd4fdc0ce5b1b428d9c","datavalue":{"value":"PTCS 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$DBAEA6A2-B218-4F56-9957-6C9A22F837E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0cbbc442fcc127d9fa405ab5ed2ad80336e2fc","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$AAD778AB-5F5A-48DF-8AB9-036EBBD725FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951861$E8F0075B-FAF3-4563-87D1-11E4E4C09548","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":"Q5951861$54ED189E-A10B-4B20-B8A2-543409C624C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60a1e62712c9b86e1cee8343a3921ce3049ef14e","datavalue":{"value":"https://doi.org/10.1007/3-540-45504-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951861$E2994DE6-56DD-4112-A258-E6A6CBE60B18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5a6322ad7d41074c840678c02d7c2a5a95bdd0c","datavalue":{"value":"W2476624985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951861$BCCD9F6F-F8AD-4B4E-8E1D-B1E52D133376","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951861"}}}}}