{"entities":{"Q3178292":{"pageid":3189001,"ns":120,"title":"Item:Q3178292","lastrevid":45619312,"modified":"2025-12-11T12:17:37Z","type":"item","id":"Q3178292","labels":{"en":{"language":"en","value":"A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602847"}},"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":"Q3178292$4FEA9E07-FBD8-429C-8E33-6A98CF000F50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8104b35e9c0acfd607a7426ca8b5b6b4d04e145","datavalue":{"value":{"text":"A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178292$8D2A285F-4657-41C6-97BD-21546DB74903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7665eb33bf6d718f3d93bcd096678871e421be00","datavalue":{"value":"1343.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$E064F5AC-0000-4119-B339-87EE22E7CCF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2b6edef7bd3ae86efcd924cf74a83dca582172","datavalue":{"value":{"entity-type":"item","numeric-id":2914686,"id":"Q2914686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$AFD8800F-552F-455C-95CF-7679B9D394E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$4647B5B5-582A-464A-A386-B418CC41DD8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178292$7FFE9733-DF3F-4368-AAD2-28FE1B865202","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$919943EC-0D07-483F-ABDE-4045D53BB2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$D1AD4A83-96CE-4AD9-B900-6F2380DFCD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$5A3326C3-276F-444D-A71B-1DEEE6C7E473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09eecc94dba26ada13fe0a6244c5b0f77a304cff","datavalue":{"value":"6602847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$47566C43-894B-483E-8E4E-A9A0DCDFD335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54b4aa9c102f42ec9cf732505b18c2266e3505b","datavalue":{"value":"enriched logical connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178292$AE0B1A18-B71A-4E5D-B165-A2ACB1EDDF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05702ff0895bf3bca4804e68b821b4f94b55662a","datavalue":{"value":"preordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178292$93F2393B-B747-4AF9-8495-355DFA7FE786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178292$441746EE-6FAA-48D8-BB80-07723F11A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178292$4B60B625-A875-45EB-9D38-2C5B7F66DA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178292$3E31E267-0C51-482B-9BEE-81228479D8F7","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":"Q3178292$2CA19C45-90C1-418A-8DDE-1D2ACD7A6105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc5644432909cb12267fd72f0e32ddeba606cac1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.08.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178292$EB4E9308-B30A-44C9-ADEB-8582777564CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc879952f50866905d29c75747d40fd43bcf8699","datavalue":{"value":"W2067704480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$297005BA-23E2-4FCA-985B-AEBFA56DDBD3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df9349acfd6143c7bb0e747b75d1007c8685ac41","datavalue":{"value":"Q113318067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$1219262B-9971-4BFE-9EAD-D267E7061ED5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$1904680D-99F5-4E54-A52B-FEF99ED64C42","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":"Q3178292$1896634F-4BA1-4CF2-A76D-DDC7309EB6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12b45dd371f441cc13493ee09f98657a5ae6e37","datavalue":{"value":{"entity-type":"item","numeric-id":2495641,"id":"Q2495641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$1623E1F9-27ED-479B-A3D3-AAEF9AB5BA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$2ADFBFF8-576B-4055-9F25-EBC61584EB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$4E542134-6F85-4F92-A9FB-E68C2A0459E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$5EE76339-8418-42E3-9D1D-47BC03E69343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$52772B50-73A2-4FCA-BDAD-ED84D92FA980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$D6FB4BAE-99B6-4CE4-BDF9-0D0ADF9BEC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d11bf71149c25701e7a355c8b76fb05e682683","datavalue":{"value":{"entity-type":"item","numeric-id":5492826,"id":"Q5492826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$6CC01FB2-3762-4215-8E1C-FD58E677F692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e49f7c3d56b3617fda2ba0fae065544edc18445","datavalue":{"value":{"entity-type":"item","numeric-id":2392097,"id":"Q2392097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$56CA2E32-14C0-4DF4-8520-5A9533892182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31862ba1a6e135191931a51c3d4974b59863c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000597,"id":"Q3000597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$EE0DA227-E6F2-4E73-A15E-2C56D2C1239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa85e1d4c083b675b923ad4615fb383be1f76c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$03390FBB-861A-4969-A634-30DA200A8410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eab35b891f2d5ff477ef76ec6f92f9399ca1ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2914687,"id":"Q2914687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178292$8B648AB2-6E3E-4DD9-8E5D-AE1750114BBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30217018ed820024beab58daeb18e2f295e4a0ef","datavalue":{"value":"10.1016/J.ENTCS.2012.08.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178292$EEF3F968-6049-4474-B4CB-3354D7668E05","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":"388ba60b172c20cddaa21932e51e0dbcf95fe226","datavalue":{"value":{"amount":"+0.9319896","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":"Q3178292$DBD507FD-636A-4309-97EA-B5F1DBCCDB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d32974cc7826ab1ee442cfb1bdac2a3ff633490","datavalue":{"value":{"amount":"+0.92787355","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":"Q3178292$4E2C21BD-D633-4AEF-82F1-E3830994646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bc8350e220585b4b16b3177f71ed1cdb6151a3","datavalue":{"value":{"amount":"+0.92270434","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":"Q3178292$10BDAA9F-5C3F-4080-BFBC-DA43D2404BF5","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":"0cdbc62873a2b35f5733b4a3b68878d2cd121660","datavalue":{"value":{"amount":"+0.9205133","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":"Q3178292$F7216366-9A64-4823-8664-67F4EC887A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c050a6f973d0161395fbeffd77322ed8533ebc2","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ac950a09582143554bcef8102f102bddc76da5","datavalue":{"value":{"amount":"+0.91791797","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":"Q3178292$E666DE9F-BC7C-466C-B7EB-921942006FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37af7eaff098e4e2fad65fc30d7b2b090ab0ea80","datavalue":{"value":{"amount":"+0.91767275","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":"Q3178292$D53062E6-197B-44B1-9F2C-84DC17BC516A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84609dde01f59ddcb21f4c918d1b216852d57130","datavalue":{"value":{"amount":"+0.9169065","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":"Q3178292$8745EB38-2B95-45C2-9FE9-2DDCD6D049AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9969ad97f00fce387e4d4af6d7ed2c1fd48323c","datavalue":{"value":{"entity-type":"item","numeric-id":4580199,"id":"Q4580199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04427d1449190e437e3a67b396940ece1c436e3","datavalue":{"value":{"amount":"+0.913042","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":"Q3178292$43F87228-292F-49FE-BC08-111AFC082AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4f7445ebc7a6db1c52d379c45b7da863ef4caf","datavalue":{"value":{"entity-type":"item","numeric-id":2747943,"id":"Q2747943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde7cdb38627b30394887310b9d4818df8fdf637","datavalue":{"value":{"amount":"+0.9129221","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":"Q3178292$56C8AE02-B681-4B4B-AB04-5038E0C2C25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6711e40060761142182a203457549767882fb86b","datavalue":{"value":{"entity-type":"item","numeric-id":3460420,"id":"Q3460420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d446204272396a2b2271c95f29a1ba4c6222631","datavalue":{"value":{"amount":"+0.9118285","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":"Q3178292$CEE3042A-5372-4AEB-870A-B96827144F0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178292"}}}}}