{"entities":{"Q1897000":{"pageid":1907742,"ns":120,"title":"Item:Q1897000","lastrevid":71099091,"modified":"2026-04-13T19:28:15Z","type":"item","id":"Q1897000","labels":{"en":{"language":"en","value":"Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 796043"}},"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":"Q1897000$590F7CAD-7D62-43D4-91BC-5D5C8550D6D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff0d86ed817d2dea52fb54163f529c8af3e1bc54","datavalue":{"value":{"text":"Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1897000$D94D8EA9-3DD7-44D3-9E70-B63DB73FD83B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf09cc428f4888be9d148fda07cf2124b65e6605","datavalue":{"value":"0847.00031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$CB3FABA8-D086-48A3-B5E4-1261854C79DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48d2343608bf91480872b39ade7a70178311e3bd","datavalue":{"value":"10.1007/3-540-60164-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$EED5223B-71D1-4B37-8C1B-BE9545DA5A11","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":"Q1897000$8A57FD32-9AD4-44BA-9B67-8C3E74D6F270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab9858300abc70f3b6a0d329466235e03e72f8ed","datavalue":{"value":{"time":"+1995-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1897000$23678727-3128-4A26-BD51-315E8B2D476D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b5ef78c9868b9596194cb31a8a4a59a0c3a4270","datavalue":{"value":"The articles of this volume will be reviewed individually. For the fourth conference see [Zbl 0768.00016; Zbl 0776.00025].  Indexed articles:  \\textit{Pavlovi\u0107, Du\u0161ko}, Convenient category of processes and simulations. I: Modulo strong bisimilarity, 3-23 [Zbl 1502.68194]  \\textit{Badouel, Eric; Darondeau, Philippe}, Dualities between nets and automata induced by schizophrenic objects, 24-43 [Zbl 1502.68190]  \\textit{Kawahara, Yasuo}, Relational set theory, 44-58 [Zbl 1502.03017]  \\textit{Soloviev, S.}, Proof of a S. Mac Lane conjecture (extended abstract), 59-80 [Zbl 1502.03022]  \\textit{Asperti, Andrea; Ciabattoni, Agata}, Effective applicative structures, 81-95 [Zbl 1502.03010]  \\textit{Hyland, J. M. E.; Moggi, E.}, The \\(S\\)-replete construction, 96-116 [Zbl 1502.68172]  \\textit{Simpson, Alex K.}, The convex powerdomain in a category of posets realized by cpos, 117-145 [Zbl 1502.68173]  \\textit{Fiore, Marcelo P.}, Lifting as a KZ-doctrine, 146-158 [Zbl 1502.18013]  \\textit{Backhouse, Roland; Bijsterveld, Marcel; van Geldrop, Rik; van der Woude, Jaap}, Categorical fixed point calculus, 159-179 [Zbl 1502.68168]  \\textit{Altenkirch, Thorsten; Hofmann, Martin; Streicher, Thomas}, Categorical reconstruction of a \\textit{reduction free} normalization proof, 182-199 [Zbl 1502.03019]  \\textit{Hasegawa, Masahito}, Decomposing typed lambda calculus into a couple of categorical programming languages, 200-219 [Zbl 1502.68055]  \\textit{Otto, J. R. jun.}, V-comprehensions and P space, 220-239 [Zbl 1502.03011]  \\textit{Fourman, Michael; Thielecke, Hayo}, A proposed categorical semantics for ML modules, 240-252 [Zbl 1502.68170]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$73D51660-05A9-4656-8BE1-775EC19DEA6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$564AF047-BCE5-4DEB-85A5-8BB691C1916A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f2bcdb78d18b23e9d59b9b7622b8ab0c51d395a","datavalue":{"value":"18-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$6375B7D8-AB5A-4CAA-B453-5B6CCFA703A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$3296479D-0084-4783-AD27-1BA9FDE1BCE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"554906593d0789a9f156797dc2bfa4df4171f4c3","datavalue":{"value":"796043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$5EA08036-AE26-4AC4-9B97-D43A8A80D14B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cdd3e6c445bcac9d5dcbb5f7b5afe18fb37207c","datavalue":{"value":"Category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$3DAF3F88-8272-4E65-926E-5D28241B1A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$0BABE81E-084A-41B8-92FB-DE4D6023C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$72DF3197-9BF8-4040-9ECB-3539554BA6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$6E593877-5176-489E-85A2-77F23F930B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60ac058c203f3b283dbb7e0f2dc590b9fdd8c7d5","datavalue":{"value":"CTCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$45387142-D83B-47DE-81D5-9ED70EE958C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0be4c595eabeba9afa16fc1d13f880ca889b96a","datavalue":{"value":"Cambridge (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897000$63185138-4A8B-4E15-81D9-4F5361B8E24A","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":"Q1897000$5D340C8E-90DC-4EE8-ABD4-2FE53976061F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"173ba0e386460c6d6e375c735aac1d85c8eb4f9c","datavalue":{"value":"https://doi.org/10.1007/3-540-60164-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1897000$59D12852-6EEB-44EA-9EDE-8C3D99BF608B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4204e1ba6db86b3b8f198cf238c10823fcceed5","datavalue":{"value":"W4301016327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897000$F4F28C87-D947-4A0D-953D-56A44F41D825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90c6575c9e7b16f65caf5c141d3e59bae7ff0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1801304,"id":"Q1801304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c537e82e8d7f488fc44c44fee1cfeccc6fd1a48","datavalue":{"value":{"amount":"+0.9297364","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":"Q1897000$81D07090-1B4D-4230-AA0F-0C284D97EAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a916d9d8b150a014ebef3b06205bf3f4d744fd00","datavalue":{"value":{"entity-type":"item","numeric-id":1366880,"id":"Q1366880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38a5be26a623c88ae9f0e613c36f7cb0fd270b3","datavalue":{"value":{"amount":"+0.91980934","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":"Q1897000$16D9DCAF-F341-4FB0-B170-A137F455E639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14492039c0320ac3dc8f23b731f6bb1f53979412","datavalue":{"value":{"entity-type":"item","numeric-id":1095122,"id":"Q1095122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f34c4419f1432de43d43e1ff2cb7929942fbca","datavalue":{"value":{"amount":"+0.9140969","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":"Q1897000$C6156C81-8680-4468-B8B9-FCBB25323024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa5b886b3942d36a73baa6fe871ee19a71e5407","datavalue":{"value":{"entity-type":"item","numeric-id":1085142,"id":"Q1085142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a04faf60c3a8e0805f962a9ea598c502e81e5e","datavalue":{"value":{"amount":"+0.90305775","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":"Q1897000$FF1B27C0-07B8-4A15-9506-E4E96EFB2F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b73f0be30a40578d3e65031bf9a414f5b635c","datavalue":{"value":{"entity-type":"item","numeric-id":1574784,"id":"Q1574784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1609f57d62be77aebf49e14a51937f7906d3c4","datavalue":{"value":{"amount":"+0.89570284","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":"Q1897000$C7BA9B53-FF57-4938-A35F-18E7974EA4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cebd3223d8453eb7fb018baee3db5041c6cb10c","datavalue":{"value":{"entity-type":"item","numeric-id":1202079,"id":"Q1202079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4cad053e0d94c01343202e4918fcef3de46b7d9","datavalue":{"value":{"amount":"+0.88855815","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":"Q1897000$2F9CA36D-B15D-4077-A397-FBDE5453F79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b0b034f7099fd61ffc081b96c534d7b7aaaf41","datavalue":{"value":{"entity-type":"item","numeric-id":360909,"id":"Q360909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ead7933afd75f1d4f310ec3425332661507627","datavalue":{"value":{"amount":"+0.88774896","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":"Q1897000$D753BAB7-7773-4817-AE79-FE10931F993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1602b53fe189b668176c6a83152e968a1c7d6c6","datavalue":{"value":{"entity-type":"item","numeric-id":350734,"id":"Q350734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e448d21a449b789f4ee16b21265338dd6a6f44","datavalue":{"value":{"amount":"+0.8851038","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":"Q1897000$0EA9458C-1959-4D4E-B951-96BF1331485A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665f11880d511d0645cce3ddd6c8961066bab93c","datavalue":{"value":{"entity-type":"item","numeric-id":4882485,"id":"Q4882485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95159efada2f82db0e524ef281f174638de5ceda","datavalue":{"value":{"amount":"+0.88505733","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":"Q1897000$39DD6CE7-1F69-4DB7-9B2F-08EE54089400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a060d2f52b3e8fb0be9cda4fbe77f13669ed3701","datavalue":{"value":{"entity-type":"item","numeric-id":3433825,"id":"Q3433825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2c54567d824510fd38d93b9db8047bd908a158","datavalue":{"value":{"amount":"+0.8842949","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":"Q1897000$BF542CDF-1278-4B9B-9C83-D90D4554E97A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings","badges":[]}}}}}