{"entities":{"Q4938220":{"pageid":6967802,"ns":120,"title":"Item:Q4938220","lastrevid":108548732,"modified":"2026-11-06T22:53:45Z","type":"item","id":"Q4938220","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405257"}},"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":"Q4938220$B80A3439-5688-4439-86F3-8749823E18CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e695b2d3f92574901bab78fd95bcf5a4453c41ca","datavalue":{"value":"0932.00038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938220$EF167C68-A5C8-4441-8C01-40F20ABA60A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938220$8B1D7500-E990-4FBE-A45E-686417CD5AA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938220$DC41C8D3-E9D1-46B1-B9D6-E6D8A800B697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938220$2608335A-50F8-4F4E-8B2C-D0A147396F8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c69a0666392c8b9e6b265d1e2de2fcf241e1f241","datavalue":{"value":"1405257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938220$BD604338-1A12-446F-94AB-A704DB723FB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938220$60AD9F3B-4F80-4743-BDF1-CC627DE6CF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938220$9F791999-C99C-4BFC-978A-A6B363BE29DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938220$4CF26BE0-8BE4-4AEC-B04F-31081BEC6AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf1c84419712355afc19081652b82e35eaf058ad","datavalue":{"value":"ASL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938220$AFB4CA1E-5B45-4F66-BD1E-ACAB39CE4BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0aa30c9bbca6402d32c13a132971934631af137","datavalue":{"value":"Prague (Czech Republic)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938220$FDCB90F6-AF82-4968-84D8-5966E3A262B1","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":"Q4938220$BBCC3DE8-9344-4EDC-9DBC-9EB2B7CA28FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fedc262a9c6822fa2d1e0ebcf82b4c562f39295","datavalue":{"value":{"entity-type":"item","numeric-id":4399939,"id":"Q4399939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd62bb3f1654e08a675a4dc0c8de25b6d8eb7700","datavalue":{"value":{"amount":"+0.8494061231613159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4938220$6A859678-34FE-4631-8112-483602934E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87192de90e6ac83a4d768c013a719ec36a131606","datavalue":{"value":{"entity-type":"item","numeric-id":4256656,"id":"Q4256656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f362b030df54828b66149076b3e9f715f75c0580","datavalue":{"value":{"amount":"+0.8482041358947754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4938220$8FF44DC4-AA1E-405E-96EB-DCBFCBB00507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cab2daf02172eecf2a7c109923a976fab5c61e","datavalue":{"value":{"entity-type":"item","numeric-id":1267836,"id":"Q1267836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed012f3707f2a3107b31131cf1d029c05245063","datavalue":{"value":{"amount":"+0.8396332859992981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4938220$0206EB2D-0BF9-4FD4-8C75-37EF658A1DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5516e1dad496bc1722a41b10f5ff7cfec0b0a4","datavalue":{"value":{"entity-type":"item","numeric-id":5117298,"id":"Q5117298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284483bd7879d40b4c4b825052be6128b89f58b2","datavalue":{"value":{"amount":"+0.8395512104034424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4938220$928F864D-8141-446B-91EF-27EE94FB6341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e15ea6ea5d2088ad82208087014580ef11552a7","datavalue":{"value":{"entity-type":"item","numeric-id":4256655,"id":"Q4256655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b75d3f9fe229c998e6d6e1f4c9d1ce2b1ae2f40","datavalue":{"value":{"amount":"+0.8261217474937439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4938220$9E810C76-2463-459C-A532-F337F1139015","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee540d882810f0cbb1f25c2d6d6077f2ed38716e","datavalue":{"value":"The articles of this volume will be reviewed individually. The abstracts of talks of this colloquium have been announced in MATH-Database. The 1997 colloquium has been been reviewed (see Zbl 0919.00039 and Zbl 0919.00040). Indexed articles: \\textit{Ambos-Spies, Klaus; Bentzien, Levke; Fejer, Peter A.; Merkle, Wolfgang; Stephan, Frank}, Collapsing polynomial-time degrees, 1-24 [Zbl 0951.03039] \\textit{Arl\u00f3 Costa, Horacio}, Qualitative and probabilistic models of full belief, 25-43 [Zbl 0942.03021] \\textit{Arslanov, Marat M.; Sorbi, Andrea}, Relative splittings of \\(\\mathbf 0_e\\prime\\) in the \\(\\Delta_2^0\\)-enumeration degrees, 44-56 [Zbl 0951.03034] \\textit{Avigad, Jeremy}, A realizability interpretation for classical arithmetic, 57-90 [Zbl 0946.03071] \\textit{Baaz, Matthias; Veith, Helmut}, An axiomatization of quantified propositional G\u00f6del logic using the Takeuti-Titani rule, 91-104 [Zbl 0943.03020] \\textit{Beklemishev, L.}, Another pathological well-ordering, 105-108 [Zbl 0943.03045] \\textit{Brendle, J\u00f6rg}, How small can the set of generics be?, 109-126 [Zbl 0943.03038] \\textit{Cederquist, Jan; Coquand, Thierry}, Entailment relations and distributive lattices, 127-139 [Zbl 0948.03056] \\textit{Chong, Chi Tat; Qian, Lei; Yang, Yue}, The Friedberg jump inversion theorem revisited: A study of undefinable cuts, 140-153 [Zbl 0954.03042] \\textit{Cooper, S. Barry}, Hartley Rogers' 1965 agenda, 154-172 [Zbl 0949.03037] \\textit{Farah, Ilijas}, Liftings of homomorphisms between quotient structures and Ulam stability, 173-196 [Zbl 0945.03070] \\textit{H\u00e1jek, Petr}, Mathematical fuzzy logic -- state of art, 197-205 [Zbl 0949.03023] \\textit{Hauser, Kai}, Reflections on the last Delfino problem, 206-225 [Zbl 0972.03044] \\textit{Hjorth, Greg}, Continuous images of coanalytic sets, 226-237 [Zbl 0954.03049] \\textit{H\u00f6hle, Ulrich}, Classification of subsheaves over \\(GL\\)-algebras, 238-261 [Zbl 0946.03080] \\textit{Johannsen, Jan; Pollett, Chris}, On the \\(\\Delta_1^b\\)-bit-comprehension rule, 262-279 [Zbl 0988.03088] \\textit{Kamo, Shizuo}, Cardinal invariants associated with predictors, 280-295 [Zbl 0943.03037] \\textit{Komj\u00e1th, P\u00e9ter}, A theorem on countable ordered sets with an application to universal graphs, 296-301 [Zbl 0943.06002] \\textit{Lipshitz, Leonard; Robinson, Zachary}, Dimension theory and smooth stratification of rigid subanalytic sets, 302-315 [Zbl 0978.14046] \\textit{Ml\u010dek, Josef; Zlato\u0161, Pavol}, The Ramsey structure of \\(A\\)-determined sets in a \\(\\kappa\\)-saturated universe, 316-333 [Zbl 0944.03044] \\textit{Morozov, A. S.}, On \\(\\Sigma\\)-definability of admissible sets, 334-351 [Zbl 0960.03038] \\textit{Palyutin, Evgeni A.}, Additive theories, 352-356 [Zbl 0942.03045] \\textit{Peterzil, Y.; Speissegger, P.; Starchenko, S.}, Adding multiplication to an o-minimal expansion of the additive group of real numbers, 357-362 [Zbl 0945.03057] \\textit{Rathjen, Michael}, The superjump in Martin-L\u00f6f type theory, 363-386 [Zbl 0944.03057] \\textit{Rott, Hans}, ``Just because'': Taking belief bases seriously, 387-408 [Zbl 0942.03025] \\textit{Schoutens, Hans}, Artin approximation via the model theory of Cohen-Macaulay rings, 409-425 [Zbl 0947.03052] \\textit{Setzer, Anton}, Ordinal systems. II: One inaccessible, 426-448 [Zbl 0951.03051] \\textit{Strahm, Thomas}, Autonomous fixed point regressions and fixed point transfinite recursion, 449-464 [Zbl 0943.03044] \\textit{Tupailo, Sergei}, Finitary reductions for local predicativity. I: Recursively regular ordinals, 465-499 [Zbl 0949.03053] \\textit{Urquhart, Alasdair}, The complexity of linear logic with weakening, 500-515 [Zbl 0949.03058] \\textit{Welch, Philip D.}, Some remarks on the maximality of inner models, 516-540 [Zbl 0943.03039] Bolzano Medal awarded to Gaisi Takeuti, viii-xii [Zbl 0942.01029]","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938220$7DF94E99-9964-4820-9239-ADFC363D26CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938220"}}}}}