{"entities":{"Q1202197":{"pageid":1212946,"ns":120,"title":"Item:Q1202197","lastrevid":69877215,"modified":"2026-04-13T10:56:32Z","type":"item","id":"Q1202197","labels":{"en":{"language":"en","value":"Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108566"}},"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":"Q1202197$EEBDD0D8-4133-45D0-8CBF-4956405FA78F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a920e06c689c66597f30b188a05aadd8ea91603e","datavalue":{"value":{"text":"Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1202197$5F142BAD-352D-49A6-AAB0-931F1B2ED391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02b21e1e66fff75fb22ce8eff49bd01ed6013d83","datavalue":{"value":"0772.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202197$DD71440B-5226-4133-9C03-B7A3220633FD","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":"Q1202197$FFB61A87-2196-4189-8520-2D088F087F6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-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":"Q1202197$20FA6600-AC43-4EDF-AB7F-D43AC13B1362","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9890a404ec23fde3504caaf71fc7f55a9b64622","datavalue":{"value":"The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 0782.00052].  Indexed articles:  \\textit{Bargury, Y.; Makowsky, J.}, The expressive power of transitive closure and 2-way multihead automata, 1-14 [Zbl 0783.03018]  \\textit{Beierle, Ch.; B\u00f6rger, E.}, Correctness proof for the WAM with types, 15-34 [Zbl 0819.68028]  \\textit{Best, E.; Esparza, J.}, Model checking of persistent Petri nets, 35-52 [Zbl 0819.68083]  \\textit{Chirimar, J.; Lipton, J.}, Provability in TBLL: A decision procedure, 53-67 [Zbl 0783.03003]  \\textit{Dahlhaus, E.}, How to implement first order formulas in local memory machine models, 68-78 [Zbl 0819.68051]  \\textit{Feferman, S.}, A new approach to abstract data types. II: Computation on ADTs as ordinary computation, 79-95 [Zbl 0819.68078]  \\textit{Fernando, T.}, A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation, 96-110 [Zbl 0783.03031]  \\textit{Flum, J.}, On bounded theories, 111-118 [Zbl 0783.03020]  \\textit{Goerdt, A.}, The cutting plane proof system with bounded degree of falsity, 119-133 [Zbl 0819.68104]  \\textit{Gonz\u00e1lez-Moreno, J. C.; Hortal\u00e1-Gonz\u00e1lez, M. T.; Rodr\u00edguez-Artalejo, Mario}, Denotational versus declarative semantics for functional programming, 134-148 [Zbl 0819.68030]  \\textit{Gr\u00e4del, E.}, On transitive closure logic, 149-163 [Zbl 0783.03012]  \\textit{Heusch, P.; Speckenmeyer, E.}, Some aspects of the probabilistic behavior of variants of resolution, 164-172 [Zbl 0819.68029]  \\textit{Hirshfeld, J.}, Safe queries in relational databases with functions, 173-183 [Zbl 0819.68047]  \\textit{Hooker, J. N.}, Logical inference and polyhedral projection, 184-200 [Zbl 0819.68105]  \\textit{H\u00f6sli, B.}, Stable logic, 201-212 [Zbl 0783.03009]  \\textit{Krishna Rao, M. R. K.; Kapur, D.; Shyamasundar, R. K.}, A transformational method for proving termination of logic programs, 213-226 [Zbl 0819.68032]  \\textit{Lehmann, D.}, Plausibility logic, 227-241 [Zbl 0819.68125]  \\textit{Lei\u00df, H.}, Towards Kleene algebra with recursion, 242-256 [Zbl 0819.68073]  \\textit{Meinke, K.}, Equational specification of abstract types and combinators, 257-271 [Zbl 0783.03039]  \\textit{Mundici, D.}, Normal forms in infinite-valued logic: The case of one variable, 272-277 [Zbl 0783.03010]  \\textit{Oguzt\u00fcz\u00fcn, H.}, A fragment of first order logic adequate for observation equivalence, 278-292 [Zbl 0819.68127]  \\textit{Pinchinat, S.}, Ordinal processes in comparative concurrency semantics, 293-305 [Zbl 0783.03007]  \\textit{Renardel de Lavalette, G. R.}, Logical semantics of modularization, 306-315 [Zbl 0819.68079]  \\textit{Schmerl, U. R.}, A cut-elimination procedure designed for evaluating proofs as programs, 316-325 [Zbl 0783.03013]  \\textit{Schwichtenberg, H.}, Minimal from classical proofs, 326-328 [Zbl 0819.68031]  \\textit{Seibert, S.}, Quantifier hierarchies over word relations, 329-338 [Zbl 0783.03025]  \\textit{Steffen, E.}, Complexity results for the default- and the autoepistemic logic, 339-352 [Zbl 0819.68126]  \\textit{Stewart, I. A.}, On completeness for NP via projection translations, 353-366 [Zbl 0819.68066]  \\textit{Thistle, J. G.; Wonham, W. M.}, Control of \\(\\omega\\)-automata, Church's problem, and the emptiness problem for tree \\(\\omega\\)-automata, 367-381 [Zbl 0783.03019]  \\textit{Troelstra, A. S.}, Comparing the theory of representations and constructive mathematics, 382-395 [Zbl 0783.03032]  \\textit{Tyszkiewicz, J.}, Infinitary queries and their asymptotic probabilities. I: Properties definable in transitive closure logic, 396-409 [Zbl 0819.68080]  \\textit{Voronkov, A.}, On completeness of program synthesis systems, 411-418 [Zbl 0783.03027]  \\textit{Weiermann, A.}, Proving termination for term rewriting systems, 419-428 [Zbl 0819.68072]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$74B76CAD-64EF-4815-85CF-B87E50E77077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202197$116E220F-78E4-4E73-AD62-BD1BCDAA649A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202197$A532578B-CF58-4A39-AD5D-6ABF54DA807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202197$CDBD7B62-6C34-47E7-AF80-81EBBDC7A771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ba908cf5fc03950119c194945a24d33e3d3a12","datavalue":{"value":"108566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202197$FFE620B5-18E4-48A1-B9BB-90568A7B71AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e266570abfd2dbb24417bcf760bed9fb5fc2357","datavalue":{"value":"Computer science logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$D63174F2-6899-47AA-BBA4-0B3497FBFA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$3E64AFA8-2A27-4567-B705-E6AE53B633A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$17018263-F78E-4E43-936C-D4B08F9F14A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$195CB977-B255-43B9-90CB-46407E936D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9b289de0f4cd8e062d0d7c6f655b31933dee0","datavalue":{"value":"CSL '91","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$948AEAE1-2EF2-46A2-8BCC-AE8A550439E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7df0bc9933adb66ecb2843a4868a260959d27d","datavalue":{"value":"Berne (Switzerland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202197$FB69E8AE-A2C9-4FB7-93F4-DCC3124C35B7","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":"Q1202197$A6D01869-38DF-4F22-8DAE-0996EAD3E7A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99dad6f97e26b7b582b393800cf6b0040d72b1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2461156,"id":"Q2461156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6269eece6ed95ffdc46d498fec57f32385bfb331","datavalue":{"value":{"amount":"+0.9101816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$949E9EFB-4277-423D-8375-AC838B505B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad2b3c8ee74a3f71c36654fb043329a5aae997c","datavalue":{"value":{"entity-type":"item","numeric-id":1202146,"id":"Q1202146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18db3ff10681611fce64ba3678e071d54966a39f","datavalue":{"value":{"amount":"+0.9100789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$2FE61FA9-7C02-4726-8010-53D891D1D596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a88e4aabff10c0943d865a0352c9d6d613e9da4","datavalue":{"value":{"entity-type":"item","numeric-id":1331627,"id":"Q1331627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecacff9de16f95094a008746ea5dea0c57a000f8","datavalue":{"value":{"amount":"+0.90533996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$2A0D8971-AA67-40D4-A8EA-8C4B1166D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d937f29ca49d7c24ce33d09df7821a2bfe594e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4002277,"id":"Q4002277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a962a38b54e4ac6155f8c39bb0f0040cd4dc90a4","datavalue":{"value":{"amount":"+0.9035163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$000EB57F-F1F7-4261-B782-B4BBA0FD5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81be6600d68b40da6138d69bc18f15762f22245","datavalue":{"value":{"entity-type":"item","numeric-id":5944309,"id":"Q5944309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25733b588aaaf0d00d2139aa0c741cf6ad881434","datavalue":{"value":{"amount":"+0.9016756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$540EAA4F-0B30-4455-9B6B-8A38DA120524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cb82855adb6ab20dcc288d816d2d689ecb14ec","datavalue":{"value":{"entity-type":"item","numeric-id":819984,"id":"Q819984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1f07b4574011310940aad881fdcbc6418e80ff","datavalue":{"value":{"amount":"+0.8985928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$2CB19FE0-2FA3-42F8-A0BB-803F0A2F11BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ee94f63a98992eee3b07347faea5724395ced8","datavalue":{"value":{"entity-type":"item","numeric-id":1210869,"id":"Q1210869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9395c65b2051bf13d05fd7c01f903f282d28c3","datavalue":{"value":{"amount":"+0.8968582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$1B6CC149-93F0-4D85-9838-2CEF3FF8C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a172284415d8cfeffb0dcaafeaab844633dd16a4","datavalue":{"value":{"entity-type":"item","numeric-id":1188842,"id":"Q1188842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe83520bfa3ae145140cd25277f2485bbdf65df","datavalue":{"value":{"amount":"+0.89454186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1202197$88A51872-2C47-4952-9751-8D91A6DF4DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_science_logic._5th_workshop,_CSL_%2791,_Berne,_Switzerland,_October_7--11,_1991._Proceedings"}}}}}