{"entities":{"Q1574971":{"pageid":1585711,"ns":120,"title":"Item:Q1574971","lastrevid":43220168,"modified":"2025-07-22T12:23:26Z","type":"item","id":"Q1574971","labels":{"en":{"language":"en","value":"CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1490643"}},"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":"Q1574971$4942DB62-82A7-4102-9BF9-D5EFC9138CE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73b3517e46f90aa8c1ea887cd1fa8fd7b44ecd26","datavalue":{"value":{"text":"CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1574971$DAC6D966-A5AF-49F1-BEFD-471A78718D5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b0ab8d115bb31dc8288da6d52fbe2867f9b845d","datavalue":{"value":"0942.00060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574971$86D048B3-4AA1-4D91-A5DA-3DD75EBEBB6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574971$8F6E184B-5E31-4751-A751-30D2375D8BD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97fbaa74108aac30250cdf29ad1831a2e82622ab","datavalue":{"value":{"time":"+2000-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1574971$D752AC31-E76E-4B06-AF42-4F91BB8BFC48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"768fb1b2fa3e7058012908987b8625464ddeafbb","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Angelsmark, Ola}, Constraints, adjunctions and (co)algebras, 10 p., electronic only [Zbl 0968.68149]  \\textit{Monteiro, Lu\u00eds}, Observation systems, 15 p., electronic only [Zbl 0966.68073]  \\textit{Poll, Erik}, A coalgebraic semantics of subtyping, 18 p., electronic only [Zbl 0966.68048]  \\textit{Buss, Samuel; Ro\u015fu, Grigore}, Incompleteness of behavioral logics, 19 p., electronic only [Zbl 0959.03506]  \\textit{Baltag, Alexandru}, A logic for coalgebraic simulation, 19 p., electronic only [Zbl 0959.03501]  \\textit{Worrell, James}, Coinduction for recursive data types: Partial orders, metric spaces and \\(\\Omega\\)-categories, 20 p., electronic only [Zbl 0963.18003]  \\textit{Wolter, Uwe}, On corelations, cokernels, and coequations, 20 p., electronic only [Zbl 0960.18003]  \\textit{Gumm, H. Peter; Schr\u00f6der, Tobias}, Coalgebraic structure from weak limit preserving functors, 21 p., electronic only [Zbl 0966.68145]  \\textit{R\u00f6\u00dfiger, Martin}, Coalgebras and modal logic, 22 p., electronic only [Zbl 0959.03502]  \\textit{Tews, Hendrik}, Coalgebras for binary methods, 25 p., electronic only [Zbl 0966.68049]  \\textit{Honsell, Furio; Lenisa, Marina}, Coalgebraic coinduction in (hyper)set-theoretic categories, 28 p., electronic only [Zbl 0963.18002]  \\textit{Baldamus, Michael}, Compositional constructor interpretation over coalgebraic models for the \\(\\pi\\)-calculus, 29 p., electronic only [Zbl 0966.68148]  \\textit{Lenisa, Marina; Power, John; Watanabe, Hiroshi}, Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads, 31 p., electronic only [Zbl 0960.18002]  \\textit{C\u00eerstea, Corina}, An algebra-coalgebra framework for system specification, 31 p., electronic only [Zbl 0966.68129]  \\textit{Kurz, Alexander; Pattinson, Dirk}, Notes on coalgebras, cofibrations and concurrency, 34 p., electronic only [Zbl 0963.18001]  \\textit{Jacobs, Bart}, Towards a duality result in coalgebraic modal logic, 36 p., electronic only [Zbl 0959.03503]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$CF9150BF-C746-4F3D-89C4-FF9A92C0ADBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574971$41121BC9-2C7E-466E-82FD-638394225D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574971$1D43EDCC-76B8-4092-82F3-D52A90365C6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11e6e8276100d64e4fce642fcc70967f867a1559","datavalue":{"value":"1490643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574971$A6E7CE9D-404E-466A-8017-9DC46DE12D12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a63879ae6f4109e89842d078d07e9c99acdea25e","datavalue":{"value":"Berlin (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$BE2168CC-BD86-4AF3-B0DF-1CCA0FEB5C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$C5F5B2A7-C0F5-4F79-BA85-C4D79E259624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$AA7FA493-E94C-4EBC-85E2-684D04FF7D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0214652737d0491268c99a8134b930efbe22c3","datavalue":{"value":"CMCS 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$3F284BD4-983A-489D-AECE-772F2B31B9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d311e908bff8a4663e4ea0bcce27d945b8585cd","datavalue":{"value":"Coalgebraic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$8D23DB57-0F76-4A1C-A610-7ED24C329540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574971$34A52099-31C0-41AE-AF83-0A857C54650A","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":"Q1574971$C78A7787-2AF4-4F8D-BC0F-64B47210B09C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1574971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1574971"}}}}}