{"entities":{"Q672972":{"pageid":674821,"ns":120,"title":"Item:Q672972","lastrevid":63467637,"modified":"2026-04-11T13:21:32Z","type":"item","id":"Q672972","labels":{"en":{"language":"en","value":"A simplified proof for a self-stabilizing protocol: A Game of Cards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985292"}},"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":"Q672972$69A4A2C3-CC2A-4008-8344-C513C815FD5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cdb8b6220d04d582cc556043a62ccbbbe363b51","datavalue":{"value":{"text":"A simplified proof for a self-stabilizing protocol: A Game of Cards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672972$330CC3C0-D623-432B-B6AE-CB27783B21D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66bb3dd96cfc478f96fdcdd8809083a40c75b41c","datavalue":{"value":"1004.68506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$5F1E7D93-36CD-46B9-9387-D03AFABF56E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bce60367539b0af93809dbd2e461ff0068cbda8f","datavalue":{"value":"10.1016/0020-0190(95)00065-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$9CF6440B-3D40-4CEF-9073-2E1D67A59DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b118e1d3cd5efbea6f6ab33e660d831d45ef0c","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672972$47B29FFC-B5C0-476C-A437-B9E9D9ECBB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7e622b24ad02befeb4046612fade89b392cebb","datavalue":{"value":{"entity-type":"item","numeric-id":590540,"id":"Q590540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672972$099DCDA0-D947-49A6-B286-27548A824E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00eb64f1a621ee3e61b3b598e85a67b693e4ec35","datavalue":{"value":{"entity-type":"item","numeric-id":672971,"id":"Q672971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672972$D455E681-C5AB-435B-A9F8-364A7DE911E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8d8afcab197f2e81a4754104ccb75982d4dab7","datavalue":{"value":{"entity-type":"item","numeric-id":287027,"id":"Q287027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672972$EAE39D20-DF1B-4C86-BAFD-8A33C32857EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672972$A9A3000A-529D-4AAF-84C9-4F5E4289F3F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672972$A72398C7-1FDC-4565-90D0-85BB65D6C76E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$7AF9C4B5-F806-45DF-B471-F42F974E2FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$F7909699-A00C-4224-A2F6-7A2024EF7E8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ecc58ef9dd47bed75bbefe16145113cc5be4e87","datavalue":{"value":"985292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$B886F60F-BAD5-4017-B179-3929BCD24677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672972$71C18AFF-9155-46F5-8542-6A4EBA9D55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3ca4a6cbd279b42e521c34520e7efdd1df0b39","datavalue":{"value":"termination proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q672972$7E05C6B9-6FA4-44BF-B13D-843974C60D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q672972$247C5484-D1EC-421E-8931-290A0491A16B","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":"Q672972$63B8B830-B87B-4BE5-8D42-3D73BD32C653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"181a76151dfc92c0067effafab9fbe437f4287b9","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00065-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q672972$29519996-A51B-49E8-AB86-B94A8100E584","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"521935e7b8fa76f7ff426cc8f4ca2a5d3a3679da","datavalue":{"value":"W2045684063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$ABCFE77B-ADAC-4503-A650-7F47C28B102C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d04b5825e0fadba9866cf4f7d83c6b03d9110b5f","datavalue":{"value":"Q128111003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672972$A406F544-5FB9-43B6-B1E3-762D61CEFF20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplified proof for a self-stabilizing protocol: A Game of Cards","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplified_proof_for_a_self-stabilizing_protocol:_A_Game_of_Cards"}}}}}