{"entities":{"Q4574716":{"pageid":6604305,"ns":120,"title":"Item:Q4574716","lastrevid":82207274,"modified":"2026-05-06T20:21:28Z","type":"item","id":"Q4574716","labels":{"en":{"language":"en","value":"Polynomial-time verification of safe diagnosability of discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6907089"}},"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":"Q4574716$622445D0-4345-4E75-9A47-D7AE35A44723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7509f1c8c5c03ad78a8d72e884123920b87f481","datavalue":{"value":"1399.93166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4574716$7DD6FBF8-30EC-432E-B1E2-B5753CA8983B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05effe191b4418e12c413d26bf2389be459d1309","datavalue":{"value":"10.7641/CTA.2017.60619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4574716$8CF57A0D-5764-4E83-BBA6-9002AEB89388","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d054310a7e1becf50e68857c1c24cef7508f","datavalue":{"value":{"entity-type":"item","numeric-id":440953,"id":"Q440953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4574716$310DF375-652B-4D84-9FF0-4D55F59C5A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c24fd7d24bd317514ddc4e233b356d32655a430","datavalue":{"value":{"entity-type":"item","numeric-id":645860,"id":"Q645860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4574716$66059FD4-2085-4898-841F-6982EC0351D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"595170a4b875a61e7a2746d3d821c86b24ad02ad","datavalue":{"value":{"time":"+2018-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4574716$3C755E3A-435D-4DD3-A7FD-727F6136DADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4574716$FA4E6C31-D86C-482A-86E9-9DB2EBD97BA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5617e0653e2d3c0cb669b91dc5609bc8b424cae9","datavalue":{"value":"6907089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4574716$5E5E0B7C-1BFE-4115-962E-A68DB15C6EE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4574716$38809C35-B7ED-42E1-BCA2-709DE3E36A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40824276f4e3fdfc74ad3f67bd3e49838d9da9b8","datavalue":{"value":"fault diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4574716$33055AD1-DCCB-486A-8A75-6D36CB50E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97a17de1777680382396bfef720b1571b682b03","datavalue":{"value":"safe diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4574716$AE0A458C-3803-41AB-82EA-093E95AC2898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8be6c3794120e9ae59d4fa98167aec1929cd618","datavalue":{"value":"polynomial-time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4574716$7875128A-A351-47EE-BEA4-92B8FE216087","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":"Q4574716$81D23A06-62A2-49A3-8B16-C7BAB58CDC3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588926cba181cee46c11a83bf266ebe4a08311ed","datavalue":{"value":{"entity-type":"item","numeric-id":5027364,"id":"Q5027364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c7dcc760313ac8f7afbc9cba8b4ce974b81dc0","datavalue":{"value":{"amount":"+0.877029538154602","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":"Q4574716$B1C9A014-38A5-49C7-BE80-104DB80ED1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9aa958b263c3b97dd08072154b88bd55f4242e","datavalue":{"value":{"entity-type":"item","numeric-id":4574663,"id":"Q4574663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f574ff64ac0044f71a3c029e17af65b554f195","datavalue":{"value":{"amount":"+0.8548097014427185","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":"Q4574716$02B5BCA9-2CC5-4063-A27C-F3BA41A42D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9796441423d532817ac8019e0ffb397339318434","datavalue":{"value":{"entity-type":"item","numeric-id":893753,"id":"Q893753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75c752eec345a7bffba127d3db981fab2239092","datavalue":{"value":{"amount":"+0.8391470909118652","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":"Q4574716$B667C8B7-1C1D-4957-9F66-F67D51465541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac024bd5dec769d560ed37d5d165adc33e75326","datavalue":{"value":{"entity-type":"item","numeric-id":2576131,"id":"Q2576131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab9b01016d6ec3562cf154e6cec69ce1a3691e4","datavalue":{"value":{"amount":"+0.8234741687774658","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":"Q4574716$4740D58F-7EE6-4A18-AAF6-676FA1129B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1b3d1e42261025a319a3626f7c4ac76c49664c","datavalue":{"value":{"entity-type":"item","numeric-id":5129489,"id":"Q5129489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a274f9ba73e1df607b8e46f11fc2df11c37668","datavalue":{"value":{"amount":"+0.8213033080101013","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":"Q4574716$07CF4859-561A-4FC7-B95B-42378F436DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-time verification of safe diagnosability of discrete-event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial-time_verification_of_safe_diagnosability_of_discrete-event_systems"}}}}}