{"entities":{"Q903518":{"pageid":905366,"ns":120,"title":"Item:Q903518","lastrevid":52427501,"modified":"2026-01-22T15:14:02Z","type":"item","id":"Q903518","labels":{"en":{"language":"en","value":"Synthesizing bounded-time 2-phase fault recovery"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526775"}},"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":"Q903518$922B11CE-95AC-4DCB-A9DB-991914DBAF68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d40ae61bea91923fd3b97e70acfb398c5991187","datavalue":{"value":{"text":"Synthesizing bounded-time 2-phase fault recovery","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903518$5B38E2ED-48DA-4CFA-A23A-9A94C07D3085","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7447ad6ca78422f49423e4e56229e24eea3516f","datavalue":{"value":"1328.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903518$8ACA2B95-1FD0-4D94-90FE-C6C1D98348D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$F38F5E93-6133-469A-B150-F817A3313605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8deba388c1078de45653e1953b9d462190888a39","datavalue":{"value":{"entity-type":"item","numeric-id":287218,"id":"Q287218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$21359FE1-95AA-41D0-900C-9644FC7214B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$7108DFA2-2FE1-4CE2-98FD-A6F83DC74EDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903518$112FF26E-DC89-4184-B168-979119C988CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903518$77E6EF08-8788-49FC-BB9A-5BDB97AF50D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903518$2AA6AEE2-F690-4520-8DC3-E2E01E3BBA3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"647f9a4b6a8dd7629190207c7a74ea2e57307cf5","datavalue":{"value":"6526775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903518$2087A686-0F33-47D3-B3BC-BFB7497E3D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q903518$F8B47842-6B27-4958-97CA-6D59176FD36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q903518$E74BB2FE-1DD6-4168-99A5-1DFD62A43F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a1b62edf9a2de25ed9c94bb14bc4a65948728f","datavalue":{"value":"bounded-time recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q903518$516F2515-A6BD-452F-BCB2-347883D00AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa582384afb65dfb1c702b10b84d1760cd1ed8fb","datavalue":{"value":"phased recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q903518$8D1461D7-DD59-4222-AB43-EA97384C4CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q903518$7EB4114A-9D27-4FED-B226-137095F75ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q903518$19B08A58-1A09-45EA-9348-4242E595CC29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63bf99ed325320df0d8cf50b18f52a3b8224b17a","datavalue":{"value":{"entity-type":"item","numeric-id":20209,"id":"Q20209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$7A6957CC-3360-490B-BFA1-F2BA302EA593","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":"Q903518$3F50C3D1-ACFA-48A5-BF7D-618B0A0E761C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf757830c17eae2b23471cf6479070cb3be3afda","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0325-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q903518$088F92D0-DAAD-4D3F-B8B8-1C405A07031E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc488feb2569a3d023bd4bed095145306c08dc6c","datavalue":{"value":"W2048713255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903518$311F43CF-892C-4591-9E6A-1283196B5767","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$1A5FCDCA-B17E-4556-A1D8-A38B4152DA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881637adbe5bd4a8e1fe279ca2a0a9a662216680","datavalue":{"value":{"entity-type":"item","numeric-id":1856191,"id":"Q1856191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$F68E90FA-8924-4744-87DF-D3C07927A15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$6DA88E26-7ED8-45B4-B446-638A25275040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$CE986310-444E-426A-BDA5-66A01219982E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd25a9dffe29a41e12e90c21e722131380cf729","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$B62D76C7-8C79-4996-AA77-4EBF39F8143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403627710eac64b8e79bd219756099ed0b4be47c","datavalue":{"value":{"entity-type":"item","numeric-id":4698793,"id":"Q4698793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$E0722E11-9FAC-4765-BE89-F187D50950DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5a55c8700e16e8236f52b32cf8cafcdaa9c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":4539516,"id":"Q4539516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$4267D1CC-F945-4BF7-8800-DBA7F477F9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba489ea7cabc504616468a5357dfbc91243a86d","datavalue":{"value":{"entity-type":"item","numeric-id":1199553,"id":"Q1199553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$A3B9D5F0-4D01-4C49-833B-0A2779CDB33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc2729c61af78a185581c0459e21197f966160c","datavalue":{"value":{"entity-type":"item","numeric-id":1938357,"id":"Q1938357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$7F683A6D-D2B2-4DA1-929F-C9FFCC93C5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3842f0ff319bc45af3c0bd633d5c7781f2ab5196","datavalue":{"value":{"entity-type":"item","numeric-id":5900563,"id":"Q5900563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$72A23C91-3114-4CF9-AE79-C01950875FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4169496c42828f2381ac86d8473fbd55e87d527f","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$A1404614-51FB-4925-BE0A-9C8929011405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2045a7ec56e01f15e3eae4db248ef2b73a81db","datavalue":{"value":{"entity-type":"item","numeric-id":1132111,"id":"Q1132111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$CCC97B9F-371B-4E27-94E2-AF4E89E7927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9ce69243790c4ecbf7cba8c1ddd6792808da1d","datavalue":{"value":{"entity-type":"item","numeric-id":1041296,"id":"Q1041296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$9EEB0D4E-E1CD-492C-8A17-8AE90AF6981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac7f6378635e57edf3022367896f6113439d295","datavalue":{"value":{"entity-type":"item","numeric-id":5202104,"id":"Q5202104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$434AAB9A-50C8-4311-AE91-6F0BF5F92F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8628d6f30157cef228eea43aff9d3666f3d15e4","datavalue":{"value":{"entity-type":"item","numeric-id":5429317,"id":"Q5429317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$9068ABE9-0CAD-4D2F-BF79-AC7ED5FF26AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$126963F2-4ECF-44A4-8790-321F151BBBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$BF336DEA-6DE1-4C48-895A-33EC9DCDC14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$0852DB1F-2283-4534-9BDB-E13B39462386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c642425eb847a12bebd44bf584cb492e171406a","datavalue":{"value":{"entity-type":"item","numeric-id":4493880,"id":"Q4493880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$BDE0B3E2-4DB6-4640-AEF4-BFD140735138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$FB7DA81F-7F14-44B3-8F69-407B7CEEC0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e9fc6df345e0144085d6b98086e6e47614988","datavalue":{"value":{"entity-type":"item","numeric-id":3559788,"id":"Q3559788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903518$A2A111D0-F540-46FA-BC23-D780D97149A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1350ab13ad666461636aa831ba8410c7a0dd910","datavalue":{"value":"10.1007/S00165-014-0325-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903518$34B94C43-61BC-46FE-B898-3DD302825DAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e43a7d46e7f41a4771050849d96be1651fb6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1938357,"id":"Q1938357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22de3de0ff8f2f34e945b5bfa93f08b8a3e17418","datavalue":{"value":{"amount":"+0.7682229280471802","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":"Q903518$9124A1D6-8D94-4295-8331-07847E76B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ca7f74c671f327390e0b8942a377a5d184e8e2","datavalue":{"value":{"entity-type":"item","numeric-id":555302,"id":"Q555302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97efcc5b3f0cbba7e9a6ffb1a9c6a5e18973d58a","datavalue":{"value":{"amount":"+0.7555487155914307","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":"Q903518$15A5FF92-6AAF-457C-87BB-5CB01F9EA93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b95f69560dc81eaf6e323e898ecd802495a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":3648709,"id":"Q3648709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efc25493d55ad92bd160f5f40358e0e255428da","datavalue":{"value":{"amount":"+0.7322835922241211","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":"Q903518$069F8B98-2AF8-4854-B063-7B06185E7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a4a503298743b084b664847f3d8b3154cd6d12","datavalue":{"value":{"amount":"+0.7184653878211975","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":"Q903518$3CC88B45-4C4F-4DCE-9D7A-2DD6E20F1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706132c4f847fe146974b37aff86c988ea9b6fab","datavalue":{"value":{"entity-type":"item","numeric-id":5458792,"id":"Q5458792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba14c4921060cd13e28adc4b14030c5946725355","datavalue":{"value":{"amount":"+0.7177332639694214","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":"Q903518$E6ACAC93-6BDB-4C52-A592-AC92230509A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:903518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:903518"}}}}}