{"entities":{"Q5739458":{"pageid":7769010,"ns":120,"title":"Item:Q5739458","lastrevid":101684459,"modified":"2026-06-06T02:31:52Z","type":"item","id":"Q5739458","labels":{"en":{"language":"en","value":"On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603973"}},"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":"Q5739458$F09DA039-867E-423D-ADD3-031B8822DE47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39762cd3b0757084e9e3af265929d91327584ef9","datavalue":{"value":{"text":"On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739458$988A2C69-69E3-4D60-A853-56983DE1ED01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3d25dd7fb56e979e8e0822fe938d49fa4ba1b2e","datavalue":{"value":"1475.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739458$E109C7B7-42E2-4052-AA4B-2ABEAEBCCF11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa5207c1bc2dff0a5b9985d1ff21b4786b24aaa9","datavalue":{"value":"10.1007/978-3-319-40370-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739458$7422FEF9-0BFC-468F-9873-D771BDEFF26A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a0a219ac98a153cde5448dff95be1f29ecc27","datavalue":{"value":{"entity-type":"item","numeric-id":271898,"id":"Q271898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$FF34EFB5-1D02-4A77-A7C5-8BE9FBFB9263","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":"Q5739458$6BD5727A-10CB-4FEC-AC8D-7C4511A5E2ED","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":"Q5739458$FC98666F-220F-4066-B5A2-D50C48F05028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99856e94a98e255be505a0f164288b4b6e852f37","datavalue":{"value":"https://hal.inria.fr/hal-01446028/file/418352_1_En_13_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739458$05CEECF7-8A06-442E-8C32-6897B5E3857C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739458$0FA3A54C-D026-4FED-9B4E-2B9372B34811","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f35afcc327ac5d8b42ca5cb0005f50fd7e73e8","datavalue":{"value":"6603973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739458$7754F80F-262E-48A7-84C1-E172C3949CF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739458$A6029E84-C4FE-44DE-8383-D163E7EC5CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a987f98961115b341c68dd3871d9d4bd78454","datavalue":{"value":"cyber-physical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739458$1F4E1A55-73AC-4174-AE8B-973B4E8589C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599ab8b9e4174e8a9d1073d0692eb448ced9eaa8","datavalue":{"value":"dynamical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739458$7350EABE-E1E5-4EB1-A6E9-15627882DC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739458$2A5D681C-2110-439F-ABCC-7555CD4A378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf9cd67d70b35bf59c2110e07121e77c3f7c544","datavalue":{"value":"local characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739458$C108FF9B-2335-441E-8C15-9AE16CF4A5C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e6182f78f38343c137b2df6cac4cca431394408","datavalue":{"value":{"entity-type":"item","numeric-id":14490,"id":"Q14490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$E736751B-FAE1-4C1F-A237-3E23818532E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"16d5c57b3993fe5239d18cc97d50a579453b99e6","datavalue":{"value":{"entity-type":"item","numeric-id":17082,"id":"Q17082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$4037EF05-B947-4223-A8FD-B60DF7EC90BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09b199f58eff56161e05b6c261347a91a7e82b7b","datavalue":{"value":{"entity-type":"item","numeric-id":13576,"id":"Q13576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$AB986E5B-BAC8-4FFD-AA4E-E7B0AB5C2BDA","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":"Q5739458$63B155FD-44EC-465D-926D-919D2B863DB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c12f8cb14203d97a12f0b6e90fd0bb31a28f99","datavalue":{"value":"W2479966126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739458$064ED56C-D44D-4941-95F3-0A34B4ECC445","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$6041F2CF-1274-49AD-99C0-261132CB9006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$03BB00E0-4FA0-48B8-9386-C0F644AC543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$733A9433-F3BF-4E08-903E-84C904570D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593f12c5812b69b60ae21c01a116b61d6b83b72a","datavalue":{"value":{"entity-type":"item","numeric-id":5364938,"id":"Q5364938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$4C2D7816-65BA-442B-8C3C-99C068410151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac4d401bcb1c453f5752f0a41cda21092f06b5","datavalue":{"value":{"entity-type":"item","numeric-id":3406502,"id":"Q3406502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$6C90177E-B85A-4D44-BED5-98BD70645A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$E31640A4-C3A0-4E9D-99EE-A7F7EB1279BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104187ee43fbac8a7a3d2aa1c93127055336ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5273951,"id":"Q5273951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$98364414-ACEA-425F-A951-88DA2A2D849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3bd7f0d5025ed010d044f7d8e17dba8660203d","datavalue":{"value":{"entity-type":"item","numeric-id":5758269,"id":"Q5758269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$9F5FF2EB-0B50-412E-8CA0-08FFD3249FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f773e03b7a41f14dda916375c32b338ea9996b7","datavalue":{"value":{"entity-type":"item","numeric-id":3523102,"id":"Q3523102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$E0A462C6-84D8-418D-9070-334DE0F15558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d92ee0a846dc0b37d5daca888ea8a46dcc14e2","datavalue":{"value":{"entity-type":"item","numeric-id":4369656,"id":"Q4369656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$AA073718-CA02-4C9F-8B26-D41D03E63AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff32f7d6d6a4e9383d3c1c0da6b9f38cd4b59f0","datavalue":{"value":{"entity-type":"item","numeric-id":2842819,"id":"Q2842819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$A52E09F1-202E-46C8-8C38-D842D2C56636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba466e8a1bdaef98518de15c9a43402d1858c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$1383114A-D33D-4250-82A2-295ED4507245","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":"Q5739458$FE1B51E6-C8ED-424E-A7C7-C6FF9A627F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$F88AB90D-2168-4512-BF2E-F8EE3BE56066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9794ed8d10de471ca023fd0095352cb1dd35398","datavalue":{"value":{"entity-type":"item","numeric-id":5410638,"id":"Q5410638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$7EB73B71-9E7A-49F7-8754-F5952AE553D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cbe12eec3cd36337c26bf309e12736faec9a13","datavalue":{"value":{"entity-type":"item","numeric-id":5537086,"id":"Q5537086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$D6E10925-E8B9-41BF-977B-24D0C22D1F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$9DCA9652-C3F7-4CDA-864D-7653D30D67CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c090fe1b38ffcd772b08ec2baa6aeb6b3f749693","datavalue":{"value":{"entity-type":"item","numeric-id":1407764,"id":"Q1407764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$2D9CCEB5-8A86-4DB9-8EA2-E4158458F439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$58EF8842-013F-48FF-BD47-62B7503A839A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6159373a1d0a1e59497e6d18e726457c82a2f45","datavalue":{"value":{"entity-type":"item","numeric-id":5375688,"id":"Q5375688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739458$00546DCD-FF6B-45D5-9009-6EA6079C118C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022887f368ff6e486dae5fc1c7370d7193af40e4","datavalue":{"value":{"entity-type":"item","numeric-id":5394188,"id":"Q5394188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ad0516c59a0fc5e2c622fb25d335898f3d19b3","datavalue":{"value":{"amount":"+0.91946566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$9ECD1A9B-7401-43C1-B482-3326E9B752BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab2713d806f893651e95a001e066698ce96687b","datavalue":{"value":{"amount":"+0.9102523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$3F55C06F-0E84-463B-A516-09F88FC0B36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452d74f3ee47802b1adcb5e89929e84cc7c5f552","datavalue":{"value":{"entity-type":"item","numeric-id":4942026,"id":"Q4942026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8cd2e23840a40d9316784d62d603b9591c0ffb","datavalue":{"value":{"amount":"+0.90480524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$D278778B-311C-4CA1-A187-E8C3F68EC6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa96325f4054bcc193b7c38769f65b8f71a2ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b9411090a3da6ed113eabc17709bbcd81a18a9","datavalue":{"value":{"amount":"+0.89146143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$F5DBAD7C-E1C3-48C5-AB00-61146BC0B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfb2f2d87f8d68b773e32487f98bf080fc43dff","datavalue":{"value":{"entity-type":"item","numeric-id":5890046,"id":"Q5890046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45e47b3029193bdfbed9462a5b94d8edc223cc3","datavalue":{"value":{"amount":"+0.890301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$37C1280D-C4D0-440B-A0DF-699A44E4B734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656ad9b1871e9e8bec1ce877072d34bb42f5e33f","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f3a501903ad001518e595e032dc95d8a908c19","datavalue":{"value":{"amount":"+0.8855167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$9BB8DB3D-8195-4981-91CF-8EB1342E20E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07575f03072a895f19651ea2a6cc5708e9438ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4265624,"id":"Q4265624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715b7bcd94b0033ff11ce1061bc8b97db7679e72","datavalue":{"value":{"amount":"+0.880322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$95E4E146-E1F9-46A2-B9D8-80BAC37546F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5fe027cad5fed71de200782b6a563aae5652f4","datavalue":{"value":{"entity-type":"item","numeric-id":5170663,"id":"Q5170663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb017be5ae6d5359aec1b52cc48d924b0b8aa3b9","datavalue":{"value":{"amount":"+0.86879116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$B621887D-73AA-4E2D-8770-E67411AB9580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0118885d6c529b713ae17eaf505947bcbd40c11e","datavalue":{"value":{"entity-type":"item","numeric-id":5897479,"id":"Q5897479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14439a7a3376cb0cbaf1349a97673ad87f14c84f","datavalue":{"value":{"amount":"+0.8611464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$72B82AA2-760A-4F5A-AB22-0B3153BAD86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2a2d0063648adb0e33aa5af4b8912dc1d9bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":5875377,"id":"Q5875377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5ac9bd1f6b193f25cd9ddb898222e5774d48f9","datavalue":{"value":{"amount":"+0.8589125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5739458$09471FA8-2F11-47EF-8480-A8D8D136FA10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Local_Characterization_of_Global_Timed_Bisimulation_for_Abstract_Continuous-Time_Systems"}}}}}