{"entities":{"Q3653200":{"pageid":5683106,"ns":120,"title":"Item:Q3653200","lastrevid":80956352,"modified":"2026-05-06T17:23:13Z","type":"item","id":"Q3653200","labels":{"en":{"language":"en","value":"Universal coalgebras and their logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650699"}},"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":"Q3653200$E37D1AFB-27C8-4CAA-BE22-CC0B88018974","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43569db56b5a0feadbb297c19abafc26b7ecb54b","datavalue":{"value":"1187.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653200$194441BF-3B85-42CF-8900-167BA344C3E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a849c3a99c8c9068dd180a3be275ca1cd1f4afdc","datavalue":{"value":{"time":"+2009-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3653200$399E0BD7-0462-4392-B8A2-219D80425E0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653200$98B3A950-09EE-4C71-A122-EF46CCD5513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653200$02CBB44E-6990-4CBA-A49E-2BEFA21E0EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653200$9849D5A2-6484-4B9E-B14D-FEC3DB8836EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95b0e7367a31fdc191dee12fecdc259876c2ad4f","datavalue":{"value":"5650699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3653200$AC2AEEB8-24FB-4441-BC20-EDCFA3467F0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$8B246615-3756-4003-9ECD-D027A9B5BDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51eeca1118cde926e38138b84c5673e43cd61a90","datavalue":{"value":"covariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$3AA1064D-26A6-46C9-A4F3-D2129437AC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acda964bb500b2e4c0e639115fdd0ae7a5e040ab","datavalue":{"value":"coequation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$FEB2B49A-90E2-4C06-9343-1953A8F56C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$DA8A5D69-75EF-4AF5-BC83-841E6DCE6D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$1B13D873-E0AC-43DF-A9AE-DF6FA0150670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$4B7DF998-88B0-406E-8DC4-1C6F40D211A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3653200$9D3F888F-0196-4AE1-B55C-90FD1CE585CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3653200$FF255095-AF1D-425C-82C1-54F952167354","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":"Q3653200$120C51A9-9EB3-4EAC-A53C-E2984F9B0DD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa56b8f53b6e36d117b93bb184c330debca0aa7","datavalue":{"value":{"amount":"+0.8483177423477173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3653200$A61EC6C9-BC4D-49C0-9B18-6993CFD8F0A7","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":"b1f511fab896eec4166222717ca6009476c7abe3","datavalue":{"value":{"amount":"+0.8410547375679016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3653200$5AB33C4D-C336-41CE-A9DA-E8BB3C5DB25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0575f9cc6e3c3a021aed09e640314a5252f3480","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f511fab896eec4166222717ca6009476c7abe3","datavalue":{"value":{"amount":"+0.8410547375679016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3653200$F2AB5379-6AAE-46A6-87A4-FEA98162D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0b029343682e0aed93dc5c2dc6e0f520d4654","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9324296937e33de4769a110ad9f127c3fa674678","datavalue":{"value":{"amount":"+0.8345996141433716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3653200$1A87BD22-230C-4200-AB51-8FB6B352F9EB","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":"4fb108aa1c82a9ed3c15e85fb332588cfc1c63fc","datavalue":{"value":{"amount":"+0.8339276313781738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3653200$B68919DC-8A8E-4B10-8DC2-40040A0CC2CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal coalgebras and their logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_coalgebras_and_their_logics"}}}}}