{"entities":{"Q1995345":{"pageid":2006087,"ns":120,"title":"Item:Q1995345","lastrevid":53940989,"modified":"2026-01-25T23:26:00Z","type":"item","id":"Q1995345","labels":{"en":{"language":"en","value":"Method for the functional diagnosis of nondeterministic finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314497"}},"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":"Q1995345$168100E6-F09A-4DA3-B8F9-1F6EB9151A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65969639f1603c318af5b542bcbb0abf61f741eb","datavalue":{"value":{"text":"Method for the functional diagnosis of nondeterministic finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1995345$2BD9072B-604A-4752-B2F4-CEAB390A2C3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99dd64396b0e8fc606b161debf0d8f40f502bb73","datavalue":{"value":"1459.93038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995345$65A4A070-CA6B-438F-B752-32C23723A76A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6802dcc9acfe88138b3ae611f531c302618f85c","datavalue":{"value":"10.1134/S1064230720040152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995345$4C0182EC-BD61-4AB1-B33E-877F58C92EE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9fce949996fe00ce404241ca32f605fbbdf0e64","datavalue":{"value":{"entity-type":"item","numeric-id":1995344,"id":"Q1995344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$9353C520-1C3C-485B-944A-7522229356CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edfad1d3cf2d3066734f1e6c315add4263d52f13","datavalue":{"value":{"entity-type":"item","numeric-id":1647687,"id":"Q1647687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$EFF9F566-3707-417A-9908-E61637040F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1f00e96c2fe7eaf5e3f7268d21991336d1469c6","datavalue":{"value":{"entity-type":"item","numeric-id":612034,"id":"Q612034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$9E20BCBA-DD15-4D2F-8A55-B21DF5309948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$A2C86768-CE12-4AAE-AD5E-7889CDBE9D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ee735f11b8074a8f9020cfda508f7de7e100ab4","datavalue":{"value":{"time":"+2021-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":"Q1995345$1AE00CA5-047D-407B-8370-7559CA674E8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"736b9f6ae9870854cc80f662ef3717b37be8a774","datavalue":{"value":"Formalism of automatic recognition of erroneous human behavior with the intention of retrospective operational audit and safety management is challenging task. The contribution of this article is two-fold. First, the concept of pair algebra was developed. Second, it is demonstrated that cover algebra can increase the depth of the diagnosis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$0E843F0F-DBE1-4EEB-8082-8B45C1CD6D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995345$E87410CE-1298-4C6D-8510-A88165BA5EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995345$DEAE428B-CFB1-4878-9715-39D98FF90F78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f574b285395a4d42ad4b7ca4bc6ec4feae4a0793","datavalue":{"value":"7314497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995345$42B8C89A-8FCD-45D7-905D-3350F9C065BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$110F54E6-8657-43A9-A5EC-532A231C17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76860eae1893021252ca26282bf80228f872639","datavalue":{"value":"man-machine systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$D0EDE7C6-0781-47D1-B0C4-F4204F099CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$87B72A9F-C484-46FC-8E26-51D3E569EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b5882f721973218755c7d61bf80dc02254ff22","datavalue":{"value":"partition algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$E6902E5A-6528-4421-8006-8F774C728FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60d48776cdef4039c02bcd239822eed06974729","datavalue":{"value":"fault","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$FBC2DFBA-30AF-47B0-9DC0-BA6FB66E5AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995345$22BB2B43-8A80-4A4C-A452-E5CC1D475739","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a76d68a5ebd303e53e84a90b0154590c48820639","datavalue":{"value":{"entity-type":"item","numeric-id":278551,"id":"Q278551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$DFD10CCB-87F9-4169-8FBB-2746E5D8FD45","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":"Q1995345$9F6BC190-B052-406A-9E4D-D72B2A9659DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d481d751cf827e9d7a71d4e9b89ab9decbfb07","datavalue":{"value":{"entity-type":"item","numeric-id":5535414,"id":"Q5535414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$09F836A2-4B62-4001-BB15-11FBB754473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8640f8988421d8cf8065045b3ba0a00afccd3f04","datavalue":{"value":{"entity-type":"item","numeric-id":1225940,"id":"Q1225940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$93414379-6001-45CB-AAE3-7DFF0F8ACC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b918780aa106362aae90de486a8764e968fe9ec","datavalue":{"value":{"entity-type":"item","numeric-id":3318122,"id":"Q3318122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995345$E72D8BF7-EEE0-4924-BD99-C3415D952EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c1ba99f8e38413b99aad246685ca0407d8b4d2","datavalue":{"value":"https://doi.org/10.1134/s1064230720040152","type":"string"},"datatype":"url"},"type":"statement","id":"Q1995345$52A8AFA2-F6EE-48BC-A6DD-06D86DE7002D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c6b79e07bbb683e137c7119dcf324a2d3530f9","datavalue":{"value":"W3083254831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995345$9C094ED0-18E7-4687-B31B-0C09842B18AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c82355aec4b1afebdfc6865ce9304c0ed9dd4b7","datavalue":{"value":{"entity-type":"item","numeric-id":918915,"id":"Q918915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde3db8488abe97259a1b9c06f0a9bc3843bf229","datavalue":{"value":{"amount":"+0.7552245259284973","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":"Q1995345$AF43B4A4-1514-4FC1-9997-DB1EC7690103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc651ed9e575e50f57830d2794c9ceb7a2cb710","datavalue":{"value":{"entity-type":"item","numeric-id":2290298,"id":"Q2290298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6247de30130e8fa3a4fd4cb06ac751ac163a47b9","datavalue":{"value":{"amount":"+0.7454468011856079","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":"Q1995345$1396C308-F6D7-4FC7-AF57-8D02BE00C79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c04e5d5a67455a64bdb7ec5d3110f3ced1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2289035,"id":"Q2289035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59099459fee552225853d7964e60e8cc3c7bfbbd","datavalue":{"value":{"amount":"+0.7401812672615051","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":"Q1995345$0D360E4B-2F84-487E-B262-62BD4DD1B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e6c110286601a4d49835fbe64525abf9704945","datavalue":{"value":{"entity-type":"item","numeric-id":2568147,"id":"Q2568147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea024fe24edc76474dc449478a0995367870079","datavalue":{"value":{"amount":"+0.7399277687072754","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":"Q1995345$F5FD30C2-C3A4-41D2-9D76-8001E365DA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bdf0ac92f78be33936f50ea636a782ce139d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1913103,"id":"Q1913103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5949019e265fa4297030969cd8a18ed1f15eef1","datavalue":{"value":{"amount":"+0.739834189414978","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":"Q1995345$290A6486-E2BA-4540-88EE-F0E9E41214A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1995345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1995345"}}}}}