{"entities":{"Q1819249":{"pageid":1829991,"ns":120,"title":"Item:Q1819249","lastrevid":73027887,"modified":"2026-04-14T09:29:54Z","type":"item","id":"Q1819249","labels":{"en":{"language":"en","value":"Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1385379"}},"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":"Q1819249$14D81BF6-010B-4B77-A450-90F79CD940E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deef5608ee216f3163e4fa2f7105ac9630e52f26","datavalue":{"value":{"text":"Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819249$4BC069D2-6235-4DBB-8FDC-7FFF968B6EB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9df604365a1327b3bd40368e29b54602ae2a56b8","datavalue":{"value":"0929.00065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$845583EE-93EB-46E7-8D4B-CDBF63F0AE29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d192b3772ef8d287c2c9b13dccc20e9584ca67aa","datavalue":{"value":"10.1007/3-540-48167-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$5C23780E-FB6A-4AFC-BCC7-C1D3F7D1F82B","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":"Q1819249$E5116EAE-CC9C-46ED-B601-B63BE3B256F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce0f1d7076f00885dcda5c95cdbb1d1a7452f6c5","datavalue":{"value":{"time":"+2000-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819249$229E5745-5C82-4117-9EB1-2B0984419672","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17089a1c9dbd6fab5d9fc3851f4b255a656bd306","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Aczel, Peter}, On relating type theories and set theories, 1-18 [Zbl 0944.03056]  \\textit{Ahn, Ren\u00e9; Borghuis, Tijn}, Communication modelling and context-dependent interpretation: An integrated approach, 19-32 [Zbl 0938.68843]  \\textit{Coquand, Thierry; Persson, Henrik}, Gr\u00f6bner bases in type theory, 33-46 [Zbl 0979.03044]  \\textit{Despeyroux, Jo\u00eblle; Leleu, Pierre}, A modal lambda calculus with iteration and case constructs, 47-61 [Zbl 0943.03010]  \\textit{Dowek, Gilles; Werner, Benjamin}, Proof normalization modulo, 62-77 [Zbl 0944.03052]  \\textit{Filli\u00e2tre, Jean-Christophe}, Proof of imperative programs in type theory, 78-92 [Zbl 0944.03021]  \\textit{Fridlender, Daniel}, An interpretation of the fan theorem in type theory, 93-105 [Zbl 0943.03047]  \\textit{Goubault-Larrecq, Jean}, Conjunctive types and SKInT, 106-120 [Zbl 0943.03011]  \\textit{Kamm\u00fcller, Florian}, Modular structures as dependent types in Isabelle, 121-132 [Zbl 0942.68116]  \\textit{Kleymann, Thomas}, Metatheory of verification calculi in LEGO. To what extent does syntax matter?, 133-148 [Zbl 0942.68117]  \\textit{Liquori, Luigi}, Bounded polymorphism for extensible objects, 149-163 [Zbl 0942.68028]  \\textit{Maietti, Maria Emilia}, About effective quotients in constructive type theory, 164-178 [Zbl 0943.03053]  \\textit{Pfenning, Frank; Sch\u00fcrmann, Carsten}, Algorithms for equality and unification in the presence of notational definitions, 179-193 [Zbl 0942.03014]  \\textit{Sambin, Giovanni; Gebellato, Silvia}, A preview of the basic picture: A new perspective on formal topology, 194-207 [Zbl 0953.03069]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$A6C1061A-664C-4457-A1B4-CCC2C02E6B9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$1548C8F5-AB11-49DF-82B3-6F5CA0F4128F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$4119B9F7-4445-4F27-86F3-C015EB9F2351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$06D17A13-2167-4399-8485-62A13B1FB300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55b164565d6ab4ccb38572620f45c290d0db9dd","datavalue":{"value":"1385379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$FA0AC441-34EA-48E1-A587-9A5C830B9886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ff2f8343438a6fb78c4892b81f52a348060e94","datavalue":{"value":"Kloster Irsee (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$064EEC51-FC5C-4E2A-A264-9BB4030D7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$42203868-0B85-4ADE-8AB3-1D1F66E954DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$6F452EEF-C0B0-410A-ABB5-0CCAA0D50EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a04ae7677783fb98edd63776111f4c1839653d89","datavalue":{"value":"TYPES '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$6BFE517C-D350-4A3B-8858-294125F2FD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"365b2ad72809e114ad94e6c03e54157c8d381b4d","datavalue":{"value":"Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$715A8F19-FD1C-497B-B091-F2E6433706FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5bd553977cc99c9ad6c7a97db0771de442861cf","datavalue":{"value":"Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819249$7DA76B73-A8AB-4CFC-8D2F-CB64912751E8","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":"Q1819249$D2239322-04DC-454F-82AF-C67BC0690785","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f80fb37e8ff5688d591894e0eeba42bdea53c1c4","datavalue":{"value":"https://doi.org/10.1007/3-540-48167-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819249$43538594-EAEB-4E37-AA77-4D61A641C069","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6da0016e4e1ca97b7142ac6052b0ead74b52665","datavalue":{"value":"W4210723206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819249$BC02B399-F93D-4160-9E45-294B4BA763B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Types_for_proofs_and_programs._International_workshop,_TYPES_%2798._Kloster_Irsee,_Germany,_March_27--31,_1999._Selected_papers"}}}}}