{"entities":{"Q5249665":{"pageid":7279233,"ns":120,"title":"Item:Q5249665","lastrevid":94608338,"modified":"2026-06-05T07:15:03Z","type":"item","id":"Q5249665","labels":{"en":{"language":"en","value":"Expressiveness modulo bisimilarity: a coalgebraic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6435074"}},"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":"Q5249665$C81B80DB-D751-44C3-8141-73CB61A5FC4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8e808ca5660d0a8ab6d0501297c9bddfd3db35","datavalue":{"value":{"text":"Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249665$1681DE0E-4A0D-412B-AB40-5F824B9EB611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc604bb8ddbbe8cb72c93b4ad0f8568e6806ca90","datavalue":{"value":"1354.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249665$B76B784D-9ABA-4DB3-944D-069C3B83595B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cfe4b0efb29c58b4cfd344745df0ea2c7f634f4","datavalue":{"value":"10.1007/978-3-319-06025-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249665$B5112898-82E9-4E35-A8D5-E635D33A21B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249665$A5089388-838D-4725-A6A2-BCF797674194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ac7323fc0100575064f6dedc6c09265e3fc78be","datavalue":{"value":{"time":"+2015-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249665$B4E13E09-C493-4D77-B3B5-E17D023900F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adde3086f7fff4d9c8d80b587f204b47ff22307a","datavalue":{"value":"https://pure.uva.nl/ws/files/2346382/157650_vene_expr2014.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249665$1692B876-F6CF-46E2-9BB7-C7888ED52875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249665$08F16FD2-CD48-4580-9581-4C712A25BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249665$79026415-3750-4C8F-96CE-9526DB67DF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4356cbdca3820f2cff381eb29c377f76f2b6aa18","datavalue":{"value":"6435074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249665$8C3357CD-CA3E-43DF-BCBF-16B3C9F360B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249665$35D2A527-17BF-495C-AF99-710496F2B370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249665$270766F8-0A9C-407C-9EDC-1919DD95E5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471c789a059d3328f856ac160ea7f219f999b7ed","datavalue":{"value":"bisimulation-invariant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249665$9519EBDC-D454-4A48-916D-056EFF3F383A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249665$4B3D1D8F-DAE5-4B2B-8652-37992F6634AA","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":"Q5249665$2102E7E1-6C7D-425F-A9A1-464D838EC2C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5192a542c36f192e14dbea6ade527704626b6eb","datavalue":{"value":"W2096500204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249665$4869ED1D-4BEB-4A7F-A4C8-8D60C2165437","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1869a4116d01499c214887965dc0dc029108ec","datavalue":{"value":{"amount":"+0.867027997970581","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":"Q5249665$211A38FD-F374-4767-A7AD-3E30C3CDE511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fa4333d787e6ca0dee89d9c722f8a043fad199","datavalue":{"value":{"entity-type":"item","numeric-id":4635817,"id":"Q4635817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676ac4b28862057245770c2d74599a21707627b3","datavalue":{"value":{"amount":"+0.8422892093658447","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":"Q5249665$FD1EB09E-0A3E-488D-A85F-BA1508D9D5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a596d34a8ec5a4e27e7098bc350b4ab8b233aa","datavalue":{"value":{"entity-type":"item","numeric-id":2983396,"id":"Q2983396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea8fea211c4c716899fa10f954f56c5fd54892b","datavalue":{"value":{"amount":"+0.8303713202476501","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":"Q5249665$677698D5-0DE8-4CDD-BFB2-0BCC5C3C893E","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":"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":"Q5249665$E95384D4-434C-4FD7-B2E4-08F48DAD2DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0e9cc3b3b4b2948eddef05edc7e8430090be46","datavalue":{"value":{"entity-type":"item","numeric-id":2904060,"id":"Q2904060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be05744b69c920457be4d7aa243378ffccf531d","datavalue":{"value":{"amount":"+0.803669273853302","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":"Q5249665$1855807C-58C1-463E-B801-051B9EF49604","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness modulo bisimilarity: a coalgebraic perspective","badges":[]}}}}}