{"entities":{"Q479808":{"pageid":481575,"ns":120,"title":"Item:Q479808","lastrevid":62146605,"modified":"2026-04-11T04:05:04Z","type":"item","id":"Q479808","labels":{"en":{"language":"en","value":"A modal characterization of alternating approximate bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377615"}},"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":"Q479808$ADC09E2F-C1B9-4A79-AF4D-1DB8C8FAC7D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"766c1b8c1a7e9a1498a0a7c99216979fece3433a","datavalue":{"value":{"text":"A modal characterization of alternating approximate bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479808$FD10EED3-3A35-43B4-93BF-1EB8FAE29117","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ac84eb6d93f6addf4dc363b480c88761a53862b","datavalue":{"value":"1300.93114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479808$236D5C14-9D47-48E6-B107-567AD33C87BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d4c6adbebf972f0206b818b72b28eb7ad36031","datavalue":{"value":{"entity-type":"item","numeric-id":479807,"id":"Q479807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$3633B3A8-6DDF-430E-BE09-54B3783B29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$A16EB408-54CE-4059-983C-7F2C9D02FA93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$88285DA5-43E3-489A-8F69-535BD7BDF4E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479808$0070C231-F0ED-4DA4-82DD-99F4F88525FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d11b93673d8e780fc5d89648676b612909f2a43","datavalue":{"value":"https://arxiv.org/abs/1212.5139","type":"string"},"datatype":"url"},"type":"statement","id":"Q479808$2832FB0F-A872-4258-896E-7C4D6530BA1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479808$9256EAA7-4ED6-438F-AAD5-8800961ED776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479808$CEDE45E0-6814-4A80-9CA0-AF1D160F9ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b05d5c2a3eaaca37081af83c0a00601f25cfbf3a","datavalue":{"value":"6377615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479808$3E552CAD-F47E-439E-9496-D926167DAD4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52270b0ee458f5aabc4c34bcc88a242bd91cdbe","datavalue":{"value":"alternating approximate bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q479808$781AA704-C10E-49CE-952D-27726F251290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263d0c46600ec273031d411ec5ac3cf7542189b1","datavalue":{"value":"modal characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q479808$1ABD6476-947D-4B29-8139-3A4450A6AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf316ed32c43273aca190b537ce8b444557e25f","datavalue":{"value":"control systems with disturbances","type":"string"},"datatype":"string"},"type":"statement","id":"Q479808$8D5800ED-E688-4324-B7DB-84BD9F36DD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cc8d05852a11a4939ceb17acfb4fef8f8b6dfb","datavalue":{"value":"finite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q479808$3EB183D9-86D0-45E2-A77E-94AB65712083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58e2df6089fd1c53032a9e0812b7d9dd795d20a1","datavalue":{"value":"temporal logical specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q479808$F33E1236-3B73-4DB2-BF19-253FAF88258A","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":"Q479808$AE7984C3-F01B-4C6D-B2AA-15317CD83813","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf0b6368e835ab48fe304a7af4b77e740ce2a460","datavalue":{"value":"W2111335664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479808$14DD521D-9F04-4385-B616-5ACA7531101A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$D022FD70-A897-42D9-B36C-5210F081E82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$364AB130-B85C-427E-A41E-AF6F07F81F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$FED3F705-811E-4FAE-90E3-CFB701FBEFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fc2ec31960dc5e7e10b77489e0088de37c1804","datavalue":{"value":{"entity-type":"item","numeric-id":4897709,"id":"Q4897709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$1CFB0671-FB6B-49D0-A132-BA64AEB63624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3733b6620d7eff1c641fd3b36b3be61eac36f49b","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$79EA5231-A4D7-4E4D-9CF9-158054ADBF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$80EB82BE-BFC1-4112-B885-7EED9882E6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cbb125a4325b962745ed7426bba0f5ede12ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$E7345E96-6D6A-470C-A128-E3714C44C1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19491efc092c3a21139c415469e2e4da4818ab68","datavalue":{"value":{"entity-type":"item","numeric-id":2986729,"id":"Q2986729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$86263525-4D3F-4DF2-BE92-E199AFD657B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$8D32699A-3006-434E-81A1-798A8F67CB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$BA3450AF-AA90-40D8-BC9E-596E7DF0314F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2642949049635261c4d78ddc4bb0473d10b6203","datavalue":{"value":{"entity-type":"item","numeric-id":3612974,"id":"Q3612974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$6CB9AFEA-0211-462B-B1AA-7E6A4179D960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3599051772dd05fe3142041f15d079d629c74842","datavalue":{"value":{"entity-type":"item","numeric-id":3523114,"id":"Q3523114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$B33C72E5-C80B-48DF-A294-98DD4F297A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$567C4C0F-4E82-40A9-8665-F3A446838578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4dd3237587acde4ab6be0547ecd2958e02b054e","datavalue":{"value":{"entity-type":"item","numeric-id":1012892,"id":"Q1012892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$4AE8640A-3166-4C59-8E0C-BD8D1B236D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186ca5f169ce251769800dd796db3edde0ff3490","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$DC920B18-1924-47AC-8D9F-116C76A5E8EC","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":"Q479808$0B390EEB-E233-4910-BEED-C5255D0BDD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fd3aa7c24647cadceb1dff8c95f821ed8cbf96","datavalue":{"value":{"entity-type":"item","numeric-id":5890046,"id":"Q5890046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$4043145F-78C6-4A53-9999-C686A3F9CD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$72F179F4-74B5-4F49-86BD-B20F3078C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a169a795da781c945c13fee9b634e858df2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3557942,"id":"Q3557942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$2BC31AC9-F390-4643-A99A-A013E6A9C6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$DB0DCD6F-1CD6-45B7-B113-77DE4B7F54C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d33277188388f6dff91715bc23c2a63b4d53bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4974259,"id":"Q4974259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$0B874686-9724-46FE-BA42-ECCB6EB6DC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$AF468C96-FEAE-4D8A-803A-E0E1C813A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2004da873feaf2c2a6c854f4858a83eee7d733d","datavalue":{"value":{"entity-type":"item","numeric-id":1606119,"id":"Q1606119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$5C22AB11-A92B-4466-8E45-4FE62DBA561A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12923a3b7df0419e3756741f3337b0475e4eda2b","datavalue":{"value":{"entity-type":"item","numeric-id":2570971,"id":"Q2570971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$367DF024-9C46-4C5D-8891-789DA7C27402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ab036f42c001957889aab6aad007c1308a0612","datavalue":{"value":{"entity-type":"item","numeric-id":1045555,"id":"Q1045555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$124FD2E8-607E-461F-9748-BEB641AC08B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2bf0dbda747d4f4493cbbdc05b536e2eed4f33d","datavalue":{"value":{"entity-type":"item","numeric-id":5415666,"id":"Q5415666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$9126F31F-8031-40F9-90C4-88A737AE6907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8dc63a7fbae0511993b32584fb0883a1501e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1004387,"id":"Q1004387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$9B5736A6-DA8D-4DE0-AB3F-3ADAE30C5D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a364b2142b882e74da0c4e46b37edeefc86a3dd8","datavalue":{"value":{"entity-type":"item","numeric-id":442296,"id":"Q442296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479808$17D8300D-C6F1-40AC-BA0B-B39881EE3B5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a477a44f630a5786d7ea50c69cf7d2c49e560787","datavalue":{"value":"10.1007/S10703-013-0201-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479808$2C7F69D3-C0A8-47B5-841B-8D97E6D58240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a4717edb2c0b89de3d3bc980a6a1740976e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60af4e4ab1454600bfd2394e6a70e71d6b5f26e8","datavalue":{"value":{"amount":"+0.7613418698310852","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":"Q479808$F8F0CE1F-26AA-4C62-972D-5D2C418A7ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc73181ee3a15eb5d8fbb4297119778131525cce","datavalue":{"value":{"entity-type":"item","numeric-id":3612974,"id":"Q3612974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6fb2d33be7a8fa66c6bc6d5108d973635651e9","datavalue":{"value":{"amount":"+0.7563477754592896","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":"Q479808$39E3AB08-8CF2-42E6-9869-A16DAFC038D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ebcd90dc6c1b282e4177cae65253d3a848b403","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb035b862c2ee7f3092440c092bc6ec0d281cbbe","datavalue":{"value":{"amount":"+0.7404301762580872","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":"Q479808$EEEB1AF5-F35E-4CD0-8321-83B026C8E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04695aece85a94a2a66fe51ee52d0cff39d3cdd","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf050d3005e7655b4a15f1cabc849fb9df48f8c8","datavalue":{"value":{"amount":"+0.7383468747138977","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":"Q479808$640733A3-C37F-4092-8E9B-1BE816D624FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee93fee102f6b38077322128e33cf08082ed683","datavalue":{"value":{"entity-type":"item","numeric-id":3523133,"id":"Q3523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0ed6da74a0090695fcaec76659a30f910afd5e","datavalue":{"value":{"amount":"+0.7383172512054443","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":"Q479808$A3A29237-A678-4D53-9C38-5A1B7395FF11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal characterization of alternating approximate bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_characterization_of_alternating_approximate_bisimilarity"}}}}}