{"entities":{"Q558417":{"pageid":560184,"ns":120,"title":"Item:Q558417","lastrevid":62791350,"modified":"2026-04-11T08:28:30Z","type":"item","id":"Q558417","labels":{"en":{"language":"en","value":"Expressive logics for coalgebras via terminal sequence induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186734"}},"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":"Q558417$6872A731-DDAB-4393-85EE-563FAB5EA12D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f509fd883419fbcd1ee23d05ef94fc45b920bff","datavalue":{"value":{"text":"Expressive logics for coalgebras via terminal sequence induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558417$B99A796B-480A-41A3-96BB-16B5C245FCA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c663ff5eb5d3138c5ed193079454b90e7873142e","datavalue":{"value":"1088.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$73ED56D5-15E0-411A-B1A4-38988DC3EE25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$0F902946-1B9C-4380-A991-C6F9FFDCB87C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$48D79889-40B4-4761-969A-BC19B67C8F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558417$356D3617-442D-4A53-83A0-1D67603FAF50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$66479D8F-0C55-4738-B871-ECC2C3211408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$6C44FB57-06F3-4022-943C-877BD791B62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$B20D8AB7-DE2A-460D-A3B1-22CB71A3514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$F10339CE-36F1-4B6E-803D-92686CF2853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$9AE98485-E173-480C-8682-BDFE667DC771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$CA3186E4-C232-454D-83F0-31ADD354E3D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9725aafd22ff8844b199b3dd554dcb80a684be59","datavalue":{"value":"2186734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$5344D831-1BC6-48DF-85F8-6F3C0664713C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d4f55860c37ec635a1e42754275ac0b982b46a","datavalue":{"value":"coalgebraic behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q558417$FA096149-A812-4E6A-BF15-6C122F6540CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262983b439db0e698e56e398a603fa1ac2aa26e","datavalue":{"value":"coalgebraic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558417$1CEF37E6-65CF-46C9-B131-3FE9EADBEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q558417$1F37882A-7C2F-42D9-9ABA-70F948167A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3e7f1f83750b9bd80c7f7332eb0563ba016db0","datavalue":{"value":"predicate liftings","type":"string"},"datatype":"string"},"type":"statement","id":"Q558417$3BB8166C-E79C-4E26-89BF-76ED85E53872","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":"Q558417$081CC1A2-F9F7-4721-B8A4-537B9716F0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cad7e3547c8736be9961281558122ec9e8d81f4","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1094155277","type":"string"},"datatype":"url"},"type":"statement","id":"Q558417$B19287CB-9B31-4F8A-B616-C659D8BFBCF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b956141c23de00dd55aa8b74d370c7934636545","datavalue":{"value":"W2060917500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$8F236E80-945D-401D-82E5-5BB606A9BC0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2286e0c27de1eb37a1462ffac8c7059d7a659a3e","datavalue":{"value":{"entity-type":"item","numeric-id":1801304,"id":"Q1801304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$C8AC4C38-A915-4B87-9028-048D3735C7DE","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":"Q558417$1769607B-F4D9-4429-B659-DCF5D7F2232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$D462D1DB-1913-44FC-B5C2-E06D0078C2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$891F86E3-98E1-4639-B1E9-F3A3274638F3","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":"Q558417$BD38022C-D7A7-43BE-A143-EBFD6AFFF017","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":"Q558417$CDAE9C9E-7EA1-4C48-B543-FE48E7D36BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$D347FF29-8E59-4345-A212-0003BC76036B","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":"Q558417$3CA4C007-6CCD-4B24-A288-46C5F7454CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$0EF459F2-8320-4EF8-ADC1-D2054D6FA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$DB93EFC0-92E8-4904-8091-F2787F59136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$EBD90729-EFA5-4AD8-A0CE-DACCB01E6794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$1EADC9C2-5AEA-4790-9A29-B3C114A2EDB8","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":"Q558417$E79B9235-47CF-48A1-8904-619F2F59CE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c10a827d2af24fcbdf825a50f1eff9d38a2cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$408FD141-A7C7-4A5F-95B4-5913228445D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$79761D5D-A1A6-44C9-B881-249BB8595089","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":"Q558417$B8A6C646-67AB-4478-99E2-BF49FE41EE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558417$239E9A77-226A-459B-A7AA-7B814DC33229","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":"Q558417$6B319C40-270E-4120-9467-9274C2BB6C01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04ef066f33f5ac732b1eec45967d85a092a4338c","datavalue":{"value":"10.1305/NDJFL/1094155277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558417$8857AAD3-FF7E-4D39-B692-84DE5563FA26","rank":"normal"}],"P1643":[{"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":"ea80384e8d3a14ef6352e7061b5200334f63a42c","datavalue":{"value":{"amount":"+0.8428296446800232","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":"Q558417$E3AB34DA-8C89-4DFE-A306-81ECCA7E2068","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":"8f8aba0acdd68b81f8a4c00597c6263400656dea","datavalue":{"value":{"amount":"+0.8358559608459473","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":"Q558417$F9E754D2-1262-4A57-AF7B-A17690A77DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426a47afc49b1c6edd7bfe7eb047dcc515775e2b","datavalue":{"value":{"entity-type":"item","numeric-id":703520,"id":"Q703520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8aba0acdd68b81f8a4c00597c6263400656dea","datavalue":{"value":{"amount":"+0.8358559608459473","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":"Q558417$9D73DE84-B6BA-482E-AB44-A9F318F05FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b005c1d2707be3c331779e90a9d83029dfa0713","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fa318eb3d4953c5e81a336ec1caac7044a76c4","datavalue":{"value":{"amount":"+0.8354834914207458","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":"Q558417$21A5D7E4-B526-4246-B1F0-5A0D4A814DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea510080ed72da3949ed4dbcc0b26697f915954a","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9bf7c086bb4cd8e6c3d247b83fc01409a3b661","datavalue":{"value":{"amount":"+0.8348429799079895","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":"Q558417$9DD1A4DB-BDE3-4145-9B47-1C9BF5278D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive logics for coalgebras via terminal sequence induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_logics_for_coalgebras_via_terminal_sequence_induction"}}}}}