{"entities":{"Q816696":{"pageid":818544,"ns":120,"title":"Item:Q816696","lastrevid":64556385,"modified":"2026-04-11T20:41:12Z","type":"item","id":"Q816696","labels":{"en":{"language":"en","value":"Control of discrete-event systems with partial observations using coalgebra and coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5009065"}},"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":"Q816696$EA5A8B55-F9CB-4C13-ABBE-45515A1DED15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b1fcd5c70fe0af455081e867af6b98ff2ba3713","datavalue":{"value":{"text":"Control of discrete-event systems with partial observations using coalgebra and coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816696$03D39EFF-09A4-4E48-A752-097685587DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea526249c0038c1f788fa7b421a73da7982df11","datavalue":{"value":"1101.93050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816696$D14344F4-24E9-4743-B0B5-0083DE1DB4FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"738edd163335569721a9e8de1ede37885f0b38cf","datavalue":{"value":{"entity-type":"item","numeric-id":172787,"id":"Q172787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$11EDFF95-7288-424F-BE5E-00D766FD9302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc7b4e18466a688e3afd33ebdd99ae4041b25c95","datavalue":{"value":{"entity-type":"item","numeric-id":417569,"id":"Q417569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$A7F531FC-47EB-4E3B-9363-694C57804D9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$F2280532-6D71-42FC-B89F-DBA3CB1CCDA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd93436a00df2915fd6cfbac68834bf5a3cacbb7","datavalue":{"value":{"time":"+2006-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816696$ACCDA2EB-0285-439F-A9B8-524FFC1E2565","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816696$3E3B421F-D865-4BFC-B401-95B4A82245C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816696$6A56A522-2EF6-4343-9D88-BD92BD80209C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af565164409782ae6386814a5a5610910f53f0bc","datavalue":{"value":"5009065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816696$6E1D463E-1294-4AAF-9AB8-AB1470B5EB6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q816696$A6C16695-9178-4E6A-AC29-2ABAA90CC52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q816696$9AA3E775-ADE7-454F-8479-385FEC70F1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q816696$3E1C36D5-05E7-4B24-B69E-9517A670F8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q816696$6D49FD8B-74E6-480F-892E-90CF048C2070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8672d55036cc55dfdf1b83f3573875b1b170d","datavalue":{"value":"partial observations","type":"string"},"datatype":"string"},"type":"statement","id":"Q816696$C29FC898-5D2A-4291-B411-C58EF14F3E4A","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":"Q816696$3B8ED3AC-D29F-4CEC-BA6F-594A8C38FC4A","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":"Q816696$24504615-E50B-419A-B8FA-0CDE5DDADC09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f7dd49f867c6bd894dfd34b96beef94c651ac6a","datavalue":{"value":"https://doi.org/10.1007/s10626-005-2868-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q816696$66786419-0A06-4CE0-8476-3B27697ED74B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3b2aeb121a8ebe56b975d55617823d565d00e8f","datavalue":{"value":"W2095624968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816696$FB7FCBC4-F923-44CC-A719-E5EBD9F31BE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$F566CDBA-72BA-4327-A31D-D9947BE8A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c477b3048704927ae5245e6bdeaf53f788029a","datavalue":{"value":{"entity-type":"item","numeric-id":1273548,"id":"Q1273548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$36E02345-4066-48F8-83DA-C91A9193D767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a220bc377ac45cde50558d616bd60da482c6bd7","datavalue":{"value":{"entity-type":"item","numeric-id":4304556,"id":"Q4304556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$D02C1056-1DFC-4B9B-9949-369A841420D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa31839a50f544b3987967f6d5aad4ba22607f2","datavalue":{"value":{"entity-type":"item","numeric-id":752649,"id":"Q752649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$234D1979-0D62-44E7-977C-A860BDD5A757","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":"Q816696$A781F187-AD39-4364-9F1A-398693B6C7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$D05A217C-396D-42E5-A17B-B53860A881F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302cee69ff16e8fc86589e63697fd38f6997bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":1108988,"id":"Q1108988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$4F2971E2-38A4-40A9-A150-12B90DD08757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff1159a40bc8c39e3e9d828345f40916f8884ff","datavalue":{"value":{"entity-type":"item","numeric-id":4733422,"id":"Q4733422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$7B18059F-F3FE-43B5-8BB9-4ECF6BB1C0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$EC1A2B43-1121-4011-9FA5-C99583252288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebed2dfd055b7c0ce0c9700bf4142282266dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2520849,"id":"Q2520849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$5E99365A-43AC-4B89-B868-D43F381F9D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07106259690480ba6d2b4748950c7cd4a7f93c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3991005,"id":"Q3991005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$787F52AE-F217-4F9F-A15D-6033292B1325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11dd0f1989105cf1f22b416346b557476a5e3788","datavalue":{"value":{"entity-type":"item","numeric-id":3023880,"id":"Q3023880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$AD3AF9E2-89AD-46A6-8A59-1A1D5DF07352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$E9A130F1-8977-49B8-BDDF-CA3F9FB29187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$3848B0EB-B321-4AD5-892A-7AB64CF08642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7b5124b70fb76984ffe5a0b7aa33dad827e140","datavalue":{"value":{"entity-type":"item","numeric-id":3493235,"id":"Q3493235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$4F8D21A5-E804-433E-AE0F-3A8DBB7578CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$3A945EB4-4CFA-4B8A-A8FE-7719440385DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac7f6378635e57edf3022367896f6113439d295","datavalue":{"value":{"entity-type":"item","numeric-id":5202104,"id":"Q5202104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$1BFBBD78-301E-477C-976D-EA28AEE7769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$2CA548E9-F634-47EA-843D-2F92666A4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7b966f5781c835b7c3966f5b3ab3133252132e","datavalue":{"value":{"entity-type":"item","numeric-id":4507465,"id":"Q4507465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$063A6B19-00DA-42CC-BE51-B9F308838322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e50f6a7a6fa4a36a57d7df7ec9adb2f322ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1814432,"id":"Q1814432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$76D70574-DE19-4ECF-B013-6D3549C30707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$075F2E81-7ABE-4843-9F87-BD65FF089B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$EFFD5966-090A-47B9-9C32-3E2D8124E0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befaabe7f379a01aabd71fd7f723d7bc10879006","datavalue":{"value":{"entity-type":"item","numeric-id":4782021,"id":"Q4782021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$D649D97B-926A-4E66-BBC5-5E1C9D7A3DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$6D8D4257-575E-4A2D-B983-0640E2C33DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$467D7734-0E5F-4444-84BE-E05838AC70A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$6626FAA8-4696-4542-8EB1-D271E4169B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5a546b1351e3a4d121aa54f7c239bdfef3a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2503503,"id":"Q2503503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$72E897F5-0EE6-4F5B-910F-B289FF63E1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$A1138FBB-3C01-48BB-A78D-2EC90BDDD96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69bb21ca57b673c687a7fc3dd4510bec2aa3d0b","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$ACF9C271-37D2-435C-84B1-53F553AD3415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622cd190dc6912ac59ae55dcf683565442c8849b","datavalue":{"value":{"entity-type":"item","numeric-id":4302303,"id":"Q4302303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$C17EAEED-ED61-444A-8ACB-72972AB6FBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a45415c61f5a2543c1c923c13cbf76075f8e90","datavalue":{"value":{"entity-type":"item","numeric-id":1123861,"id":"Q1123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$A4A80F2A-0B76-4DF4-8368-B75053EF2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a96d4b8e66a11d73e11f7036afedf75bfae962","datavalue":{"value":{"entity-type":"item","numeric-id":4109536,"id":"Q4109536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$BF524EEE-2D14-4F15-97F8-DC613E7B2EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59765932a2bd0bcd019ba51aa0a82b2904333289","datavalue":{"value":{"entity-type":"item","numeric-id":1610350,"id":"Q1610350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816696$758ACCDE-E392-442A-A72D-C4B90C726B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882fec1e7c13d7c5c09f3b1132a2bef5cd10db0b","datavalue":{"value":"10.1007/S10626-005-2868-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816696$AB159E2D-E7EC-496D-B5BF-CDBF8D16A04F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b75ffa6099617400d0cbbad85414488ff3b7f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2843726,"id":"Q2843726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb386e51783be87c65866920e77b78cb58d5620f","datavalue":{"value":{"amount":"+0.95025694","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":"Q816696$0AA890F2-FE3A-4A8C-BEC5-384E51893BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07b3e7d97ae485c7354633f26265c0186931ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4974146,"id":"Q4974146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c46568733dc31a891d9efe1cf08d7372684c1e","datavalue":{"value":{"amount":"+0.93038166","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":"Q816696$189848A2-D58D-4068-9B52-669899A8DB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705b35ad39fd642f047034bedb95bd9a9a53b87a","datavalue":{"value":{"entity-type":"item","numeric-id":3090873,"id":"Q3090873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917c5bca8a30d64fc2c38e627b3d7551d92f9eb7","datavalue":{"value":{"amount":"+0.8953864","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":"Q816696$CF9390FE-1069-4D4A-9E5C-8A3EB6D9FB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3602cdfcb2c92924d1ccb509554717eb5eca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe92a5d3f030d9c74dacdebcc444c1281cf249ed","datavalue":{"value":{"amount":"+0.885376","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":"Q816696$38906B8B-3D50-4F4A-84C4-BFACD3954F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef3552f727cab28f3744f7fcce86887cd6d6ff5","datavalue":{"value":{"entity-type":"item","numeric-id":5202104,"id":"Q5202104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df5e43f284bf820a34c0fa0147ac7b628adec43","datavalue":{"value":{"amount":"+0.8768195","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":"Q816696$D44DE149-400E-477A-A002-E699A2863125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f2b18b3e96ae532a91e4149603801bef07c37c","datavalue":{"value":{"entity-type":"item","numeric-id":3152829,"id":"Q3152829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6d8942f397e61a38804d26003feda90d412bbb","datavalue":{"value":{"amount":"+0.87197983","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":"Q816696$3FEAA9D8-221B-47FE-8772-8CC2DBBD6BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5629d6bb9458659234278ac2604f0822182d60a","datavalue":{"value":{"entity-type":"item","numeric-id":1858865,"id":"Q1858865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a54881e7f2b0d57b607645a043936ed725465fc","datavalue":{"value":{"amount":"+0.8678357","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":"Q816696$7AFDF9CD-A032-43BD-8A53-0DEDD94D7C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59127cf45a431d00498d5a08ab2bd678109fb7b8","datavalue":{"value":{"entity-type":"item","numeric-id":4859743,"id":"Q4859743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bda0fb75252fd3a6cc58c30ad34723ecb2719f","datavalue":{"value":{"amount":"+0.86761564","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":"Q816696$D4F5A4DF-D2CA-4FF6-BE6B-FB3964FEB20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654561799847c99318f11edb0cd92e166f22c1ee","datavalue":{"value":{"entity-type":"item","numeric-id":3596096,"id":"Q3596096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189f0923b190c5dc6cb47a31c8adf7e7a4449500","datavalue":{"value":{"amount":"+0.8638659","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":"Q816696$524F6459-49C7-4061-BD2F-7AFE02A31225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931259325edde41f75c774ce759cbc1380bf0f36","datavalue":{"value":{"entity-type":"item","numeric-id":2348358,"id":"Q2348358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f34e997e9f019df154c83ddac360e34e40559f","datavalue":{"value":{"amount":"+0.8633299","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":"Q816696$F364B42F-4245-4F13-A8E2-A92C117C4D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Control of discrete-event systems with partial observations using coalgebra and coinduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Control_of_discrete-event_systems_with_partial_observations_using_coalgebra_and_coinduction"}}}}}