{"entities":{"Q1578434":{"pageid":1589174,"ns":120,"title":"Item:Q1578434","lastrevid":72236499,"modified":"2026-04-14T03:32:12Z","type":"item","id":"Q1578434","labels":{"en":{"language":"en","value":"Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1498492"}},"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":"Q1578434$C8E7FE85-C965-4AC1-9C3D-287CF57F0D7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9df87539b066b37fb8f892c25dab6ef6b4fb1a7","datavalue":{"value":{"text":"Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1578434$2CBC5D62-828B-47D4-ACC1-7AE82CF5F05A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5c1e1c46f6c67e9df8d388e2b44ef5f11a48bec","datavalue":{"value":"0944.00037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$789BE0D9-3A5A-4616-935E-75FCFC2CA17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"315f7f9252fb6e56eee243d92b83535a4cded062","datavalue":{"value":"10.1007/3-540-44622-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$610150B6-8F8D-4E5D-84A3-B02C2C03B553","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":"Q1578434$976410E0-B29D-4A5E-8EDC-BE4AA3AE26B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6586588445949d2fbb40c4309ca2cd89ad6a7878","datavalue":{"value":{"time":"+2000-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1578434$6A614064-65E6-4884-8577-A34C4A6B5E7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abc3a0c94b104e7c075b70e9effbe2317ed925e9","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding workshop (13th, 1999) has been reviewed (Zbl 0929.00039).  Indexed articles:  \\textit{Blass, Andreas; Gurevich, Yuri}, Background, reserve, and Gandy machines, 1-17 [Zbl 0973.03053]  \\textit{Blass, Andreas; Gurevich, Yuri}, Choiceless polynomial time computation and the zero-one law, 18-40 [Zbl 0973.03054]  \\textit{B\u00f6rger, Egon; Schmid, Joachim}, Composition and submachine concepts for sequential ASMs, 41-60 [Zbl 0973.68066]  \\textit{Poizat, Bruno}, An unsuccessful attempt to construct a structure quickly eliminating quantifiers, 61-70 [Zbl 0973.03045]  \\textit{Schulte, Wolfram}, Translating theory into practice -- abstract state machines within Microsoft, 71 [Zbl 0973.68616]  \\textit{Shelah, Saharon}, Choiceless polynomial time logic: Inability to express, 72-125 [Zbl 0973.03055]  \\textit{Stirling, Colin}, Schema revisited, 126-138 [Zbl 0973.68531]  \\textit{Abramsky, Samson; Lenisa, Marina}, A fully complete PER model for ML polymorphic types, 140-155 [Zbl 0973.03015]  \\textit{Aspinall, David}, Subtyping with power types, 156-171 [Zbl 0973.03018]  \\textit{Atserias, Albert}, The descriptive complexity of the fixed-points of bounded formulas, 172-186 [Zbl 0973.03057]  \\textit{Baaz, Matthias; Zach, Richard}, Hypersequents and the proof theory of intuitionistic fuzzy logic, 187-201 [Zbl 0973.03029]  \\textit{Bauer, Andrej; Birkedal, Lars}, Continuous functionals of dependent types and equilogical spaces, 202-216 [Zbl 0973.03036]  \\textit{Benedikt, Michael; Keisler, H. Jerome}, Definability over linear constraints, 217-231 [Zbl 0973.03037]  \\textit{Blumensath, Achim}, Bounded arithmetic and descriptive complexity, 232-246 [Zbl 0973.68082]  \\textit{Bradfield, J. C.}, Independence: Logics and concurrency, 247-261 [Zbl 0973.03041]  \\textit{Comon, Hubert; Cortier, V\u00e8ronique}, Flatness is not a weakness, 262-276 [Zbl 0973.68142]  \\textit{Coquand, Thierry; Zhang, Guo-Qiang}, Sequents, frames, and completeness, 277-291 [Zbl 0973.03080]  \\textit{Danos, Vincent; Krivine, Jean-Louis}, Disjunctive tautologies as synchronisation schemes, 292-301 [Zbl 0973.03039]  \\textit{\u00c9sik, Zolt\u00e1n}, Axiomatizing the least fixed point operation and binary supremum, 302-316 [Zbl 0973.08003]  \\textit{Hancock, Peter; Setzer, Anton}, Interactive programs in dependent type theory, 317-331 [Zbl 0973.68041]  \\textit{Hemaspaandra, Edith}, Modal satisfiability is in deterministic linear space, 332-342 [Zbl 0973.03056]  \\textit{Jaume, Mathieu}, Logic programming and co-inductive definitions, 343-355 [Zbl 0973.68026]  \\textit{Kahle, Reinhard; Studer, Thomas}, A theory of explicit mathematics equivalent to \\(\\text{ID}_1\\), 356-370 [Zbl 0973.03078]  \\textit{Kuznets, Roman}, On the complexity of explicit modal logics, 371-383 [Zbl 0973.03075]  \\textit{Laird, J.}, Finite models and full completeness, 384-398 [Zbl 0973.03040]  \\textit{Makowsky, J. A.; Meer, K.}, On the complexity of combinatorial and metafinite generating functions of graph properties of the computational model of Blum, Shub and Smale, 399-410 [Zbl 0973.68524]  \\textit{Momigliano, Alberto}, Elimination of negation in a logical framework, 411-426 [Zbl 0973.68039]  \\textit{Murawski, A. S.; Ong, C.-H. L.}, Discreet games, light affine logic and PTIME computation, 427-441 [Zbl 0973.03038]  \\textit{Zhan, Naijun}, Completeness of higher-order duration calculus, 442-456 [Zbl 0973.68038]  \\textit{Ohsaki, Hitoshi; Middeldorp, Aart; Giesl, J\u00fcrgen}, Equational termination by semantic labelling, 457-471 [Zbl 0973.68094]  \\textit{Parigot, Michel}, On the computational interpretation of negation, 472-484 [Zbl 0973.03017]  \\textit{Pauly, Marc}, From programs to games: Invariance and safety for bisimulation, 485-496 [Zbl 0973.68040]  \\textit{Power, John; Robinson, Edmund}, Logical relations and data abstraction, 497-511 [Zbl 0973.68148]  \\textit{Schuster, Peter M.}, Elementary choiceless constructive analysis, 512-526 [Zbl 0973.03079]  \\textit{Yavorsky, Rostislav E.}, On the logic of the standard proof predicate, 527-541 [Zbl 0973.03077]  \\textit{B\u00f6rger, Egon}, Yuri Gurevich: The evolution of a research life from algebra through logic to computer science, viii-x [Zbl 0973.01060]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578434$9125D7B6-B0B1-4266-8250-C0D9C54AD9AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$55A9B8F5-6BEE-4612-93E3-C9EAD20AF8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$0CFE59C7-42B1-434C-8851-589743C0E176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$AEEB1D2B-3D7B-4DDC-8006-4A6D93F76C1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a9e4b3aa673e95ec9f868b27504109ddc72ed2","datavalue":{"value":"1498492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$7109E22F-F688-4C8F-85FC-CC6F15A5A885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa176d3c8628af768010172a49f2fc922f888c9","datavalue":{"value":"Fischbachau (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578434$F1CFF03D-CCAA-4411-85A9-F1A5ECF6BA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578434$D7AA290E-D9EF-4223-B0F2-AE9C910CBC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578434$6EFBB8D1-4D9F-4D2A-882D-53FEA2C55F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a6e2e0fb8f9704c47bb2672489ce8b5f92e9e5","datavalue":{"value":"CSL 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578434$13AFBEB3-8D15-4B02-B86D-3C3A3AD01407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e266570abfd2dbb24417bcf760bed9fb5fc2357","datavalue":{"value":"Computer science logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578434$6C95E8BF-8278-4F8B-B999-550B81197427","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":"Q1578434$76EA3DFC-36F2-4693-B893-65790FE4F862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61e807813e32b7375741e2a85721cab1e1ec28be","datavalue":{"value":"https://doi.org/10.1007/3-540-44622-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1578434$F04DE7A2-DCD1-4E17-91AA-96790FE125A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d9949333504ccbdbd6238cbe4f5101b29fe624b","datavalue":{"value":"W2494642820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578434$51948D83-D918-4CDD-BE48-CDE3B3FB068F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_science_logic._14th_international_workshop,_CSL_2000._Annual_conference_of_the_EACSL,_Fischbachau,_Germany,_August_21--26,_2000._Proceedings"}}}}}