{"entities":{"Q1604010":{"pageid":1614750,"ns":120,"title":"Item:Q1604010","lastrevid":67968492,"modified":"2026-04-12T20:33:32Z","type":"item","id":"Q1604010","labels":{"en":{"language":"en","value":"Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1762476"}},"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":"Q1604010$CEB4A2E3-E408-4273-B767-6E0FFBA9EB5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3557212f33e14b666e00cf3f8032a636e67c36","datavalue":{"value":{"text":"Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604010$049C892B-25AC-4E4C-BCC4-0D2DF7455762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aec6be8a5f4f82a0015bea784731770d6ed9f72","datavalue":{"value":"0989.00050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604010$21691E2C-1AC3-4ABE-991B-D5E9092281DA","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":"Q1604010$5ED54A2B-94EA-4D5E-AB09-562F113F0083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274c9f42afbb798f6ad23f874ead576e8a013675","datavalue":{"value":{"time":"+2002-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604010$DC186CA3-A5D7-4141-A8C6-BBB05DBF6240","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"854bdbd11dad1ea863fe5a745f247fbbc6c176a1","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Crole, Roy}, Chapter 1. Introduction, 1-19 [Zbl 1065.68513]  \\textit{Priestley, Hilary A.}, Chapter 2. Ordered sets and complete lattices. A primer for computer science, 21-78 [Zbl 1065.68036]  \\textit{Aczel, Peter}, Chapter 3. Algebras and coalgebras, 79-88 [Zbl 1065.68512]  \\textit{Backhouse, Roland}, Chapter 4. Galois connections and fixed point calculus, 89-148 [Zbl 1065.68030]  \\textit{Gibbons, Jeremy}, Chapter 5. Calculating functional programs, 149-201 [Zbl 1065.68034]  \\textit{Doornbos, Henk; Backhouse, Roland}, Chapter 6. Algebra of program termination, 203-235 [Zbl 1065.68033]  \\textit{Jacobs, Bart}, Chapter 7. Exercises in coalgebraic specification, 237-280 [Zbl 1065.68035]  \\textit{Bird, Richard; Gibbons, Jeremy; Mu, Shin-Cheng}, Chapter 8. Algebraic methods for optimization problems, 281-308 [Zbl 1065.68031]  \\textit{von Karger, Burghard}, Chapter 9. Temporal algebra, 309-385 [Zbl 1065.68515]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$98FC1EA8-041F-4474-8DD0-BFCE55101232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604010$3306F6AD-0F34-4303-8559-4322E264EE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604010$085171FA-B11D-4C57-BD74-B3D4A37F1C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604010$FBCDBE0D-55DB-4344-8E6A-9AAD98CC86C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fdd241bf435b67cfc9c0c12baf5dcb17545bbae","datavalue":{"value":"1762476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604010$37BB38FE-C0E8-4C7E-9A0F-9F9DF118E009","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91931e97b6259cc99a6dfd270bae11fff3568b24","datavalue":{"value":"Oxford (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$EE6C959C-4B3C-4599-9E87-F423F05DF2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2799d4dd85760ca9775ca90869678d551b2ba9b9","datavalue":{"value":"Lectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$2C9374A4-1B91-4A41-8FB5-3F19919D7557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$BE4DFECC-E53E-4239-9A77-081AFA53DF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7359bf2c7e8ae67e6fd17892b1e83904a1df6032","datavalue":{"value":"Summer school","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$3489D5A8-F39F-4DBD-9AD9-2248186B760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b14275eb2a8f80d4f037d34eac0a05dff373629","datavalue":{"value":"Algebraic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$68AD88D7-5407-455E-AC5D-D8ACD26A0C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d311e908bff8a4663e4ea0bcce27d945b8585cd","datavalue":{"value":"Coalgebraic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$C78F331A-7358-46E5-B125-4A5129F0C59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521f0726227d7aafac1cff176b082ebe961fb7f1","datavalue":{"value":"Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$E6AA9F35-678F-4869-8EB8-9A3C16F0C069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f5b98f3d0249bedffd18af87c46aab4737c599","datavalue":{"value":"Program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604010$A7744DF8-56E0-45AC-9E6F-AED576D27A4D","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":"Q1604010$2CB1FF0D-342B-49AB-B8E5-05C34D67C408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50828ce33357e509e4e71e98082b0aa179bc578a","datavalue":{"value":{"entity-type":"item","numeric-id":4408804,"id":"Q4408804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c6999de2b1e4fa8802668dbfe9f5ebe8de951e","datavalue":{"value":{"amount":"+0.86515844","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":"Q1604010$B2152B11-0722-4FC4-939A-B8FD4FAA00B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4141f35f648068abed4106bce300d2c34950dd5f","datavalue":{"value":{"entity-type":"item","numeric-id":2747939,"id":"Q2747939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854184a428e416c17944315f73a5937f2a6848cf","datavalue":{"value":{"amount":"+0.8547795","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":"Q1604010$72DCE9CE-B75F-422F-B261-60AE941BDB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67abeb0ff74ef60f108ee44769783a5662b4f5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1273560,"id":"Q1273560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad78a8032ca5b9872e86dbf27de64eb51c25751","datavalue":{"value":{"amount":"+0.8535464","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":"Q1604010$FBD43388-F09A-4C22-8C10-D392A38B5CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16978689f6653609c7127aa6153c1031b9b51936","datavalue":{"value":{"entity-type":"item","numeric-id":1574971,"id":"Q1574971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc270331f8ea74ff5e4eb94da05af3e55ea5137","datavalue":{"value":{"amount":"+0.8515487","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":"Q1604010$3A24265D-28F9-431A-8966-B5C84E830F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c70a5d17c41d27a273a06bfe4a24bb55235007f","datavalue":{"value":{"entity-type":"item","numeric-id":1310274,"id":"Q1310274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ee6acc74521d0bead2bb977440c613ad2cc801","datavalue":{"value":{"amount":"+0.84667313","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":"Q1604010$A519D404-1489-4CB9-9C0E-A959A675F5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d808b4112c4956f81acc2abd4a3a78d6b6488588","datavalue":{"value":{"entity-type":"item","numeric-id":492695,"id":"Q492695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6cf8f81e1885d395209423302700c1aa83c968","datavalue":{"value":{"amount":"+0.8462793","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":"Q1604010$69B5A79F-3844-467A-9A3A-B2AEE91C2EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bc8dad5790bae7cf552a9f3eb7f1bb86c8b61a","datavalue":{"value":{"entity-type":"item","numeric-id":1948982,"id":"Q1948982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb0204943a49b733167d8307db3addb5fd68d32","datavalue":{"value":{"amount":"+0.8455658","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":"Q1604010$E1C50F3B-64E7-4148-8A69-EE35AA83B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053d72764d0f3530a459bafccaecae864cb049be","datavalue":{"value":{"entity-type":"item","numeric-id":453219,"id":"Q453219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b38c5f4c570589e7cdf1390c3e6016afa310fe","datavalue":{"value":{"amount":"+0.84446824","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":"Q1604010$E69BF579-F653-4E38-9E51-1F9EC7B177ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f10ac6f83910d5e3aa9dfba6a1fcfa3b138a81e","datavalue":{"value":{"entity-type":"item","numeric-id":637053,"id":"Q637053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd6b4734e926a6bdaea3818549d09e118f0bbf1","datavalue":{"value":{"amount":"+0.8441128","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":"Q1604010$E86078F2-2526-4610-ADDC-6810A3E4189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1035e167c4dfb91b30d523423bca4002d64916","datavalue":{"value":{"entity-type":"item","numeric-id":373595,"id":"Q373595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817ed1eae7b4827f9a3ab0eba04575f4d4fd21b9","datavalue":{"value":{"amount":"+0.8439857","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":"Q1604010$CB6C69D2-AA12-4EF8-A981-D037C2F54F9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_and_coalgebraic_methods_in_the_mathematics_of_program_construction._International_summer_school_and_workshop,_Oxford,_GB,_April_10--14,_2000._Revised_lectures"}}}}}