{"entities":{"Q2409221":{"pageid":2419964,"ns":120,"title":"Item:Q2409221","lastrevid":57902535,"modified":"2026-04-03T00:43:04Z","type":"item","id":"Q2409221","labels":{"en":{"language":"en","value":"Observability and diagnosability of finite state systems: a unifying framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789525"}},"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":"Q2409221$1A691E12-240A-4A6F-AB8D-0EFB65B1E62C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b72ba659de23c491c9b0c0c095844096d86b32bc","datavalue":{"value":{"text":"Observability and diagnosability of finite state systems: a unifying framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409221$A219ADCC-902A-409B-AAEE-71CD33D843AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aea2eb20dc1db52ad8b1d1876554f6546e9ea3e2","datavalue":{"value":"1372.93044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$26A69FEC-D373-4376-A61C-C7DC59EF9E03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94754742f83732ae5ab8042aa2ba552db2c15b48","datavalue":{"value":{"entity-type":"item","numeric-id":643682,"id":"Q643682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$588D863E-DED1-416A-BF80-81C85014E078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"970cb8cf81fc4d300d45f14e760eb5bb9bfc430b","datavalue":{"value":{"entity-type":"item","numeric-id":313145,"id":"Q313145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$E1076A41-33AF-41F9-A54A-9B235A90CFD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$5A2C973B-1608-4546-9224-171FC22EBB12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4057f48059fe99c35ecdf45e917fe5441faa63a","datavalue":{"value":{"time":"+2017-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409221$7957B2DE-9BCD-486F-9CBA-69FF78D60FB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69d9dc3662f9db43b35361888fa467dc13fcbc01","datavalue":{"value":"https://arxiv.org/abs/1608.03195","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409221$B6FBDCF3-B23B-4B9F-9152-EB35108B939F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$55FDE064-70A0-4ECF-8B00-8E5B4592AB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$DF8C428F-9B93-4D30-9857-8994C1C11696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$CE8490BE-621B-4546-9774-588BC46470F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$D91E2338-B82B-4A69-B191-38EB66974EF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"945d5e7e042207ad04b6bfec8ff66c3cdabd91b0","datavalue":{"value":"6789525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$36FFC4E0-0A2C-4754-86E9-EB468C968007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dfb4ddcb0fd0d83b75bb7aea00eff560b8ca59","datavalue":{"value":"observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409221$E31E5356-642A-4B67-931D-D676D981754F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77eeeb920fbe05254a6d43d30e4e88439b0ec974","datavalue":{"value":"diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409221$6F77DF75-0182-4BFD-8302-54F1244AA386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf2cc8de0cc244f7a30a27a851802c8288e9acd","datavalue":{"value":"finite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409221$3C5E46EB-E9A3-46D8-BF74-2FF1A91B871D","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":"Q2409221$43F823AD-E839-4139-B498-C0FAC95429E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"085292b753860473377c87a192129ca7dfeb0509","datavalue":{"value":"W2496504753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$761B10D4-A134-4381-8EED-8734B0C5F9BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2102dfd9b252df1e38173376ee08eef7e5e8947","datavalue":{"value":{"entity-type":"item","numeric-id":5703963,"id":"Q5703963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$4EC625BA-3D0D-42BC-9514-F43D3514C207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9862fb963a4f3eb38dfcbeef937b47fb1346ed","datavalue":{"value":{"entity-type":"item","numeric-id":4736575,"id":"Q4736575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$804EC67A-2A92-45D8-A700-1E776F3FCB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bcfbdb6fcc5e752c26e9453e09e09ddfcb370b","datavalue":{"value":{"entity-type":"item","numeric-id":2445155,"id":"Q2445155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$CC5838E9-948C-422C-BB69-FEABEB68BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50e696050421bf15973742e249de31179a3e439","datavalue":{"value":{"entity-type":"item","numeric-id":2730254,"id":"Q2730254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$6D0572F3-DAFF-440C-8B9B-0955D9768A62","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":"Q2409221$F9A68DD4-1667-46AA-93E1-1B667E769842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9708ec486aeb9f40d435826443226ce428c04d40","datavalue":{"value":{"entity-type":"item","numeric-id":5307927,"id":"Q5307927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$02E83AF0-D33C-4F31-8283-BE9936CC0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2441a6f9d5e65047b057f8ca88ee65142aef1c09","datavalue":{"value":{"entity-type":"item","numeric-id":2928283,"id":"Q2928283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$79D938B5-34F6-43F7-BBB3-DDAECAF5069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3d387212899dfca270a4da68287904c94c84bc","datavalue":{"value":{"entity-type":"item","numeric-id":2409221,"id":"Q2409221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$7F00CE94-CE0D-45C8-AAF2-FA2264E3F752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d98df04508c1af2243a8af15d9e1a877766f3","datavalue":{"value":{"entity-type":"item","numeric-id":3434962,"id":"Q3434962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$61D96BB3-8A55-4A32-A9A0-7822C422D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5111753441e211cc224822d14d2662b81b534beb","datavalue":{"value":{"entity-type":"item","numeric-id":2552463,"id":"Q2552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$69E5A879-7E62-406A-A6B1-EB831531BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e376a959fa6a60af64575f6c37a7c68f20b90f","datavalue":{"value":{"entity-type":"item","numeric-id":5274106,"id":"Q5274106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$7A40DEE6-3B40-4A44-9910-157876C0775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49a7c4d47b1cbda60fd2d89dbc9fb8d1b431937","datavalue":{"value":{"entity-type":"item","numeric-id":3596096,"id":"Q3596096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$0402D8C9-3997-438A-94A6-963857B5BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d306da3b8d7e4b54de8f8fc78e217e93c02cb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329141,"id":"Q1329141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$994D9770-A982-43D6-B43A-62FD5E4EC0C4","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":"Q2409221$5E0C51CD-79D0-4A7E-ADF4-B24231906D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d891125c3d6cc8fffb42811dbd1f32b1c9c21","datavalue":{"value":{"entity-type":"item","numeric-id":3493237,"id":"Q3493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$661C351B-BEC9-4CA2-A596-24B6E7CA41DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba83d9836038b28c314b09c96be937ee8558bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1678627,"id":"Q1678627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$F0D1AA77-2579-4949-99FB-40A369AB71B2","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":"Q2409221$588A2710-F1AC-49BF-A275-2A38700A9E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$0DC5AD12-C236-461E-893B-88D3D6A0A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1911db35be2117477ecacdff3bc4da88e0286943","datavalue":{"value":{"entity-type":"item","numeric-id":5353171,"id":"Q5353171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$8BB7346B-9C3A-4DF0-9939-BB034E11F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7129f38d194cdcd23f8a5c5d0549588d5e29","datavalue":{"value":{"entity-type":"item","numeric-id":5282320,"id":"Q5282320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$5F88C42C-9E51-4DC5-BF35-ED98CDEBC689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd13186ace3e42ae40508497b0d0d89edd24f27","datavalue":{"value":{"entity-type":"item","numeric-id":5352760,"id":"Q5352760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$53DBA809-0DA7-4D58-996E-412A0A7ABCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e85cdb3fcf325afaab841bc3a35358de5c6486","datavalue":{"value":{"entity-type":"item","numeric-id":5353173,"id":"Q5353173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$9C32465B-3BBF-4A40-B6EE-5AA72433C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a840c3642a0db7656950b22d8a868152c0d1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4418866,"id":"Q4418866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$E868660A-A28B-4F9C-B2C2-94BF9224A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afe6fa4592414eda389c64f513f729b2a69f046","datavalue":{"value":{"entity-type":"item","numeric-id":5347768,"id":"Q5347768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$18DFB752-344B-46F8-A0C3-0F71CEC6EED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e6937da1b29e0879a4160ff34f23bbbd17fe70","datavalue":{"value":{"entity-type":"item","numeric-id":998679,"id":"Q998679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$BEBF9578-95B9-43AD-8ABE-03200F6F57EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2752ca93f1ca445946c89e4c8b81a43dfbc982dc","datavalue":{"value":{"entity-type":"item","numeric-id":900685,"id":"Q900685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409221$325C30D2-4903-425A-B4EE-62DAD8C9CAE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f33bad271872b3ddedaaaa133cd8b5bd239d6e3a","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.02.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409221$84863A7C-AC67-4A23-B176-9025C2828A29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987e902e21270be6edb1d5c6f311546211ae0f91","datavalue":{"value":{"entity-type":"item","numeric-id":4309225,"id":"Q4309225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0758529a4227561fbe94e8aaae5bcb8345d0e295","datavalue":{"value":{"amount":"+0.7493798136711121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409221$08463471-5404-4989-922C-57EBB6B56083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd66031ecc584fecbfde34d04e9acf61e7ea358","datavalue":{"value":{"entity-type":"item","numeric-id":5496923,"id":"Q5496923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3f0ad819cfed3fca0711d5739231a285c85542","datavalue":{"value":{"amount":"+0.7454665303230286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409221$D0E77A11-43D0-4E12-9E5F-B2081B1B0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4832fa402941433a6b0c44ed188ec9d8177cd536","datavalue":{"value":{"entity-type":"item","numeric-id":5209343,"id":"Q5209343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7458e0a30bad937c1e1f6216ae980b06e32c79","datavalue":{"value":{"amount":"+0.7448859214782715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409221$86B7A663-1540-413C-86A4-3441CD837EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76828f028e17ba7faf71fe40a17477f63f6ab343","datavalue":{"value":{"entity-type":"item","numeric-id":5117253,"id":"Q5117253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972a638d05f3f830a38a69654757cbcceca5c6f2","datavalue":{"value":{"amount":"+0.7436475157737732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409221$C1C5D2AF-B0E4-4818-B3D5-16644CA34E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b605f12f8d242b38ad10f66f5fa40f5920426bd","datavalue":{"value":{"entity-type":"item","numeric-id":5117251,"id":"Q5117251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725d04a29470a0f9400b8e83819d0da6898828e2","datavalue":{"value":{"amount":"+0.743180513381958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409221$A042D0F5-36D0-47DC-9588-1F623465F7F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409221"}}}}}