{"entities":{"Q693690":{"pageid":695539,"ns":120,"title":"Item:Q693690","lastrevid":63559857,"modified":"2026-04-11T13:59:58Z","type":"item","id":"Q693690","labels":{"en":{"language":"en","value":"Approximate bisimulation: a bridge between computer science and control theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6114687"}},"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":"Q693690$8AAC82CF-CC1C-4902-BA72-E1E098171671","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31d5c70a533cb4a3198514aa2904c8cf8039df82","datavalue":{"value":{"text":"Approximate bisimulation: a bridge between computer science and control theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q693690$A6D62040-EDA3-4677-95AD-81C53256029C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5836c713848e1458f915aef114c8665f12c6b757","datavalue":{"value":"1253.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$B53B7192-4537-483F-978D-C3EC48E89BFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd75063fb99447d972021ae6b9c54b0c3559d54","datavalue":{"value":{"entity-type":"item","numeric-id":246546,"id":"Q246546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$B2AF3BA0-97EF-459B-99F9-83EE8D0829C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$52A1D646-15A4-46A8-AD4C-61C9E6C52FDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$F5CF001A-7825-499F-A8E1-5BF41F54E7D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42f05cc35e148dc258d2a9e8faeadeab775263d7","datavalue":{"value":{"time":"+2012-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":"Q693690$33FAC8CC-A2DB-4D1F-85B4-FB2BF7DBA001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$F63E9B27-6969-4ADB-A9E4-141B0BD1B035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$7BED3BA5-499A-4855-820E-C7FD9A2766D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b56d2a0490a676f5f1d6ad78238ee86db040ea9","datavalue":{"value":"6114687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$9421ECEF-A0B7-48FC-9F8A-606D5FB06D7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q693690$4267680C-D248-415B-BDDB-352ACBF2D4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q693690$C5E24E44-3812-40BD-9647-A6CD39CBFA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10a6d9eecd81833801dba1c7e4716d12489f780","datavalue":{"value":"computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q693690$5F5297A1-2955-4AA4-9CB7-7C1BDB591635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q693690$AB43DDF7-7723-4834-8314-3AD2F4F110D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338ca446442efb530f2e25aab3ed31d5097ea7e7","datavalue":{"value":"Lyapunov theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q693690$921A0986-36E1-4D10-AB8A-2FA5079A0707","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c68116d4b2bb5081c553f61d2120d450f2a0c723","datavalue":{"value":{"entity-type":"item","numeric-id":18442,"id":"Q18442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$49C1B1E4-4EEB-42D1-BBE5-3547A5A66F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ced5290e939e518945c5828dfe4924f3a5668d0","datavalue":{"value":{"entity-type":"item","numeric-id":31945,"id":"Q31945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$B9277DC2-A7EE-4113-9C27-10A4C211D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a82b5d3c25d8926c2d8b482f2079dfb64bbcd92","datavalue":{"value":{"entity-type":"item","numeric-id":16319,"id":"Q16319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$9AB554E8-388C-4F93-87D7-D1CA27688277","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":"Q693690$A1C24931-37E8-4D9D-9F0F-25298AEFF7A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f0118282b816387fae59e7b03d57bcb6e8c3b4c","datavalue":{"value":"https://doi.org/10.3166/ejc.17.568-578","type":"string"},"datatype":"url"},"type":"statement","id":"Q693690$03B9A2C6-B00D-4683-A514-336666759077","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e64e6cb6f5f42aa73bd15d35169b53545310289","datavalue":{"value":"W1997070622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$A3BCCA4A-92C3-4E85-B706-D19015C86805","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1542028d99c7cff7f6a9b551dbb4e94e93338f23","datavalue":{"value":"Q57581726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$CE0567FD-E415-4BEC-A84B-C6BC552B5627","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29473a2376743691e9c98e0cf22a5189cad3e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267222,"id":"Q5267222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$820C9047-3806-4A4C-9713-4116CB948ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f06785053ca0299da7923335865eecb049b591","datavalue":{"value":{"entity-type":"item","numeric-id":2784654,"id":"Q2784654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$83C7F1BA-48A4-45E6-A809-A97DBFFDE686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c51c0e603e367e2fadf1118e26a19811fa9ee2c","datavalue":{"value":{"entity-type":"item","numeric-id":4439589,"id":"Q4439589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$033EEBB1-D6C8-48BD-8C0E-B596ED925F87","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":"Q693690$8A9CBEEE-A6DE-4C79-B3E6-46C78B8A7E3D","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":"Q693690$35677296-B913-4FE6-B738-4C4A3DDEB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$85B67D67-8B64-4F1C-9EAC-BD2CF6F9B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0f8882472439e4d483d9a2815d6f442e9e6e44","datavalue":{"value":{"entity-type":"item","numeric-id":3511234,"id":"Q3511234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$6040EFEF-1A0F-42E2-A905-D751E7BF888A","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":"Q693690$1C0D6D6B-181E-45A1-A6DE-1755F3FECA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab702fb645e1fd078009ae355fae5263062dc47","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$3FB9285E-F305-4948-BA3C-5B3BA9951CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6ba1aaf49c79307e74bdb9bd3c8b461bda8238","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$4EB4EFA0-0855-49A8-B2AB-D39C006C636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab3ab2493d10aa82e1532de5e015916f15eabaa","datavalue":{"value":{"entity-type":"item","numeric-id":5898984,"id":"Q5898984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$E50161CF-4225-4296-B961-C00CE481C9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b211ea5f11e970afb7e38c747002a992438ca43","datavalue":{"value":{"entity-type":"item","numeric-id":2467487,"id":"Q2467487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$06932D76-AF8D-4B36-B5D3-46F0FC479D24","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":"Q693690$169B71CE-0E6F-4A4C-9FE0-9109E4C0483B","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":"Q693690$86D0B9FE-C77D-434C-BA09-1DEFA06EFFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$0CE60257-5634-4D26-BEB6-426B3E55D314","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":"Q693690$5583034E-AADA-41C7-AB14-9C9CFF05484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d22fa2258751a4ad59092052b7f428e51d5984","datavalue":{"value":{"entity-type":"item","numeric-id":1004092,"id":"Q1004092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$FC9F433B-64E4-433D-9DFD-460C30A2469E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d0b44bada0d30b360373a6dd546a04a2f86d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3612982,"id":"Q3612982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$82D2DC15-BAAF-496C-A8A5-17A838BE018E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba9bcad470813439b1f4366c75af52a8b006228","datavalue":{"value":{"entity-type":"item","numeric-id":4974594,"id":"Q4974594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$1418D500-ADCE-4857-93B6-BB915775CF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e39f31b2fe85af4e4839c8740b223f285e9c244","datavalue":{"value":{"entity-type":"item","numeric-id":5638871,"id":"Q5638871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$77584DF6-E1C0-4376-8179-96ADA65A9D91","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":"Q693690$F41865B1-305D-494C-BA48-3F191FD70189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443e9e6bf6b763c4ace1db7c826fbf59cf22d8ec","datavalue":{"value":{"entity-type":"item","numeric-id":3523120,"id":"Q3523120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$563C626A-2194-480E-B703-B78142B12AE2","rank":"normal"},{"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":"Q693690$2C037E2A-A98A-40DC-997F-75426746C3E2","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":"Q693690$8D0FABD5-4CA0-42F5-A0CC-6440A2B93BFA","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":"Q693690$BFD58EB4-9047-425C-8FAD-306EFC37DAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e40a1f793339ead5f008d0e9d1dbf8eefed51e","datavalue":{"value":{"entity-type":"item","numeric-id":5900586,"id":"Q5900586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$8F94A2DC-2291-4406-A6E4-F44BD45C09E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ff2e66ddd51d479a6751262ef05fc6844bfb4d","datavalue":{"value":{"entity-type":"item","numeric-id":1959416,"id":"Q1959416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$92969205-5786-4C65-A1F9-949D168E3B67","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":"Q693690$D348C884-99AA-48CC-958B-BD1C8EF4CE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4614e80f6357b19be65f4eb57b75cec068e621f0","datavalue":{"value":{"entity-type":"item","numeric-id":3172850,"id":"Q3172850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$94BAC995-142D-408D-ACDC-EBAAD4B1F101","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":"Q693690$1757FBFA-7431-4867-9208-207629580124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$F95E13BF-B7AF-4BC9-A5D0-0E36AA8510E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7f266e1fe791c3b139ae7d6daed9378200b8db","datavalue":{"value":{"entity-type":"item","numeric-id":3624585,"id":"Q3624585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$9D7BBD6D-C4E9-4B33-A098-F3699E32C598","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":"Q693690$0591319D-6695-4C1F-A29E-FAE68535A52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0322dfbd67af5f26116f993792fce80af8c9a45","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$101C9B84-30DB-4EC2-8210-58AC8802C376","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":"Q693690$2AAB9A35-55E1-4E47-BD86-5D80740F3913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693690$F12FF273-543E-4F1A-B6E8-7C02347EB386","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e21cdb54cd671c348ec0301aaa7f2abf449a5c2","datavalue":{"value":"10.3166/EJC.17.568-578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693690$224E1C6B-C9A9-48A1-B16E-02E4DC65E9D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4222f340d9ab0950e22927969aad3962217718","datavalue":{"value":{"entity-type":"item","numeric-id":445917,"id":"Q445917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b790042353a349c0f8859f83645396183f9e6cf5","datavalue":{"value":{"amount":"+0.90937877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$90EB5E57-5CA1-4E21-A7AD-7A3A9A624B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f54c01e02f60b9dcc3351447163c2fa1457ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4953385,"id":"Q4953385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f16956f24f0e100575e19c5bb038007cf1aecd","datavalue":{"value":{"amount":"+0.89461094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$14B65E7A-6D9B-46C3-A298-E90EBAA22FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f76316f3247ea62623bae2cf0c4801cb7b09127","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee72fdf85c234d5a6b20e62e677ee16cd27d97c","datavalue":{"value":{"amount":"+0.89210314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$FE85A3BD-778D-46BF-8365-B5B37B8444C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58e692a30f56d7aa9de2c89a4dfb29ee3737773","datavalue":{"value":{"entity-type":"item","numeric-id":3557942,"id":"Q3557942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4527b019006c68ecfe44c0054063bdcdb86cd4","datavalue":{"value":{"amount":"+0.89132094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$756C7BB8-8B2E-4FA9-A8A9-E451EE6EA7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634064e9ccdfe921954b1f1dcc86274241a0e56","datavalue":{"value":{"entity-type":"item","numeric-id":2842819,"id":"Q2842819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792e5336f299aed9d8ab103319deeb9ed79dcc1d","datavalue":{"value":{"amount":"+0.8891252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$CC8BBE13-E053-4350-95F9-3C81348B0A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f4ac3b5b380edd239e3d713e8314e29a2b82b","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302ade50a18994e407f97001e888264dc9ce0f6f","datavalue":{"value":{"amount":"+0.88820267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$1E9BFBCD-6CE4-4864-9DB8-3F487E6BA1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852c7b8bb5d1eb101e8c8031294d3eaf5654b013","datavalue":{"value":{"entity-type":"item","numeric-id":4552466,"id":"Q4552466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5005117091c0c02df199e4454f27951c3af0ac78","datavalue":{"value":{"amount":"+0.88271666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$43EF3A58-FE19-440B-A7C6-6CDE93EDA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eaf6237f2709c2c4418fe6f7b1fe7ec0c53350a","datavalue":{"value":{"entity-type":"item","numeric-id":5853966,"id":"Q5853966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0d08f2fec7c70b6f6f3ceea50775147c767496","datavalue":{"value":{"amount":"+0.87974423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$923E2500-7CD9-4465-B493-EC5D66D57316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838cc5bdf87ebfe7f2a513a1479d27c00684a09a","datavalue":{"value":{"entity-type":"item","numeric-id":2252962,"id":"Q2252962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f662134d010290f2d97f9de3ff9220f7c91e51d","datavalue":{"value":{"amount":"+0.87923926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q693690$C81EE324-5CFF-4119-99D7-136D34D0B441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate bisimulation: a bridge between computer science and control theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_bisimulation:_a_bridge_between_computer_science_and_control_theory"}}}}}