{"entities":{"Q2519735":{"pageid":2530478,"ns":120,"title":"Item:Q2519735","lastrevid":73277928,"modified":"2026-04-14T15:15:08Z","type":"item","id":"Q2519735","labels":{"en":{"language":"en","value":"Controller synthesis for bisimulation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498523"}},"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":"Q2519735$C6EFAED7-9C59-4B7B-9EC0-44BE5F9DBD1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b898b585fc819b9eefb07470c61b98b263573d8b","datavalue":{"value":{"text":"Controller synthesis for bisimulation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2519735$9EDF4E0F-4518-4E4D-9DF4-1B20D0F281D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ce2c57844101cbb2e4cdf11af45d1eaed2f3065","datavalue":{"value":"1154.93324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$9837AEAE-E832-411F-878F-33CB7A1E12D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$D092BD93-A23E-4B54-B53E-C3D987983BB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2519735$7B58A674-58C8-4992-9F20-E0066C54D041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2affbdaef529a995ba89e41282b448b97ffcdcd","datavalue":{"value":"https://arxiv.org/abs/0706.0929","type":"string"},"datatype":"url"},"type":"statement","id":"Q2519735$861A15A9-333A-4FE9-A686-5CCF3022CAF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$A7ABD4A6-43EC-47A4-B460-03B92057E0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$61B46A41-B985-4AB1-B7BE-01DE413E2019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14360db5e4d4dc7bd7c630bc294aa39c86359748","datavalue":{"value":"93B28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$FC190419-FD42-4A5C-A4C6-8DB47B2D5489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ba2842931f306df7115450868bb0fb7d07d2a0c","datavalue":{"value":"93B17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$C01E189C-2021-433D-B2DA-CE589C0379D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a86bd18f8e23e07eff5a29a7490eb3e8b007b075","datavalue":{"value":"5498523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$0D483549-57EF-4367-8AB9-6ECFD76FB4CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519735$DF6527FB-A023-45D7-BFD9-02A78AB58E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519735$285AE8C5-BC96-40E9-A9D5-22CC25D04D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519735$D663EA9F-9C2B-4D32-B2E7-DD38EDE2AF99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7832d0cb9d9908d99b0246c9f9004fd2c464f2e","datavalue":{"value":{"entity-type":"item","numeric-id":533799,"id":"Q533799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$CCC79A5A-D481-49DF-BFB3-A6E6176878CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$EC54ED57-6460-42F2-A5F1-90BD087D9F0C","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":"Q2519735$7A8E965F-5DBB-4912-9340-79109BCA41EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0efa7261417f8da5bdf4160d0b260ec7fa657fd","datavalue":{"value":"W2964186632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$63E3A4BD-2781-4B74-8410-3A998C63F898","rank":"normal"}],"P223":[{"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":"Q2519735$C18D5164-C165-49B6-B168-FF0B72DB76D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43f4b98d670a0a62e3ea1a84b4a8d69b09dc7a1","datavalue":{"value":{"entity-type":"item","numeric-id":3436194,"id":"Q3436194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$6ACE07A1-2527-4E37-AB69-B6BD89876A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aae3acd5fb32db67d62497d55ebd5c5ac839c22","datavalue":{"value":{"entity-type":"item","numeric-id":3550615,"id":"Q3550615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$BE60860E-2B83-4998-9C5E-AD0448149975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7fc49cc172128cedc48b48157e5d0ff89c01e8","datavalue":{"value":{"entity-type":"item","numeric-id":1899135,"id":"Q1899135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$BAD121A4-2520-43F7-ADE2-3EE4FA976B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$0BE1B222-9D50-4F52-A561-9ECA60C1AD5D","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":"Q2519735$7E894ACB-D6F1-4376-ACD6-3AE034F93859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03aea121c2916f7ec59b4a51a017338ae25d0980","datavalue":{"value":{"entity-type":"item","numeric-id":1269950,"id":"Q1269950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$D64CD37A-2B0D-4F18-9EE7-0BC6B932106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca5a138683fc0cb00165dc42dd04568574ba414","datavalue":{"value":{"entity-type":"item","numeric-id":5453576,"id":"Q5453576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$8A2AC002-5D3E-420D-93D9-7165EFB00607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$CFC80170-4928-4387-BD98-3CF44F80711C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$7B12C3B5-83B8-42BB-91F1-4429707DB890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$CB2867A1-6272-45D6-9A59-F9351C8FFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$C583B273-2D02-4B42-8C28-01F5A73EC9F5","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":"Q2519735$155CBA47-2344-4CB6-BA71-5BF5F858D0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef86c3664285be75d1b4ab17f47f91371589f97","datavalue":{"value":{"entity-type":"item","numeric-id":5958466,"id":"Q5958466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$6946D61A-2C8F-4EB2-ACF9-0084C5CF367D","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":"Q2519735$42466EE6-596E-4DDE-8DAA-088E2CB7089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605b4718f2d95ec4e9525b048d2e24f53f4de4ec","datavalue":{"value":{"entity-type":"item","numeric-id":4507184,"id":"Q4507184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$5597F67F-659D-48BE-8065-730DBEBE51FA","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":"Q2519735$E87B83D7-4A91-4B85-9981-FF15222BDAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$051297E5-F5C4-4B94-B026-63C65E57D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$CA319C73-7CE9-49C2-A468-0DFE0BFC607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a083e356422ce65e9b4035bf8f5ac9d0a4593e06","datavalue":{"value":{"entity-type":"item","numeric-id":5311493,"id":"Q5311493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$68DFBD6A-3210-4A83-8AB6-4D28D935E2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b65b5698b86df64f1bf56c95e86633fcd84c18e","datavalue":{"value":{"entity-type":"item","numeric-id":2503604,"id":"Q2503604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$C6102BB3-5497-4D83-89C2-CE670990D0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf4f10b0f23ecd371cf163e9f4b180ae4c4a074","datavalue":{"value":{"entity-type":"item","numeric-id":5317096,"id":"Q5317096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$FDD45BD4-DA38-4977-A816-CD89A9FD340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45933517e32b57515042b697444524cad4869015","datavalue":{"value":{"entity-type":"item","numeric-id":2503497,"id":"Q2503497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$57E274F7-849D-426D-AE68-31F038E731F5","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":"Q2519735$5546FD1F-9320-4BB7-AE07-F82ED1D54DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0480f50c7efd670136abad68832942079af844c3","datavalue":{"value":{"entity-type":"item","numeric-id":5281829,"id":"Q5281829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519735$8B12467A-2368-4AA8-A0C4-B3080D5BDB7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62ded001ee4e03575b6977460870ca3f659159ff","datavalue":{"value":"10.1016/J.SYSCONLE.2007.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519735$615920CD-8F60-4FDA-B226-901EAEB16A5D","rank":"normal"}],"P1643":[{"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":"c52385d3cbad75c6e8a72bb4504815ea4abd10ae","datavalue":{"value":{"amount":"+0.9181361","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":"Q2519735$6C7EF162-FAE2-46F5-A149-6E8DCF32B41C","rank":"normal"},{"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":"cb15cf30457f4714a24d697b75e6a076a5c7738e","datavalue":{"value":{"amount":"+0.9167858","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":"Q2519735$CE2CE69A-BBB5-4458-9B1A-8759872590D7","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":"0f7787c27c85fb9fea3adad171c7d157b0b676c5","datavalue":{"value":{"amount":"+0.91335803","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":"Q2519735$490CFD53-DA7B-4D13-9F94-D333B817EC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09c72504d3349369c03acd60cbb1e47be2c2cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5281829,"id":"Q5281829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee6f389f25a70605ef2244c435a6d7173857820","datavalue":{"value":{"amount":"+0.9093306","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":"Q2519735$2FCDEF8B-587D-492C-B0B8-311967CD5CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cba559925e3b7d64b2f0d517fb93792c2f1133a","datavalue":{"value":{"entity-type":"item","numeric-id":4602534,"id":"Q4602534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6797c9d7bfb915e1c824b9407ce0ec0a56f5cc1e","datavalue":{"value":{"amount":"+0.8963667","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":"Q2519735$D708D15F-0547-4F23-9FB6-D0E2B9C1AF05","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":"1576ae9358cd4bbb0d145c54ad1a774c1a562058","datavalue":{"value":{"amount":"+0.89584154","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":"Q2519735$97993721-B817-43A6-B5FA-6B13166F209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bc79a3b94cd4490d65ff7c9c1a7ba36464227d","datavalue":{"value":{"entity-type":"item","numeric-id":4682237,"id":"Q4682237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3505e6403f9b4b0a4daddc5d5f31122a483849cd","datavalue":{"value":{"amount":"+0.89511573","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":"Q2519735$862C1873-E4D6-4E5F-8127-7EE5EACB9C21","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":"dae2034ad1af67462d8726e71eaba8aed3a1344d","datavalue":{"value":{"amount":"+0.89152545","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":"Q2519735$4002F776-B1A2-428E-9F9A-81D48832D6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8299439049d317ae8d3bfa8fe72ffb9a20bdcd9","datavalue":{"value":{"entity-type":"item","numeric-id":2986729,"id":"Q2986729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6ae5fa81de6a75ac2c7685aa639c0d0b2b2b59","datavalue":{"value":{"amount":"+0.89080137","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":"Q2519735$CF3F7BFA-12CE-49A5-8410-F8335D5BF025","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":"ecd5b3f34de011538dd920c097373edf06f6d5de","datavalue":{"value":{"amount":"+0.8886518","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":"Q2519735$83579E2C-A5D5-4849-888C-A5CBC286C4BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Controller synthesis for bisimulation equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Controller_synthesis_for_bisimulation_equivalence"}}}}}