{"entities":{"Q1366880":{"pageid":1377620,"ns":120,"title":"Item:Q1366880","lastrevid":70256052,"modified":"2026-04-13T13:31:54Z","type":"item","id":"Q1366880","labels":{"en":{"language":"en","value":"Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062272"}},"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":"Q1366880$2CA08FC1-6AA6-4EE6-9DA2-DAB3D578B175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"746b62dd59c0122122ee7eabaea57b1f0aadb4fc","datavalue":{"value":{"text":"Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1366880$96C18BFF-5914-46E1-A101-696967BF4803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4cd5c68de9d20f32d60f82b5626d14f9b3ec855","datavalue":{"value":"0871.00036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366880$86A5CCF7-CC38-4A2F-A2EF-2DDB6E747F66","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":"Q1366880$E01FB321-1130-4600-9584-981A0E043076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1366880$F6DE72B7-73B8-4901-87A9-789D1796F05E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87a0584c2734f83e746124f1771ea3b9e0d553df","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (6th conf. 1995) has been reviewed (see Zbl 0847.00031).  Indexed articles:  \\textit{Baez, John C.}, An introduction to \\(n\\)-categories, 1-33 [Zbl 0886.18005]  \\textit{Bird, Richard S.}, Allegories as a basis for algorithmics, 34-46 [Zbl 0887.68050]  \\textit{Jay, C. B.}, Separating shape from data, 47-48 [Zbl 0900.68174]  \\textit{Melli\u00e8s, Paul-Andr\u00e9}, Axiomatic rewriting theory. III: A factorisation theorem in rewriting theory, 49-68 [Zbl 0888.68075]  \\textit{L\u00fcth, Christoph; Ghani, Neil}, Monads and modular term rewriting, 69-86 [Zbl 0889.68084]  \\textit{Corradini, A.; Gadducci, F.}, A 2-categorical presentation of term graph rewriting, 87-105 [Zbl 0889.68085]  \\textit{Cattani, Gian Luca; Stark, Ian; Winskel, Glynn}, Presheaf models for the \\(\\pi\\)-calculus, 106-126 [Zbl 0884.68078]  \\textit{Turi, Daniele}, Categorical modelling of structural operational rules: Case studies, 127-146 [Zbl 0881.18004]  \\textit{Pavlovi\u0107, D.; Abramsky, S.}, Specifying interaction categories, 147-158 [Zbl 0884.18008]  \\textit{Wolter, Uwe; Martini, Alfio}, Shedding new light in the world of logical systems, 159-176 [Zbl 0881.03043]  \\textit{Mossakowski, Till; Tarlecki, Andrzej; Paw\u0142owski, Wies\u0142aw}, Combining and representing logical systems, 177-196 [Zbl 0881.03044]  \\textit{Andreev, A.; Soloviev, S.}, A deciding algorithm for linear isomorphism of types with complexity \\(O(n\\log^ 2(n))\\), 197-209 [Zbl 0884.68057]  \\textit{Weihrauch, Klaus; Zheng, Xizhong}, Effectiveness of the global modulus of continuity on metric spaces, 210-219 [Zbl 0901.54021]  \\textit{Hensel, Ulrich; Jacobs, Bart}, Proof principles for datatypes with iterated recursion, 220-241 [Zbl 0887.68069]  \\textit{Hoogendijk, Paul; Backhouse, Roland}, When do datatypes commute?, 242-260 [Zbl 0884.68086]  \\textit{Lellahi, Kazem; Tannen, Val}, A calculus for collections and aggregates, 261-280 [Zbl 0884.68044]  \\textit{Bucalo, Anna; Rosolini, Giuseppe}, Lifting, 281-292 [Zbl 0881.18005]  \\textit{Reus, B.; Streicher, Th.}, General synthetic domain theory - a logical approach. (Extended abstract), 293-313 [Zbl 0881.18002]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$B79CCE33-4A75-4F33-B249-094BB83524E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366880$2B1BA87A-3B2F-4ED0-AD5F-ED92AB777B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f2bcdb78d18b23e9d59b9b7622b8ab0c51d395a","datavalue":{"value":"18-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366880$8763D6B7-B459-4CDA-BE9F-19D155C65A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366880$9DC81CA4-D23B-44A1-897E-E05F1A603C96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9da72a34c885a382ba50c73dc073d7aa6f8b1f2c","datavalue":{"value":"1062272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366880$318D552F-EC21-4C42-A9B9-3D337C563620","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea2f27e921ebba77e4eb3e4980ab723c2db6a2d","datavalue":{"value":"Santa Margherita Ligure (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$75D30F91-D63D-462A-AC67-959F4E0B8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$C15EF92B-D692-4E76-961A-88F0C3600315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$88C7F311-A237-4777-86BB-40C330D4D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"050df9b27db5b841ba36c5bf37cc883ccd2599f9","datavalue":{"value":"CTCS '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$67900A52-E199-4F71-97E0-68015EE4886A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cdd3e6c445bcac9d5dcbb5f7b5afe18fb37207c","datavalue":{"value":"Category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$BCDA0B3A-0681-4C6D-98BC-16C02AD49AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366880$AAC764B1-D5F8-403A-8675-EEC33C977897","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":"Q1366880$F8847744-751B-4403-BAFE-49C4D31979A3","rank":"normal"}],"P1643":[{"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":"99102a6dba902ad8bc5622060d7e36cfe9211723","datavalue":{"value":{"amount":"+0.92074794","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":"Q1366880$4E941C5F-17AF-42F8-965C-A868BC6E2099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065d93c10bcc6571091b94b6764abf2e38184f01","datavalue":{"value":{"entity-type":"item","numeric-id":1897000,"id":"Q1897000"},"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":"Q1366880$1DD55FE2-839B-4650-B621-2A7CF275CA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0480bdd21cc4990b2c1a4b116efb30c5c7629cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1189372,"id":"Q1189372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bbe4a1bb89b735a33d2e1ae62c822aadc9b5e6","datavalue":{"value":{"amount":"+0.90409136","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":"Q1366880$6DB8173E-92EB-4C8C-A802-0C18A19A2F48","rank":"normal"},{"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":"c8f774b11469f85b4e059fc8966ef77d27ad9075","datavalue":{"value":{"amount":"+0.9018575","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":"Q1366880$DFE092F7-27A1-4422-B30E-F0CFC1C8BBE2","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":"34a9e0bf2232971695e7fff5504e960cb11121b7","datavalue":{"value":{"amount":"+0.8885181","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":"Q1366880$F1A2C3D7-1A14-42D4-B334-F038D1CC4A98","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":"d7bbb5eecda37485b77f24b0b1bd0530330fef66","datavalue":{"value":{"amount":"+0.88482577","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":"Q1366880$3AC0AF77-00EC-432B-A74F-B9F4065D9717","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":"39a5ce14555e73cb1ee5f054b95d2bceaff5100a","datavalue":{"value":{"amount":"+0.8815211","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":"Q1366880$67D443EC-C661-4132-8104-7C812A412160","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":"bb496432b62008f49edca7d7d945261774027936","datavalue":{"value":{"amount":"+0.8777635","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":"Q1366880$6620910D-FFB5-422C-A2E8-AB32AE3FF495","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":"5b79f820303d198b0b49dadc076b29d128b03e9e","datavalue":{"value":{"amount":"+0.86537087","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":"Q1366880$5055E5B9-1468-4D63-852D-3B52C956716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5f8a1591a166a572ad5ad3f885a51b1f169738","datavalue":{"value":{"entity-type":"item","numeric-id":1024577,"id":"Q1024577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db13db0bcbaac1244ae3dfdbc6896099a9cab75","datavalue":{"value":{"amount":"+0.86521447","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":"Q1366880$24DE325A-09B0-4DF1-954A-9CC828D01DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings","badges":[]}}}}}