{"entities":{"Q3777458":{"pageid":5807364,"ns":120,"title":"Item:Q3777458","lastrevid":52279763,"modified":"2026-01-21T08:30:30Z","type":"item","id":"Q3777458","labels":{"en":{"language":"en","value":"Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039301"}},"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":"Q3777458$7CE3A018-A2FA-4203-9514-BF8D5B9403AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"444808fb41c027fc2d23f595656066f54329e4fe","datavalue":{"value":{"text":"Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3777458$32E9F855-7793-4FEF-9A53-E7357F81CD54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e79c6326e280722f1a78d90b7b4896fc1a0ed5cb","datavalue":{"value":"0637.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$DC55E975-47BD-46AB-AB9F-C0B4718E2B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f61bde0d8fe90234958559296f3bb141e2213a1","datavalue":{"value":"10.1109/TC.1987.1676881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$4A5CA663-081C-495E-9FEF-1E399BAA415A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d12d898b2deab7958fc6b3286a95285802ea0a7","datavalue":{"value":{"entity-type":"item","numeric-id":202491,"id":"Q202491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777458$B92503E6-6962-42D3-B355-E885C44FF480","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777458$487EECC3-314E-4747-8F57-468BEA8C28A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3777458$2FA1D97D-47EA-45E3-98F5-4AB5AA7CC8AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$57714E6A-983A-4252-A728-F470A518928B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$D54BBB3F-5C4F-474F-86CF-B0B67341C953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$DE01985B-052D-41EE-89FF-47FA419430A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25a94dc3171ff1641cd6d48c0e57bffc1882f7d6","datavalue":{"value":"4039301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$6AC38421-19A8-417B-97BB-252657C5D919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf54e2d199641bd16db964256732a9040fd52c2f","datavalue":{"value":"branch-and-bound algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$94D4931A-D77A-4FA4-BF04-FEF2840A2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca3e63182109741d212d49d497dc6b769ed594a","datavalue":{"value":"undetectable output faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$C08F1C40-2E60-4D86-B900-76D20F5DC880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee2710153431b798043b85ed7853aacbb230b5aa","datavalue":{"value":"fault-detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$5D27C310-4616-4E8A-BBC6-52CF037F28AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0eb7b2352b0bb1ae5c8c5ed76f5187d80ef8b","datavalue":{"value":"finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$E1DDA4AE-F589-4ADF-9F8F-33289B9B2D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e80836e9705109274e75c57698c2193404bf523e","datavalue":{"value":"probabilistic machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$A3D1AC44-7B05-496C-90AD-ACD69187F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2322ec8d7c6e9be0a794d8d179311b650b509275","datavalue":{"value":"optimal abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$69A40D6A-C800-4B5D-915C-50B547EDBDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bfcd3685ee28b4f3b5c1a737e56e9974931db92","datavalue":{"value":"observer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777458$DEEADB1D-486E-47D1-A60F-51D9036E458B","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":"Q3777458$734D5C2E-E266-4FC1-AC3C-84392B056C45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64708eceebf2d3eb2a039d4d798f590e76be08a1","datavalue":{"value":"https://doi.org/10.1109/tc.1987.1676881","type":"string"},"datatype":"url"},"type":"statement","id":"Q3777458$6751CD54-2462-43CD-B31C-19D98E756737","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46ed912a8c308fa9d7b73d214a745d3f7ed24b5","datavalue":{"value":"W2050233102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777458$FF12519B-102C-4994-B372-C4EBF6B74AAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6291c14460cc94b905ddb94205c516634de98d43","datavalue":{"value":{"entity-type":"item","numeric-id":5943266,"id":"Q5943266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebff5c08dcacebd3621f5f0ad5d745283f7d56b8","datavalue":{"value":{"amount":"+0.8232022523880005","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":"Q3777458$5450D8D7-58F7-4B02-AF52-AD8465F62527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f3240497524ac49ff57caa45b0e0d519407f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1044846,"id":"Q1044846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebff5c08dcacebd3621f5f0ad5d745283f7d56b8","datavalue":{"value":{"amount":"+0.8232022523880005","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":"Q3777458$671EA44E-9A10-4B5D-88FE-7AB90C118ABA","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":"524f554880e77e02d0cedfff77a2337d97471fba","datavalue":{"value":{"amount":"+0.7545633912086487","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":"Q3777458$03E07CAB-203A-4864-B49C-58DE78C83B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afca8e63a65a7b2395d6d529cc233a794d4411e","datavalue":{"value":{"entity-type":"item","numeric-id":1129532,"id":"Q1129532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f449d0dc6c6629d94fcf425e3907795e2b9cb53","datavalue":{"value":{"amount":"+0.7290104627609253","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":"Q3777458$A01351CD-FDAC-4691-9B66-59287E89EA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0582b6fc33c6f84ca8f8f9b131da346a2781980","datavalue":{"value":{"amount":"+0.7249330878257751","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":"Q3777458$3A06DBCE-BAAF-4E99-AB6C-650A48564B3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3777458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3777458"}}}}}