{"entities":{"Q703520":{"pageid":705369,"ns":120,"title":"Item:Q703520","lastrevid":63744879,"modified":"2026-04-11T15:15:20Z","type":"item","id":"Q703520","labels":{"en":{"language":"en","value":"A compositional approach to defining logics for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126096"}},"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":"Q703520$DE096224-2D17-4E03-989C-BBB30503DE7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27e7fcd7d55c2716896db165e20b8dd657ad6499","datavalue":{"value":{"text":"A compositional approach to defining logics for coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703520$E88F20FB-A3FD-4763-AAFB-4F2B59EF1267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc64583289c885a13abb400af3633170829c0c7d","datavalue":{"value":"1088.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$689D62D1-3431-4A1D-BEF7-2E786B141AA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$91AECEFE-ECAD-4D1F-BD98-A0EF4D581977","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$FE76D7A3-1FB6-4271-B91A-E3437EEE70DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703520$76220DDD-82D8-4913-9E40-8440F9AD8D0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a987fc3801b92ce733dbd0deae07b6ad67f220","datavalue":{"value":"https://eprints.soton.ac.uk/260002/1/tcs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q703520$32734923-5DBF-4D09-8565-3648DE56CCAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$6983E7CC-5B7D-43FA-9FD2-D186DA48F96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$0008F5D7-52FD-491B-8056-69719C749EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$0F1BB612-B687-4143-B548-8A21926D6951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$A091E817-9541-44C0-B222-9E5B40F07056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$CB08EA01-DD80-4BA6-870F-2B28969BD5BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79b1297e92254e76273f8fc43c5ba8ee07b31ca3","datavalue":{"value":"2126096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$D1DFC26A-8103-4585-AC1D-0EDC41637430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q703520$F7A588A6-A925-47E3-9556-EDF1DC4715A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703520$698C1ADF-BD6B-47E3-AF8F-C33EF4543A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q703520$EA0072AF-E369-41EA-8BA6-F8245A674F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q703520$BD4BD712-2C17-4993-AF4D-52C3788B19D9","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":"Q703520$90D76215-CE9A-4691-9D4F-F777D0E7035A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d018ba30b6369ee6b9d8f08e5e03d3a694cc9c1","datavalue":{"value":"W2000129083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$0F08DF7E-864A-40A4-AC92-6758431217EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$152C084E-F2BB-4F5C-886B-4A522D37081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$09B6B637-7C4D-4FF1-AE1C-48AB6DA43922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e080e6cc6e0a5d730b0d16d85a39768aab34f86","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$0AAA29C5-4EF8-490C-8D75-CAB0E9891617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$FBFC2077-1EB3-4141-92C0-A92D76563E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e4d48643c68fd438272bcd9308706ac32d7131","datavalue":{"value":{"entity-type":"item","numeric-id":2843724,"id":"Q2843724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$12167FB9-58B4-4E24-A1C6-895906DFE380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddadb34f3f01f83c600aa6e78ae526fd26cd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$6ED7109E-3156-48D1-86E0-C5B985964B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$0F686A16-A05C-4D74-BC81-78C7BA873169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$E62CD206-8D61-4F7F-B9AD-1D89E5842E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$2116E3EE-EA5E-4490-819C-090EAA8F736F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$3F67D3C5-9EAE-4231-A67C-591726D9DEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$55BA35DD-EE02-4BFA-9BD6-2603502AC93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$E9018BF9-8185-492C-A96E-AD0DD7A95521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d3f9f13b827befa99cac435aa5895e73753490","datavalue":{"value":{"entity-type":"item","numeric-id":2843735,"id":"Q2843735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$43E7F3FE-5B31-44E7-B3FD-A95183E97D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703520$643185D4-7F6B-427C-8043-241148B78C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5389cea08521d5e49f4737316b30834968ab67b9","datavalue":{"value":"10.1016/J.TCS.2004.07.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703520$4C798163-9672-4001-8222-27FFD890E088","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab233438d0829b45e6681e18f385b5fbce73ec0","datavalue":{"value":{"entity-type":"item","numeric-id":2843724,"id":"Q2843724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f3209135ff28cde1262a73f4528492669246f4","datavalue":{"value":{"amount":"+0.96009487","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":"Q703520$57A36349-5C55-4A30-B98E-38A934EB3BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2281f62d80bb1c876136c1875821d96567d0bda","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5636ee6a9c8e18c79265a0a6be34440c4673e5af","datavalue":{"value":{"amount":"+0.94308066","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":"Q703520$9E43CCAF-9F6B-42F2-90AC-C434A295FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d193d06c6486bcfbf0c85c11e82e46e1260970a","datavalue":{"value":{"amount":"+0.9264153","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":"Q703520$869FABEF-B4A4-4F0F-956E-2E840FB0D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3560a43408b5554698ae3a733e4665cacf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5766754734abddf7e36557d0edbdbb404605c9","datavalue":{"value":{"amount":"+0.92641526","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":"Q703520$08EAD6E6-B2CF-4379-B2A5-924499EB4E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f701ec34d7b9b3201f4f4b96f1d29504083603","datavalue":{"value":{"amount":"+0.9264058","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":"Q703520$076DC6C7-97C2-453D-AD7A-00F483D19C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6089f3308cbcda5ab78eb9084ebf0d68522479f","datavalue":{"value":{"entity-type":"item","numeric-id":2914235,"id":"Q2914235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b243f091ef8bca428da8823e4b8934ced09826","datavalue":{"value":{"amount":"+0.9256122","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":"Q703520$9689A659-DDE3-4737-89DA-B1FBF9388DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b6794f4e2434edcc1349862fdb2a60f5803efa","datavalue":{"value":{"entity-type":"item","numeric-id":3090868,"id":"Q3090868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b04fb4a5a0b33eb901a518812e468400b300c79","datavalue":{"value":{"amount":"+0.9255238","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":"Q703520$FE08DA16-7C13-49C3-AB7D-73288D9D6882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662399e4cc13d497bbc41ccf76729bbdc43b66e0","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0893e4e3db6521dd0650c55c821c37bd2bc6863b","datavalue":{"value":{"amount":"+0.92433304","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":"Q703520$08B0B2A8-C9C8-4B27-B93A-A9FB1ECE7FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a221533aab40513f2bd012249dcece64517dee90","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88742335c3201e3610689a5915d2394a2b5d5c3","datavalue":{"value":{"amount":"+0.9221318","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":"Q703520$98080827-B9D8-4AFE-9F38-C485D4D43ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470bac876fa7e9234d1a8779554c061edff54894","datavalue":{"value":{"entity-type":"item","numeric-id":5900833,"id":"Q5900833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed44c896ee598c97c69398e290e6dc4affbf98a","datavalue":{"value":{"amount":"+0.92118645","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":"Q703520$881D13E0-EEDB-4512-8FF7-D5CF3D1C99C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional approach to defining logics for coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_approach_to_defining_logics_for_coalgebras"}}}}}