{"entities":{"Q528185":{"pageid":529952,"ns":120,"title":"Item:Q528185","lastrevid":62551299,"modified":"2026-04-11T06:51:46Z","type":"item","id":"Q528185","labels":{"en":{"language":"en","value":"Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714833"}},"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":"Q528185$391FB6A5-8F76-44D2-8C7F-3D62FC0071AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ed24b0fd964c809c9d6b277fd1ecc87d07e6a8","datavalue":{"value":{"text":"Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q528185$F167DB68-3454-44A6-B280-2D3BB1CD4568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c3c59fc11026a4d829d5fd9efdb51a54e00f37b","datavalue":{"value":"1370.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$C80799BA-93E5-407A-B3B7-13713E0A4C7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$B55A7655-D5C3-4638-ADDE-5B7AEAC7CBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$B651A4D8-5A93-4309-8C14-ED032B190ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$20F114EB-D1DD-42C8-89E0-913BF788CFF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da189f927ef60f6fc1a9445574ffefbf706f10da","datavalue":{"value":{"time":"+2017-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q528185$8D51B166-2BD8-4462-936C-1ABE0BC44A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$C77CEB91-73D1-4997-8BE7-870F20DDD277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$3D2659F9-D19C-4041-A427-9C5B3D9255BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$968C72A8-7D87-4AD8-973A-8415C019F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$3810E121-E63B-4296-ADF5-43F2E3AC4965","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b8165a68e0abc61a68f693a1029116c100216db","datavalue":{"value":"6714833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$B5F1A154-80EB-4B9D-AD9F-9D2A6A3C21F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$BCEDBA8F-7A18-401C-996D-4D5265276EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$41C3A782-BFD3-439B-B70B-1B53C58C2654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$A42E720C-BC98-4580-974F-BC1F608D0D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$31CCC413-4B6D-4A13-A4DF-3122AF7E35C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$EA904329-AD90-4AB5-94BF-CA4E56B1DE8C","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":"Q528185$081067E2-9859-4C3D-8D31-F68EA2953435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ebfd3c6f28b0a43d7d7fb178beaa835c4cd541c","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q528185$9A65E442-8102-418B-9B06-6B93498B2733","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"155ff20accb6da8d946e2b67f49af1706ab5cde0","datavalue":{"value":"W2546866793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$4626BE0D-AA89-406D-A85F-DC686234E32D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$77FAC54C-9A07-4F1B-8D36-6FF10DC95ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$D28AB261-21A7-413B-A572-AFE9FAFE6CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883ae1f600aa54b86cb8852f03f93bfdc0bd5171","datavalue":{"value":{"entity-type":"item","numeric-id":3446862,"id":"Q3446862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$531A248E-1267-4469-9E41-D447D0877F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2192b014e5b86896a1edd5438adccc8a06ba3605","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$FEB413AF-B023-4B53-BEE9-CE906AE95BE5","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":"Q528185$94B7696B-7807-493F-B61B-2CA201037BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$46874BB8-B6DD-4ECD-B00D-699545C87D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$A04E1184-D4B9-45D4-8AB7-40332E25C3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$313FB133-09BD-482C-B927-03994D3EFBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$067ADE5C-3BFB-4B89-AE2D-A3790B39A1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfb750e52ab102a7802c1714a759fcbbc80c1a1","datavalue":{"value":{"entity-type":"item","numeric-id":598545,"id":"Q598545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$DA905251-424A-479F-BB8D-A882A546B3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$CF533808-5AF4-433F-A75A-3B9AC417C425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a9356d3ae07b01a5b8df65cf8e5981b9d230e7","datavalue":{"value":{"entity-type":"item","numeric-id":528185,"id":"Q528185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$393C4563-E885-4DD5-8585-4D6BD1FFAEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d566b0003c0d0ea68198590d16368997b1d7569","datavalue":{"value":{"entity-type":"item","numeric-id":918186,"id":"Q918186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$872E27BB-D858-4FCA-B22A-BE1B66DE823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa92b022719f1daaa867865bc99f59182885305","datavalue":{"value":{"entity-type":"item","numeric-id":1168726,"id":"Q1168726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$48F05FD3-5E3B-49F4-B724-FFA20C9BE669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27163ebbf95216a6b2d854c78882a31a228fe2b2","datavalue":{"value":{"entity-type":"item","numeric-id":2365570,"id":"Q2365570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$7A3EA3D6-B06D-4150-876A-9D14EB54A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311411d56628459b979d4b8116f96f541ee27f6b","datavalue":{"value":{"entity-type":"item","numeric-id":884759,"id":"Q884759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$F9DAAAE6-1FD7-4B9C-8343-C435C8CF3CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9986b95f80f7f2ade277d4e74eede8a4186dc099","datavalue":{"value":{"entity-type":"item","numeric-id":253980,"id":"Q253980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$B66A738C-1A6D-477C-ABEC-024B496AE5B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"536cd2c0f2f5337af8e5e4ee31068812634c266a","datavalue":{"value":"10.1016/J.IC.2016.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q528185$00EACE36-96EA-45B3-ACA3-5A1120CBA1FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511ad0c1a6466ba3410654933864308cf53a046c","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5e162ba6a0faf5fdca600e0d667630038ee0de","datavalue":{"value":{"amount":"+0.7319064736366272","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":"Q528185$0D0E1916-4E78-4AC8-BB7C-EFA1488A8A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e36469bd3cd7ea0b6b81aabc659572d3b1d90b9","datavalue":{"value":{"entity-type":"item","numeric-id":4536746,"id":"Q4536746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e55d45ee60bcc14b5071fa3d5f045e9424fa206","datavalue":{"value":{"amount":"+0.7156819105148315","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":"Q528185$52B5EE16-A7B6-4EB3-8CDC-30DFB8E0D537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061de957eb600836f3b1f410f3745c9aedc556cd","datavalue":{"value":{"amount":"+0.7122308015823364","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":"Q528185$116C1B13-8B69-477C-85C3-32FB4B754E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d08b21bd5c79a5226039fce6f09ff1fe5491d0","datavalue":{"value":{"amount":"+0.7115775346755981","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":"Q528185$D5A32204-0CAD-443B-BB3A-D42E55CD630B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d83121bf9732b6b52e5fbc80b9b11dcb5dd8905","datavalue":{"value":{"entity-type":"item","numeric-id":2849551,"id":"Q2849551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cca0b78decaeef694aa43a667f70e7df443ee38","datavalue":{"value":{"amount":"+0.7101277709007263","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":"Q528185$55CC3345-9B1F-4462-9A39-60EF25678D6C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q528185$40E54536-CF0F-44CB-8E58-17AA36A0AD51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_fault_injection_and_model_checking_to_verify_fault_tolerance,_recoverability,_and_diagnosability_in_multi-agent_systems"}}}}}