{"entities":{"Q5941165":{"pageid":8117967,"ns":120,"title":"Item:Q5941165","lastrevid":47658493,"modified":"2026-01-02T08:53:57Z","type":"item","id":"Q5941165","labels":{"en":{"language":"en","value":"From modal logic to terminal coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635330"}},"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":"Q5941165$E9CBC54E-AA44-4EFB-A731-A7046083AEE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4495338536d9a7f7d6211c98f38e58d7c00ad925","datavalue":{"value":{"text":"From modal logic to terminal coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941165$6E375CF4-8D0F-4639-9B23-B8A97A27C032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31481ffbebe960a8033fe46a8f9a9371c6237381","datavalue":{"value":"0973.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941165$18606813-2605-40EF-9A60-569DF6C70FA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5e2b6bf5bce17d664c2e9b89526d6a3bc7b53be","datavalue":{"value":"10.1016/S0304-3975(00)00128-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941165$3FAC3F06-74D4-4A5C-97B3-066E385B2ED3","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":"Q5941165$5B31FC1F-3BDF-4853-8E00-3D7FBB628CDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941165$0C91323E-3A3C-4904-913A-652681B51D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941165$3A78961A-81F1-4FB0-B0C0-8EA97ED64BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941165$31E8202C-7C24-4331-B1BE-0DF2DF2A8298","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc771d4d57cf949fc8f91d084ca28bf388d038ed","datavalue":{"value":"1635330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941165$62F2C9CD-8ADE-4FA0-8450-2CFB3F347A7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941165$F74D3916-DA5A-4681-BD4D-B9D04280B8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941165$D8438E61-4B27-44B3-8D37-9225857BFADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f90fed19838d667f4d72a723bb071b204aa5fc8","datavalue":{"value":"terminal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941165$68D5FD6D-710B-48FB-8F64-163463A531AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941165$582C297A-F217-4D85-92AD-43D3D88E9933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78be4d3b793bd75d9505bb5b6a4a100fbd761799","datavalue":{"value":"polynomial functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941165$6DEF2182-AC00-4201-9BA5-CE55FFD5E1A6","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":"Q5941165$1000B79D-45AE-415E-997E-0B0FE1596C53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$81C3E9CD-6BC3-4FEA-820D-5CD22D08BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$FE997EC9-DC00-46D1-BFBB-3F08EADF3C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$EF9A688E-B8B5-4CB6-99F5-5347079A4320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$8349225A-7F6B-4D5E-9B62-1A8AB48808AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$0E8379F2-1EFC-4CA5-AC2D-68E6D93B6A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$A76F47FF-6DB5-414F-8520-2486D95A1434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab49be008cce20e9a3355d86cadd707817279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096389,"id":"Q5096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$F0B39728-F138-47FF-B185-ED8C96C0FAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$EF7CCB80-C431-494C-8CB1-82601D9FB5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f731e63f751eda97d9f9a0b426ed48152b6bb5db","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$5791FDDE-2845-48FB-8F7C-7ACAD27133DB","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":"Q5941165$1A92A0B8-AFCD-45DD-91F4-012285DCE854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$8B4F624B-2D8C-4703-9AAF-5C55FF21B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$6F485545-00F1-4BF9-A276-53E6D80E1C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$73A2AC5C-A332-4A75-845A-DE7DBFAD21DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325820f1da9bdbe993d9d54d34a90dc88d69e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4869540,"id":"Q4869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$2D2D6388-8217-4021-B9C6-DDC4D1DF2E39","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1dbb0cc6b81f77d51c721d3b7d4fb083b6edc1af","datavalue":{"value":"Q127682297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941165$98FC1DA5-357E-4A39-A3E4-860A0C9BE92B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26da927b1c4a01e9a68de676588a728678afdd68","datavalue":{"value":{"entity-type":"item","numeric-id":6257183,"id":"Q6257183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941165$650E63D0-23CE-4245-9B7E-6DC2ABAAF8DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fa506ae4f6d037ec3c5ecb23ecb116de3aba37","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3ebbd055f5b8bc97a85100da0d1ffcb1288092","datavalue":{"value":{"amount":"+0.8936907649040222","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":"Q5941165$5D22C8BA-1BB7-4451-BC44-5BFDA55C0420","rank":"normal"},{"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":"c34232667ca23aa5b3419d6fd278121b5882a830","datavalue":{"value":{"amount":"+0.8695381283760071","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":"Q5941165$7B5173CA-AE1A-40DF-B82A-8510B2382823","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":"dc22f714b8a9c2753c3cc6b3e155911587976e3c","datavalue":{"value":{"amount":"+0.8586497902870178","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":"Q5941165$D19A5169-6362-402D-A479-98995B18828F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014c62e3b5650b7e760887c2f0c575d1c5880780","datavalue":{"value":{"entity-type":"item","numeric-id":3630218,"id":"Q3630218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc22f714b8a9c2753c3cc6b3e155911587976e3c","datavalue":{"value":{"amount":"+0.8586497902870178","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":"Q5941165$4ECFF309-C0B2-4011-B4D4-C43CD01A9504","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":"95b326c2c3fc12022cf89b1463588cf04de61b93","datavalue":{"value":{"amount":"+0.853302538394928","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":"Q5941165$61074335-8604-4338-94C9-6097EE6ADAC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941165"}}}}}