{"entities":{"Q5425486":{"pageid":7455060,"ns":120,"title":"Item:Q5425486","lastrevid":100936190,"modified":"2026-06-05T23:29:27Z","type":"item","id":"Q5425486","labels":{"en":{"language":"en","value":"A Distributed Algorithm of Fault Recovery for Stateful Failover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211418"}},"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":"Q5425486$3945512A-9666-42F6-9512-3281AD18A7EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e02d2928f957346065c1aff3d415b2765fd01b4","datavalue":{"value":{"text":"A Distributed Algorithm of Fault Recovery for Stateful Failover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425486$0292B007-D9CA-43F6-B05A-9BA966C5F345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18951bf047230391b1ee1189e64c362d2318f7d1","datavalue":{"value":"1200.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$EE12AB4E-80D8-4E21-8DC9-6DB5AC70161D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff9aa13a90b924e66a55679555261d876fce6616","datavalue":{"value":"10.1007/978-3-540-72504-6_67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$BC867F5F-9418-482B-9085-28402B8BDC8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a88a03f0fd586a6d84e0d9ff5549b5db1b8f206","datavalue":{"value":{"entity-type":"item","numeric-id":2988920,"id":"Q2988920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425486$B6A5C8E6-D504-4697-B2B4-337590D89F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd0d614a6f55cfd94894fbb06cc5eeeb1437625","datavalue":{"value":{"entity-type":"item","numeric-id":989574,"id":"Q989574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425486$375FDA77-B6CE-4869-B38B-1D87E5FE835D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425486$9B1FCA10-76AF-474A-B012-23E2BFB6FD76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425486$3D98330A-B043-4C66-B85D-DA344C4C1246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$A7A5C9BA-AE3F-4DF7-9540-616C503B8444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$F9D0A17B-B5DA-4F07-9C7D-E2159CF0F695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$36207BAB-BD44-4634-BD64-D9C2C90357B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02762a59ace67f98767f5892553f5486b94d855b","datavalue":{"value":"5211418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$9054FA3C-CA13-47BE-A9EB-57B3F269AA56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425486$6BBB30D2-DF88-4E8B-A224-AE8CAF64762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59eab65df069b2efb81a0a2d222894991172d592","datavalue":{"value":"stateful failover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425486$B2133A50-2968-4FA9-B0B1-F9D767C189DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425486$966CE4D9-68CF-4DC7-A576-99826DCFA81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da7fa89c8b740f8cd3a397f4f6df9dacad2c66c","datavalue":{"value":"SPIN model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425486$E43F4DF1-1FD3-4C35-809A-356D7B742E3B","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":"Q5425486$BA32B4E6-D3CF-49D6-B3A0-B124042DC963","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"450938d56519d56560c7bd033416c80ab11d6cd9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72504-6_67","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425486$BF0E2C3B-1E9C-4C47-8151-690BF8ACC7F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f60eef425645356f0ecbfb6f9ba2d51fc55e5d21","datavalue":{"value":"W1539006862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425486$EA462932-CA8C-4054-AF5D-F4ECC415975F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d6726bcfe1671b729150ef82a4c99b3d43f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2852016,"id":"Q2852016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9273355b3a59375c0ee991d6d09d43603057e8bb","datavalue":{"value":{"amount":"+0.6773960590362549","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":"Q5425486$D879E2D7-DC54-4662-B4B7-875FC9FAEA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e486acaa1bbc513587170d97c059342864ba6609","datavalue":{"value":{"entity-type":"item","numeric-id":2938065,"id":"Q2938065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c04d9563090efd8aec7d4790b600f74667f55d","datavalue":{"value":{"amount":"+0.6750429272651672","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":"Q5425486$B35050E7-8A89-4654-B607-1AC7B13B4D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4bcb6dd6d51befd46c600743d2082c5aa0c149","datavalue":{"value":{"entity-type":"item","numeric-id":3357517,"id":"Q3357517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65672a030405c9f627a040e185fe8a91b160501e","datavalue":{"value":{"amount":"+0.6637165546417236","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":"Q5425486$A8E6DF73-CC43-4D8C-80AC-25F204B04B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba1e9c7faf3361604d9268ee93b28a0373545ef","datavalue":{"value":{"entity-type":"item","numeric-id":3713557,"id":"Q3713557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8158a1b9af0d08468b5e4fe6f8a6d23c09bb62","datavalue":{"value":{"amount":"+0.6603138446807861","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":"Q5425486$4253B1E2-B738-44C5-8148-EC0C9CC707AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e96ba9f7e9a3d7e0c13bfcac0f64be606b8584","datavalue":{"value":{"entity-type":"item","numeric-id":4228289,"id":"Q4228289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c07adc328f5b4c0becd915a2709ee2be51dcc0c","datavalue":{"value":{"amount":"+0.6598331928253174","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":"Q5425486$2F1AAA50-5E78-4E70-A4A5-2A5112DB0428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Distributed Algorithm of Fault Recovery for Stateful Failover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Distributed_Algorithm_of_Fault_Recovery_for_Stateful_Failover"}}}}}