{"entities":{"Q1362744":{"pageid":1373483,"ns":120,"title":"Item:Q1362744","lastrevid":43059632,"modified":"2025-07-17T08:15:42Z","type":"item","id":"Q1362744","labels":{"en":{"language":"en","value":"Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1044855"}},"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":"Q1362744$2476D512-0EE5-4F75-92CF-8BF68743EEFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b1029b23631e530d065d6358e45ef51ccb5ea5a","datavalue":{"value":{"text":"Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362744$72F3C980-D86D-4CE5-A275-3B8A3777A53C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c9dfb4e626aa7bbca8019094fdaf3f15fa6685","datavalue":{"value":"0868.00033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$A04F609B-5ACD-498D-AD81-55BB59E652B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573c66a91376c646b6e2502fca4e3c6028ee6f8b","datavalue":{"value":"10.1007/3-540-63172-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$A686F0EF-2EA4-4A34-B953-7F663DF3B5ED","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":"Q1362744$0BE7A4CA-B88D-4031-BD6B-A8CED08DBCC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ab8dd87b0fe23baaccedfb0031a4cb9ff78b5b8","datavalue":{"value":{"time":"+1997-08-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":"Q1362744$37F77C54-14EA-4E22-A820-FA0F932B1A8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff90a8bdec88b953e52bd4242b476e4dbf56cc82","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (9, 1995) has been reviewed (see Zbl 0851.00042).  Indexed articles:  \\textit{Baaz, Matthias; Leitsch, Alexander}, Fast cut-elimination by projection, 18-33 [Zbl 0889.03048]  \\textit{Barthe, G.; Melli\u00e8s, P.-A.}, On the subject reduction property for algebraic type systems, 34-57 [Zbl 0882.03010]  \\textit{Cattani, Gian Luca; Winskel, Glynn}, Presheaf models for concurrency, 58-75 [Zbl 0881.18013]  \\textit{Danos, Vincent; Pedicini, Marco; Regnier, Laurent}, Directed virtual reductions, 76-88 [Zbl 0889.68022]  \\textit{Dziembowski, Stefan}, Bounded-variable fixpoint queries are PSPACE-complete, 89-105 [Zbl 0889.68051]  \\textit{van Eekelen, Marko; Smetsers, Sjaak; Plasmeijer, Rinus}, Graph rewriting semantics for functional programming languages, 106-128 [Zbl 0884.68079]  \\textit{Fiore, Marcelo P.; Plotkin, Gordon D.}, An extension of models of axiomatic domain theory to models of synthetic domain theory, 129-149 [Zbl 0884.18009]  \\textit{Geser, Alfons; Middeldorp, Aart; Ohlebusch, Enno; Zantema, Hans}, Relative undecidability in term rewriting, 150-166 [Zbl 0884.68067]  \\textit{Geuvers, Herman}, Extending models of second order predicate logic to models of second order dependent type theory, 167-181 [Zbl 0881.03005]  \\textit{Ghani, Neil}, Eta-expansions in \\(F^ \\omega\\), 182-197 [Zbl 0881.03010]  \\textit{Gor\u00e9, Rajeev}, Cut-free display calculi for relation algebras, 198-210 [Zbl 0881.03040]  \\textit{Imhof, Henrik}, Computational aspects of arity hierarchies, 211-225 [Zbl 0894.03019]  \\textit{Ing\u00f3lfsd\u00f3ttir, Anna}, Weak semantics based on lighted button pressing experiments. An alternative characterization of the readiness semantics, 226-243 [Zbl 0889.68100]  \\textit{Kozen, Dexter; Smith, Frederick}, Kleene algebra with tests: Completeness and decidability, 244-259 [Zbl 0882.03064]  \\textit{Kreidler, Martin; Seese, Detlef}, Monadic NP and built-in trees, 260-274 [Zbl 0888.03026]  \\textit{Luo, Zhaohui}, Coercive subtyping in type theory, 273-296 [Zbl 0882.03029]  \\textit{Malecki, Sophie}, Proofs in system \\(F_ \\omega\\) can be done in system \\(F_ \\omega^ 1\\), 297-315 [Zbl 0884.03007]  \\textit{Malmstr\u00f6m, Anders}, Optimization problems with approximation schemes, 316-333 [Zbl 0878.90105]  \\textit{Matzinger, Robert}, Computational representations of Herbrand models using grammars, 334-348 [Zbl 0881.03009]  \\textit{Merkle, Wolfgang}, Exact pairs for abstract bounded reducibilities, 349-368 [Zbl 0882.03043]  \\textit{Otto, Martin}, The logic of explicitly presentation-invariant circuits, 369-384 [Zbl 0889.03021]  \\textit{Philippou, Anna; Walker, David}, Social confluence in client-server systems, 385-398 [Zbl 0884.68051]  \\textit{Roversi, Luca}, A type-free resource-aware \\(\\lambda\\)-calculus, 399-413 [Zbl 0887.03009]  \\textit{Setzer, Anton}, Inductive definitions with decidable atomic formulas, 414-430 [Zbl 0881.03034]  \\textit{St\u00e4rk, Robert F.}, Call-by-value, call-by-name and the logic of values, 431-445 [Zbl 0881.03019]  \\textit{Statman, Rick}, On Cartesian monoids, 446-459 [Zbl 0882.03063]  \\textit{Yashin, A. D.}, New intuitionistic logical constants: Undecidability of the conservativeness problem, 460-471 [Zbl 0881.03007]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362744$3AC976B1-4E85-4286-8B20-7335B172D9EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$1A7181E2-C3A8-4D1E-922F-ED7E59DBC7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$38CB26C0-0561-4E0B-AB63-99B035603327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$D46BBD45-E1F3-499A-9674-BC4811C26FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c78e6cd6122d6092b52c7fb335704609f0f1288","datavalue":{"value":"1044855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$114823F5-DBE6-4B1C-861B-C3E5E498CB02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b24ba4facf1cda464e3147b2cbc93ce740fb5e6","datavalue":{"value":"Utrecht (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362744$1A06F7A1-CF94-4F6A-96A6-C1C9D87482DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362744$DE5DAD2A-739D-4168-BC4D-16797018A810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362744$1740D5CE-6737-4766-AEDB-0B61CDA3DEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e266570abfd2dbb24417bcf760bed9fb5fc2357","datavalue":{"value":"Computer science logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362744$76622B6D-59B6-4191-B28C-0FEF30C34A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3c6317d7eb43706ad15cbaec6f72e995715e9e","datavalue":{"value":"CSL '96","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362744$F25D62B8-713B-4022-A79B-FEE07F90789A","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":"Q1362744$BA04474C-3E65-418D-8DC4-BD1953EA97ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2cd15dd2db2e0a480a9d3c68afe3c6211a80fbb","datavalue":{"value":"https://doi.org/10.1007/3-540-63172-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1362744$9576AB8E-D66E-4C2C-9503-58D273C2201B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9685e28027ddc63f5a1263ad90f6ebb1c84c40ce","datavalue":{"value":"W590934608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362744$17A88F35-22B9-4E1D-BDA5-D8A937B05D18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1362744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1362744"}}}}}