{"entities":{"Q5739448":{"pageid":7769000,"ns":120,"title":"Item:Q5739448","lastrevid":52575740,"modified":"2026-01-23T00:36:26Z","type":"item","id":"Q5739448","labels":{"en":{"language":"en","value":"Transitivity and difunctionality of bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603964"}},"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":"Q5739448$03D5336F-AA24-468B-9AE9-FC8D9F5DCAFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39ea033bff8ad6bbf45d1ba09a422a33b883ef07","datavalue":{"value":{"text":"Transitivity and Difunctionality of Bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739448$83B9E1C7-E5C8-4F31-857E-B207890FCCF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"638fe65551bfc962cbf5dc23b065faabf9859e07","datavalue":{"value":"1475.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739448$046C7B2E-A10F-4EA2-BEC8-BE31AA51FEA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5955610d01770012dc95a20260c36f62fec590a8","datavalue":{"value":"10.1007/978-3-319-40370-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739448$882808DF-1172-42CC-801A-44DE8F225A84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"554749974839322b325a003cf78674ad15155ecd","datavalue":{"value":{"entity-type":"item","numeric-id":2942778,"id":"Q2942778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$E1962EE1-5B89-4D0F-9B89-D7BF8BB8F422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$4BA27F99-0D4E-43B4-80BB-6347CD6F269F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38ed45f081b5272f43b89960828e8f9aaf31a28f","datavalue":{"value":{"entity-type":"item","numeric-id":2914672,"id":"Q2914672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$74D753BB-64C4-4012-9E60-EE0D0A51A707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739448$BD10C216-8B49-43A9-9412-5A5F3932726A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efa1e45a72c75058456ec0842a25b01e388d7fcb","datavalue":{"value":"https://hal.inria.fr/hal-01446032/file/418352_1_En_4_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739448$8A4DBA59-1B1D-4DAC-9264-803799109954","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739448$2CD724D5-9CC1-44C3-968C-9F93EED9A3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739448$F50FCDDF-C568-4DC5-AB24-80FADEE7CB54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65747602c633b41966cb79ea93947f81f4133aa5","datavalue":{"value":"6603964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739448$6C2BDE53-3170-4D2D-AF8A-08566732D581","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":"Q5739448$5227CFBC-A127-4671-BA85-2B22EEF1AADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8807b28383952d13c3e2625a97d5dd20f2bf1999","datavalue":{"value":"W2478562955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739448$5796DE57-3ECA-42AE-87D1-BFC60DD28940","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":"Q5739448$F8DC04B9-C4E8-4860-8318-F9ADB030C557","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":"Q5739448$4D5CC73E-D6DA-46EF-81D2-76B95EFE7E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$8246DE55-CB0F-4F7D-B53E-372F5CF9E1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$4120B176-1389-4FD7-8FD0-6ABD95154E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6879cb07e152ae0fa0864640a6445f525a975205","datavalue":{"value":{"entity-type":"item","numeric-id":1771866,"id":"Q1771866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$B251CF5A-95C4-431E-8B3F-9A9F9A57CB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b9de43b6556886fe1ad42f6617817fa4fb8fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2577729,"id":"Q2577729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$AAD5B221-00E3-4EB7-9361-25A55F31633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b3e65f0839c863c927be10c5b47512d54c56da","datavalue":{"value":{"entity-type":"item","numeric-id":2942779,"id":"Q2942779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$F408E40A-A1FE-4E0F-97E3-DA82CA6DEF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0240225c775c7a89fa970a541c0d113186b88","datavalue":{"value":{"entity-type":"item","numeric-id":3612496,"id":"Q3612496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$D2CB38D3-DCAF-44B9-A38A-878F0095BF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$C04E2B85-86A3-4916-B917-4F23833D8571","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":"Q5739448$EEF516DC-CDC3-455D-BB92-553738F1B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466538defb5fd0c5751d614e46e56a1ff57e4ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2914681,"id":"Q2914681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$3821187B-57FF-4FD7-B74F-FF8FFC638240","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":"Q5739448$DBE4CD10-4C72-49FF-A380-06DE8AAE6BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$7F6146A4-1CC0-48BC-97CD-D41F00F8D76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e5b1ffc1fd8073de4f976d4764db5658742b24","datavalue":{"value":{"entity-type":"item","numeric-id":5790797,"id":"Q5790797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$863F3371-D930-4994-8B85-21DC59A6ECE4","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":"Q5739448$83EBCD6E-4126-4CB0-8EC1-E0E5B7B162ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$3C74936D-1127-4907-AE7A-D7C7323B4B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$FC103FB7-EB9A-4AD5-88E4-7E3A8AABC94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b22501c4a522544765e1fbc099ade352ff4e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5574731,"id":"Q5574731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739448$971030CE-C2F4-4635-AB4D-0B6ECE4186E5","rank":"normal"}],"P1643":[{"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":"c8d3d0be340578daa61c06550c8abeaaca928de7","datavalue":{"value":{"amount":"+0.8302562832832336","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":"Q5739448$99F9216A-5519-46B8-9CB0-23D9FF8D2283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d3981212ea8c0ce30a052b030fd210ad6cceef","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756b5dc7e5d1fb9a0b7c03cbbc381a8254484e05","datavalue":{"value":{"amount":"+0.7962348461151123","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":"Q5739448$3B200A15-638C-4092-92D9-4119C3073E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b59811d553bba8973888d834ade07d29c06b24","datavalue":{"value":{"entity-type":"item","numeric-id":2843725,"id":"Q2843725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1866d386e6ed8f134a519d72532994cb231152","datavalue":{"value":{"amount":"+0.7943190932273865","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":"Q5739448$064060BC-D591-4CDA-BF45-32938F120852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3df975cc953a06f3b0802a02307f01304a9d78f","datavalue":{"value":{"entity-type":"item","numeric-id":2888487,"id":"Q2888487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bfe87e20ec4ad16e6e2cf31df36cf619f1eb42","datavalue":{"value":{"amount":"+0.7822990417480469","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":"Q5739448$31C8A58F-73BF-4764-98E3-1E99436B604E","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":"4f2fb2d8cc6047dc87861776078b6f89fea2e6a5","datavalue":{"value":{"amount":"+0.7766613364219666","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":"Q5739448$C102B409-1498-44F3-A0FB-7EC8E06A6D30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739448"}}}}}