{"entities":{"Q4580199":{"pageid":6609785,"ns":120,"title":"Item:Q4580199","lastrevid":82374398,"modified":"2026-05-06T20:45:15Z","type":"item","id":"Q4580199","labels":{"en":{"language":"en","value":"Bisimulation for weakly expressive coalgebraic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917165"}},"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":"Q4580199$C7833F81-5A10-4B1D-9947-190DCF540B1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ff493190c92c6e3b911bfd1a2b76083e7772cfe","datavalue":{"value":"1433.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$9FEFEE56-C442-4DB4-A321-6D4661DC14C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6008baa3d73b5bdebee0d733a7f41f187eecda0","datavalue":{"value":{"entity-type":"item","numeric-id":1987214,"id":"Q1987214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580199$2E2567EC-04C7-4BCE-9AAF-7B29667B1034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d726ad86783b7a945be085aff4183c381237176","datavalue":{"value":{"entity-type":"item","numeric-id":4580198,"id":"Q4580198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580199$B90B7B94-7F7D-4F86-900D-FF74A05356F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580199$1895BA30-1601-41D0-93CC-A374E450138D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$73224B1D-5A0E-4AB8-8072-387F11317F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$ED89F826-27AC-4362-9252-B88AE05A6706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$ACA1685A-C97A-4D8B-B17A-B231DE912D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$DACA3871-1D5B-4B41-8F16-3D78C37B3C1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d930efb97dd61c4d9ead82c057e8910684ccad7","datavalue":{"value":"6917165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$ABBEF97A-7CDD-4181-9E0D-76AFD0F158A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262983b439db0e698e56e398a603fa1ac2aa26e","datavalue":{"value":"coalgebraic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580199$701C6EB1-7F1C-464D-B6B0-C9402D4A4D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580199$0C595BBB-3939-49DF-9F90-9E3E8D5E4A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580199$22B02910-6BD9-452F-BA3A-54DA759402C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae81f9b7c85c07a7a5bb8c44af3c577b792f37e","datavalue":{"value":"Hennessy-Milner theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580199$2880B25B-3858-464F-AFBF-0F37D9BF083E","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":"Q4580199$508CFAFF-9E79-4ACB-8002-539255067ECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4beaaa8bef948d46c82be3b2fcc66ee0a1c4d44","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2017.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580199$98E44821-267A-4286-8267-620CF32B4F21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af50d82ff07dd0834e3708881f8c916f87c8b4e0","datavalue":{"value":"W2775578497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$0E2D1293-DE2E-415C-BC35-4C9B2AB411F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ceb34a764fa2a18e676237701820decf6a7182","datavalue":{"value":{"text":"Bisimulation for Weakly Expressive Coalgebraic Modal Logics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580199$A612A159-E122-417B-BE06-BBED485EDA5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c009e5db95a795081107898d71624f761f7c54","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580199$29F2311B-24A8-40E1-A1FB-0A2570083CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b8496f9ca73c6ac516cf1a9390057873dd72e","datavalue":{"value":{"entity-type":"item","numeric-id":5249665,"id":"Q5249665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423d84df20d11bb1fc63c6f9899295d2b1907b53","datavalue":{"value":{"amount":"+0.8249551057815552","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":"Q4580199$1258BAC5-43A2-4E05-9C15-34E2B4121A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a688a7a03605385f16a1fee512e801b92db7402","datavalue":{"value":{"amount":"+0.8219344615936279","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":"Q4580199$ED1E32FE-8493-47FC-9778-7BA17A8DEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8dea4d8ec8d4c8e23308fc3b01c092c810a08e","datavalue":{"value":{"entity-type":"item","numeric-id":2843735,"id":"Q2843735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcede6b8aeab5d68841809d4e7388a2b146efe7","datavalue":{"value":{"amount":"+0.8037369251251221","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":"Q4580199$5740C702-00C8-4121-94A4-02ACEFE8E7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa03e28f01ed7263fd28122908318a232230605f","datavalue":{"value":{"entity-type":"item","numeric-id":3178292,"id":"Q3178292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cde2dfa4b07b6933053d2a6694a6ad992737ce","datavalue":{"value":{"amount":"+0.8035902380943298","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":"Q4580199$AE7A1428-3584-4F0E-8CFF-C34D85007C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56bc1b3b56fa0420dbf4ce3c809e8bb0c4a01c","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8aa4f70878669e4afcb78cc1c7b8fbeea7c990f","datavalue":{"value":{"amount":"+0.7971633076667786","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":"Q4580199$69E6D3FE-DC8D-4234-AC0D-4250CC5A7850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation for weakly expressive coalgebraic modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_for_weakly_expressive_coalgebraic_modal_logics"}}}}}