{"entities":{"Q5014799":{"pageid":7044376,"ns":120,"title":"Item:Q5014799","lastrevid":58392579,"modified":"2026-04-05T00:42:40Z","type":"item","id":"Q5014799","labels":{"en":{"language":"en","value":"Bisimulation and Hennessy-Milner logic for generalized synchronization trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441257"}},"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":"Q5014799$7835E93B-4117-482E-B900-ABAC2A005876","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a38cceba92b909fae345a8357fe4680cc5b2b27","datavalue":{"value":"1483.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014799$22BA47A4-CDD8-4A9A-9138-8A2D62AF3896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1ffb086d327bae1f380896b28a7de74e56fc337","datavalue":{"value":{"entity-type":"item","numeric-id":5014798,"id":"Q5014798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$95CD264C-78A7-436E-92E6-8DFD028A27E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$03C3E010-8778-45C7-A1F0-2AE5502F3BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2ceeaa6f10617b9b8c5083d082bbb759a6b26a3","datavalue":{"value":{"entity-type":"item","numeric-id":4682344,"id":"Q4682344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$4FD0081B-ECBD-499A-AC34-F4CEF524AEB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-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":"Q5014799$42DD838D-3B4A-43D3-B047-9FE6C0F16AA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3976c481b9a33960490e2656462e33de8aa79a1","datavalue":{"value":"https://arxiv.org/abs/1709.00827","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014799$F7474931-7C8D-4816-80CA-F00129CEE919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e082c0a30ba29cd6014f598c9f94a66c24ff22c3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2017.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014799$14D8C868-9B16-4FB2-B174-62BA39AA70B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014799$48E556C2-9884-4AA7-A9E6-0A798E506F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014799$0F21F2A3-2D63-4C1D-80EB-06E6EC7834A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f175010496bc812588bbd82a4ec445229bac0e4","datavalue":{"value":"7441257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014799$25533FAC-14AA-4DF3-AFE4-356B63D2919F","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":"Q5014799$74EC3DD8-081F-4FBE-A4E1-C57D67EFCF05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69a023dafa20b920c9bc7fd1a89a7ab03bf7d15","datavalue":{"value":{"entity-type":"item","numeric-id":2937731,"id":"Q2937731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$64C7498E-855C-49FD-9093-6DDA13158265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$E0F08430-A76C-4C9B-88C8-0508B79166EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b40068857ad96f49a366f0223730d50ae0ddead","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$AD5E917C-C84F-46A3-A1BF-AE4FA985D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c24553e1dfb600d8644d6faaa062e064cf4e8b5","datavalue":{"value":{"entity-type":"item","numeric-id":3612967,"id":"Q3612967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$18921D6F-8D79-4F67-BE2B-367E7C8D6C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$EFD0E40A-5D5F-43A2-A5AB-488097D8BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$2C83989A-3E38-4099-BE8A-BDE11275F261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a289feb7940af722a1a5e23174f2fa7c2e2cef25","datavalue":{"value":{"entity-type":"item","numeric-id":2372202,"id":"Q2372202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$A0766ADE-A35C-49E1-83BE-4705A5AE3653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf17017b1c27e07e3b942b65a401ea56b11a03c","datavalue":{"value":{"entity-type":"item","numeric-id":2987056,"id":"Q2987056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$F65E4935-FF9B-4AB8-B6CF-F120DF480317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d325c2af328a199acd0812119eccc77a69ad641","datavalue":{"value":{"entity-type":"item","numeric-id":5410680,"id":"Q5410680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$5F61550D-244A-4A3D-9639-49381A4194FD","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":"Q5014799$4C01AE90-3B3A-48D5-B810-9B7B57C299E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$C898E8FE-EAC1-4757-92DE-C5B99B948A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$BD1B01AF-6832-4C82-AFE1-4C44F2F38F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd98266f665467b8ae7e50e6b3a052d84049228e","datavalue":{"value":{"entity-type":"item","numeric-id":5361144,"id":"Q5361144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$6C364622-BE8B-4FFE-9C2F-927919B1B5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c22b03b2aa855dd0366f838b393cf8dbe82c2c","datavalue":{"value":{"entity-type":"item","numeric-id":5375641,"id":"Q5375641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014799$18191BA7-AAB6-4CE7-98A7-5018E081505C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711612d6fa227cbeee5cacd3bf1a22b1dc3d4478","datavalue":{"value":{"entity-type":"item","numeric-id":5410680,"id":"Q5410680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa142c298073783aca85efaffa7e2f92d0a5a40","datavalue":{"value":{"amount":"+0.7527846693992615","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":"Q5014799$801ED1A2-E502-45D2-9284-8C1BD21C7F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f538675f261386949872896404d6792f6eea73","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f515d56af9bde139eef37de164cce786a68c0860","datavalue":{"value":{"amount":"+0.7513492107391357","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":"Q5014799$DF681DCE-7C91-4A38-8AD6-07CDF0AF97C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fc4d3b16bc920aaa88221d558af141cad0d860","datavalue":{"value":{"amount":"+0.7476735711097717","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":"Q5014799$2B93A385-58BC-47F2-AF17-FA08ACBFF60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f237d8c7d1d4897e345fb9e25d47d2744c55bb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b3f7522fe68b0ada2cd6976a2c48dd3644ebb3","datavalue":{"value":{"amount":"+0.7467755675315857","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":"Q5014799$A41D89FA-C9ED-4389-A51B-56C9B8715CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607ae86d87efc29b9ad8e4907a3cf3840237fcc6","datavalue":{"value":{"entity-type":"item","numeric-id":3829081,"id":"Q3829081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490f94a38e9b2d76b0ca650bb28806fbdd4dce3f","datavalue":{"value":{"amount":"+0.7467470169067383","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":"Q5014799$B2C84A00-50FB-45C2-89BA-1C84A8CFAD90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014799"}}}}}