{"entities":{"Q1801317":{"pageid":1812059,"ns":120,"title":"Item:Q1801317","lastrevid":69168870,"modified":"2026-04-13T05:13:50Z","type":"item","id":"Q1801317","labels":{"en":{"language":"en","value":"Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 195124"}},"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":"Q1801317$FAADB031-7FEE-4B07-A559-A602462DBBA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73959bb2fbb6949e81cf8f9c8f15ee6e8a3da2cf","datavalue":{"value":{"text":"Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801317$49026B2D-A776-4D4C-A09E-732CAFC15829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d367d351f74533a07ec1baa1e9d1b2f45195b59","datavalue":{"value":"0734.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801317$06E3C23B-D159-452B-94D3-6217F5666728","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":"Q1801317$76EA8DEC-7791-49CE-8030-1B52AC1331E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801317$73F4AC33-F9DB-473E-AFB6-9C380D162F23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8a915171f45b4b3384c048a68c9f88a6c0485c0","datavalue":{"value":"The articles of this volume will not be indexed individually. This volume contains the proceedings of the International Workshop on Categorical Methods in Computer Science, with Aspects from Topology, held in Berlin in September 1989.    The papers are divided into three parts; part 1: Fundamental Categorical Concepts in Computer Science; part 2: Applications of Categorical Methods in Computer Science; part 3: Categorical Aspects from Topology.    In part 1 there are papers concerning categorical foundations and fundamental concepts from category theory in computer science. In part 2 the papers present applications of categorical methods to algebraic specification languages and techniques, data types, database, programming, and process specifications. In part 3, the papers are mainly concentrated on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$972D6703-AAD5-4A12-A06D-F3724D8DE539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801317$78B86D05-51F0-4ADD-BA7D-FA0200E27C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f2bcdb78d18b23e9d59b9b7622b8ab0c51d395a","datavalue":{"value":"18-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801317$389E2682-D5F6-4680-B81B-71935457FF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801317$545856D5-2DA3-41E1-BCD3-6C8B9FA9C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801317$BC0CFDC0-B20F-43A0-9F68-C4D216492CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12155f116235b8250f3673db352ca07be5b63794","datavalue":{"value":"195124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801317$90774AED-B01A-451E-91EA-CDF2726A8603","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dfbe3b53acdbfeb7b1837ce49b68b480b4169","datavalue":{"value":"Categorical methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$180130E9-497D-4F3D-A8D8-F3A7090E28A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$BE38A5C9-9A67-4FF6-BB71-56B4B0474C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$9089331B-71B7-48EE-978F-8CEA3CF6E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$D6B6034D-6D96-4511-98BD-1E982E48E678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9001199ffc6b137ce64646ca284fc4c02568bd","datavalue":{"value":"Berlin (FRG)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$9DE70FA0-2E21-41CD-9F77-41795CAA1384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22878f119d68c5119540ed0b8ff4a49ffe9717b0","datavalue":{"value":"categorical methods in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$C2FE859E-C64C-41A4-B8E5-452B410E79BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c891afe47b69def87b782525583b69421dba0330","datavalue":{"value":"categorical methods to algebraic specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$E7E14BB1-00CB-4429-9150-A0A63A99AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc55edf171bf193b2b61925cea09809fa1c4b7e","datavalue":{"value":"process specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$15E0773D-8530-44C8-B638-7C01FCF3C772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa56ee7ca54b45c913c0546fe929cd2310cb4ecc","datavalue":{"value":"reflections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$27941BA7-9203-4844-8C82-8A107EDE43F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0885955460dab2ce3f61c640321cb5685a53690","datavalue":{"value":"coreflections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801317$D69F4C3B-B093-459B-8817-091DF9923B71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5160355622f16f7db3af37439dc82dfda87a355a","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801317$13D23D09-E0A5-4A9A-AD35-B8C09C373E23","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":"Q1801317$7320B80C-FDC2-4E3D-8F22-8C160B43443B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a15081652723654fc704e7af59a92b223351071","datavalue":{"value":{"entity-type":"item","numeric-id":4000351,"id":"Q4000351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106df11dc66cdaa5da4b2dcba23de4d492d36e52","datavalue":{"value":{"amount":"+0.8802284","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":"Q1801317$991378A4-3881-4A9B-8AE3-280292188825","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":"69239ac60e84822fe23de124ad9ec5dec906bce8","datavalue":{"value":{"amount":"+0.8773662","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":"Q1801317$868C7F98-3B1C-4CD1-95DD-298B5EC45364","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":"5b4c300859611018fa6440b3a72f11fa8cd27f6d","datavalue":{"value":{"amount":"+0.86592877","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":"Q1801317$4F917CCD-7855-4ACF-BC26-5DE091EA0F79","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":"968b9f0fccbb199323cb697c44d459e68b6c7cf1","datavalue":{"value":{"amount":"+0.8581813","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":"Q1801317$EB9636CD-E469-4CFF-AD90-B3B084329B3B","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":"dec76ab5e19397fa68e1f58d07ffad15958d1990","datavalue":{"value":{"amount":"+0.8505924","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":"Q1801317$E9CE2553-9E77-470D-8977-B4589B855839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0d523026fefc94850b1cc4106ec7507a52f00d","datavalue":{"value":{"entity-type":"item","numeric-id":3995628,"id":"Q3995628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cd856caf794755f2542ca285fb0f5abe405dba","datavalue":{"value":{"amount":"+0.8499987","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":"Q1801317$05961D71-7C9B-4C68-B3F8-AF57745F1D3E","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":"d77ec179cdaa21f563d8d1610883ee046934208c","datavalue":{"value":{"amount":"+0.8485186","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":"Q1801317$CDBD16E9-E1CA-4C5D-9F38-00D992480AD2","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":"eff10720477d642bb3545de519b10786282d8966","datavalue":{"value":{"amount":"+0.8483463","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":"Q1801317$F8067175-9CBC-434D-B3F3-A609E375924F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea29c933306d45d192fbc84e23649b701e1977ee","datavalue":{"value":{"entity-type":"item","numeric-id":1364904,"id":"Q1364904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70297f2d285d456dcb1ed416a546604e68fb6d16","datavalue":{"value":{"amount":"+0.84700054","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":"Q1801317$2DA65700-B086-49FE-97D0-A6F54E1819D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc0de8873507ae9269e950357a3922686f339d2","datavalue":{"value":{"entity-type":"item","numeric-id":4830335,"id":"Q4830335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a621cf6b72e48f39d711d8ace5a8f216b9db20","datavalue":{"value":{"amount":"+0.8450942","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":"Q1801317$B8DDE1BD-F949-445E-8B86-2E5C2BEB3097","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_methods_in_computer_science._With_aspects_from_topology._International_workshop,_September_1988,_Berlin_(West)._Proceedings"}}}}}