{"entities":{"Q1090102":{"pageid":1100854,"ns":120,"title":"Item:Q1090102","lastrevid":66912147,"modified":"2026-04-12T13:41:33Z","type":"item","id":"Q1090102","labels":{"en":{"language":"en","value":"Algebraic specification and proof of a distributed recovery algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007702"}},"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":"Q1090102$13D7C196-661D-402B-A76E-42E16AC488B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"110fae6dced81a1249974e6b63d2afee7a8ac3a9","datavalue":{"value":{"text":"Algebraic specification and proof of a distributed recovery algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090102$73ADD259-A2DB-473E-A43B-7998DF7C1A0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3711a70640a88262d9707ec594939ce85604c357","datavalue":{"value":"0621.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090102$8F1B172C-E8EF-48A5-A2BF-1B2478FE2F20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee62dfe6937c5a2b489161aec493ad59995a30f5","datavalue":{"value":"10.1007/BF01786251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090102$46B7D72D-6E6C-4D9D-BD09-773FBEA7121F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$01491665-21FD-49A2-A749-A06671E50706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$7F170A32-711D-4383-B05D-E150885DCD53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$74E55461-5A92-4B18-A145-1EC22E240170","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":"Q1090102$2E5B2E98-6473-4B9E-8377-D4ECC0791565","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d490ad3fa32db6a2024319e345b5e64fba3ee9b","datavalue":{"value":"An algebraic specification is given of an algorithm for recovery from catastrophe by a deterministic process. A second version of the algorithm also includes check-points. The algorithms are formulated in the notations of ''Communicating Sequential Processes'' [\\textit{C. A. R. Hoare}, Prentice-Hall (Englewood Cliffs 1985)] and the proofs of correctness are conducted wholly by application of algebraic laws (together with the unique fixed point theorem).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090102$CAAD1738-096B-4832-B1BA-8491D15ABF9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090102$C1877CCD-81B6-489B-9416-13FACFDB6E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090102$56AC75DF-A611-4F65-B2B2-BDAA530EB876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090102$7FEA28D4-E844-4721-A743-52B6DEC0A65A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59114fb0af6c4caa67991b8e6bf4da17c11ba5ef","datavalue":{"value":"4007702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090102$EBB20A58-C373-4D2B-8CD6-09D2C9A70F8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353778e5c72069169f8ad192fa6b71ea4a6f756d","datavalue":{"value":"deterministic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090102$499E409D-59AD-4C49-9DE4-E199B59C4612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5fb1bdfc951cfb2c2bc15ec3fc490a109ba78a3","datavalue":{"value":"Communicating Sequential Processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090102$137F3A2F-1A7B-43CC-907F-64F125FB6E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b649c4f0a78b7333753db80ef381b4ee309bc7","datavalue":{"value":"proofs of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090102$2D72B2D5-5959-43E3-BAEE-709C8D776A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090102$EEBF3783-6B37-443B-A9E8-28949E8FF47A","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":"Q1090102$0D9C98F5-1030-4902-BD5D-B6612E4F2D8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$EA302E31-1F17-4EC1-9D43-FE31AAC8175F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$62074F32-7694-432C-BBF4-038712F44AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$577B0979-C8D5-4838-91E9-C1A7FB5A0287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090102$56289670-4AB3-42D2-9BB0-F5BDAF964091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bbcb1cf4269970130869335363cd37d9d7b637","datavalue":{"value":{"amount":"+0.768304169178009","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":"Q1090102$EF86E941-03F8-4E39-A98D-F003A1B03074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca447557644522bee74eda6e797ace98cd365449","datavalue":{"value":{"amount":"+0.7332046031951904","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":"Q1090102$7A70F092-8AE2-48BB-BA0E-23A999ACF64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d378e1805c8c46cb33647ac243102cfbcdcb0dba","datavalue":{"value":{"amount":"+0.7281538844108582","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":"Q1090102$2EC85020-3392-4014-A507-39A12F0CB9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d098159c142109e84d5ec409c6b33be493ff18","datavalue":{"value":{"entity-type":"item","numeric-id":1575270,"id":"Q1575270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d16527cf73f3042cde783c827beffe27d9944ae","datavalue":{"value":{"amount":"+0.7274308204650879","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":"Q1090102$E54BE9D8-8F19-4BB9-976E-9C7A718A4C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de8c3235af9d014d4e1d014886dc2dd214d21a8","datavalue":{"value":{"entity-type":"item","numeric-id":5262962,"id":"Q5262962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141f2179751085c98eaf7e558d897175cda818bd","datavalue":{"value":{"amount":"+0.7271883487701416","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":"Q1090102$5666BBE2-2EF8-40E5-B14B-436D4D873A5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic specification and proof of a distributed recovery algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_specification_and_proof_of_a_distributed_recovery_algorithm"}}}}}