{"entities":{"Q2740490":{"pageid":2751229,"ns":120,"title":"Item:Q2740490","lastrevid":82912556,"modified":"2026-05-06T22:24:04Z","type":"item","id":"Q2740490","labels":{"en":{"language":"en","value":"Checking of automata faults specified by an evaluating function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1646960"}},"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":"Q2740490$1B52426F-06C0-4360-AD08-BC88DBED1153","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7556e8672b55f51076e7632dedc2cf62f037103e","datavalue":{"value":"0971.94510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740490$1694465C-EB36-4AAA-9B83-FA98ADD73AB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a62dce33ba348b1ad36268c097920eb596905dc0","datavalue":{"value":{"entity-type":"item","numeric-id":548751,"id":"Q548751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740490$25CECA2B-AD46-4762-8B11-1358D7815C97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a033829ef6f0cf3809061d16fde5ff67c5d7e53f","datavalue":{"value":{"time":"+2001-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2740490$118E0103-C4A8-4E0E-BC13-C887677D8C5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740490$CBE08224-3E36-474A-A5AD-ADEDD32024C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740490$CDCA8FBE-3005-4737-8D63-984FC7B00372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740490$547AA85E-2654-437F-8514-06F8855829FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5205bf7a0815771e069c491216063ae3f380ac11","datavalue":{"value":"1646960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740490$81B56A19-2F22-466A-8F98-64A9CD58887D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"698468dd83bc9c6e6370e5b00df1b26f0e8f14d8","datavalue":{"value":"automata checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740490$55FFF71E-00C0-41B2-8A78-BB75633C359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d88913a2cfe426548ce784d1ef029ff9b40d81","datavalue":{"value":"fault function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740490$82D7E8C8-DD00-4CE5-AE4C-97D83B1F2682","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":"Q2740490$0EDC68DB-8368-4DB7-9E94-D2F1923A97D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be6a5d0f486a491706597cb4f9162c8662bacfd","datavalue":{"value":{"text":"Checking of automata faults specified by an evaluating function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2740490$C95F44E5-C1E4-40C1-A8AF-3CD21CFFD898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7f4cc04fcaa20fb1b72f843077f0fff94947d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6768708,"id":"Q6768708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740490$17E5338D-27A1-4020-860C-65B15AEDCB13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a08e3d0c871dcec43e736009da1a15c05f7b510","datavalue":{"value":"An algorithm of checking experiments on automata is proposed when automata faults are evaluated by a discrete function. A structure of the evaluating functions is investigated. Advantages of the algorithm are shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740490$A31BEF3E-F21F-4A32-AC14-EC7A863E2E04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e18f975a0bddc75535476098615edd60b6b0eda","datavalue":{"value":{"entity-type":"item","numeric-id":1816011,"id":"Q1816011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44d602193e7985c5ec02881806cee0723782cb7","datavalue":{"value":{"amount":"+0.8390160202980042","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":"Q2740490$008A9745-8CA0-461F-9236-E2FA34754C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b72fb6da5ffafb6f539da1351e6ace37cdc77","datavalue":{"value":{"entity-type":"item","numeric-id":1286277,"id":"Q1286277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44d602193e7985c5ec02881806cee0723782cb7","datavalue":{"value":{"amount":"+0.8390160202980042","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":"Q2740490$FCCB2C04-75E0-4611-B3B3-951B1C47FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538b13c1a8a049667f78ff4768fd69f187b1f605","datavalue":{"value":{"entity-type":"item","numeric-id":4817732,"id":"Q4817732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ee55069b6b196796974756437def95720736c7","datavalue":{"value":{"amount":"+0.8370121717453003","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":"Q2740490$F54C9BBC-0960-48FC-91AB-9A40BD25C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68242884a101c40f0bad22a1a848356a69934591","datavalue":{"value":{"entity-type":"item","numeric-id":799376,"id":"Q799376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e10d79649b9d3376e022606a2eb9be4229e730","datavalue":{"value":{"amount":"+0.7582547664642334","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":"Q2740490$4983F0B0-8240-4D73-A3FC-B24DF1A35239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb7c60bee4803cfc74caf72b68eaada007ebbda","datavalue":{"value":{"entity-type":"item","numeric-id":1892217,"id":"Q1892217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defc75de72b17068e5ccb37f6ad155255d611682","datavalue":{"value":{"amount":"+0.7564790844917297","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":"Q2740490$9831DD15-629D-431A-9DF5-A1FD5D84FD0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking of automata faults specified by an evaluating function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_of_automata_faults_specified_by_an_evaluating_function"}}}}}