{"entities":{"Q1003766":{"pageid":1005614,"ns":120,"title":"Item:Q1003766","lastrevid":66557028,"modified":"2026-04-12T10:55:06Z","type":"item","id":"Q1003766","labels":{"en":{"language":"en","value":"Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523221"}},"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":"Q1003766$FF9C77EB-73F9-4D43-BBB7-36AEE921336A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d52650e4563f701f66c140d74d426518f3de5a0a","datavalue":{"value":{"text":"Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1003766$CEA697A0-520B-4C63-B723-574518D5B376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c86ddd08972419fe943976bb408e61263ac5d913","datavalue":{"value":"1154.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$E19D8C7B-9113-497A-8FD9-A9A8F1EE62C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4afedcaf612527e3b5f7e00600076abc47005f59","datavalue":{"value":{"entity-type":"item","numeric-id":1003764,"id":"Q1003764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$46D1BA0E-0F97-49E4-A0F9-5244B5009766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77686dde521a7ad223e0cc4ac2fe91a37c17463e","datavalue":{"value":{"entity-type":"item","numeric-id":1003765,"id":"Q1003765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$47981B6D-9568-4CB8-92CE-F47A83ECC002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$E5FE9002-A9C6-4F73-A52A-3FDBDB4D0ACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3434863a4c3842a9ef45eb54b7cfeda15cdee482","datavalue":{"value":{"time":"+2009-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1003766$9AC0EE99-DF81-4BD5-A335-EA703BD00651","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$DD23EDC2-6AD5-4775-8DB1-98F681B459AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$F7035457-92B5-4489-B40C-51E2859CB1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$AE664BDC-D1DB-482C-855E-A77565850ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$0E16A1EE-4194-4508-B5C3-FEE173D7FB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$3A46731C-444F-4698-AFE4-3FFF4197E224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"781dddd925c5a0d36d7b60ba57fa9fd0ba7f9073","datavalue":{"value":"5523221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$1704BB29-8050-4A7B-B478-606B2F622D51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8de4bdd2ed97e32f98623b08f91641b50a07ef","datavalue":{"value":"self-stabilizing algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003766$E4EECBAC-E2BB-4A1B-87AA-68A32290EAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971fe2895bae2a51e52612ff265d7496f3bd3165","datavalue":{"value":"shortest path algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003766$5D4A4EA0-8821-4473-9BCD-3EAAA14AB300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a04fefb5f2da3193ad93d59a1241c3e57fcb516c","datavalue":{"value":"center-finding algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003766$2DFA5BE7-02BE-4415-9789-0285B03ED1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482f3d7c23c577abb9eeefda3a28ed23c00255a4","datavalue":{"value":"distributed daemon model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003766$452404EA-2388-480F-BA64-D49081E21297","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":"Q1003766$460011FA-7B31-45C5-9A03-A58043A01E5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dff0d1918cc269626730b420d8594e21914340ab","datavalue":{"value":"https://doi.org/10.1016/j.dam.2008.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1003766$997FF9E5-7DEF-48DF-A1E2-1821783A4C42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4531aaa0611770aa415bb12da93c47b8628690e","datavalue":{"value":"W2062581855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$DAC17708-0B8F-47AD-A450-44DA8B2E9FED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$AE13FCD1-64C3-48BB-B053-06F32541367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a4938c9a695ee88cac25b8cb08a78ee7fd2568","datavalue":{"value":{"entity-type":"item","numeric-id":1954231,"id":"Q1954231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$4D68F630-5200-4293-968D-DFF721D16612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d65da7dd4746905534ddd17a7e438e17375d066","datavalue":{"value":{"entity-type":"item","numeric-id":4483914,"id":"Q4483914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$E09C17F8-1FE3-4BD3-A8CE-F6DFAD14B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791f3f4998bab1c6f23a9cd9ed03ec59ebe6e721","datavalue":{"value":{"entity-type":"item","numeric-id":1954228,"id":"Q1954228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$2FEE94D4-92B6-4C02-A9FB-347C444B2DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab973afdac4a5aa85a2fb484bfdcf030a891e217","datavalue":{"value":{"entity-type":"item","numeric-id":815255,"id":"Q815255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$102BBD25-9346-447A-950A-8FBA1052CDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0be3cb2a3ebb8e20ab0a3188cab8a0ecf1e408","datavalue":{"value":{"entity-type":"item","numeric-id":5375479,"id":"Q5375479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$1C1B5606-0EBA-435F-8716-E577966B6B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b322f0d83d691f19605840771412c5cb2b88df24","datavalue":{"value":{"entity-type":"item","numeric-id":4820041,"id":"Q4820041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$44FD0B1E-6676-44DA-82E8-5460027FC12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05025c73941b533b9eea25e8c8bfd3b1ed691dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4943757,"id":"Q4943757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$17AF35E3-43BB-49AA-AD68-7B8B26841F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99eeac77643e896469d2c72f397216a7c690e7b","datavalue":{"value":{"entity-type":"item","numeric-id":1186586,"id":"Q1186586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$4932C5F9-C021-49C3-8590-BB5A7E381022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad54a259a54e00c02a2a30bb1f61eb47129a54da","datavalue":{"value":{"entity-type":"item","numeric-id":1310562,"id":"Q1310562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$D35DF38F-B681-4DD4-A9ED-738F626FDF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c62e737ea416e6f2e29a8b81ce0e95d48de29f","datavalue":{"value":{"entity-type":"item","numeric-id":2486565,"id":"Q2486565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$E4AEDB57-B9F6-4543-AB21-FF833234F948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8a69a962f49e1f93df915dc7b121fa865be41d","datavalue":{"value":{"entity-type":"item","numeric-id":1954198,"id":"Q1954198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$71EDB596-69E2-402D-A7D3-E6EED8907002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b908155c0bdce140e1f3c45c552bba63fd31a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1609042,"id":"Q1609042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$F806E9EE-9BFA-49A2-8945-93F58CFEC3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4500893999fcba94c901538c5addc789f6577b","datavalue":{"value":{"entity-type":"item","numeric-id":1779602,"id":"Q1779602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$D9BEB690-083C-4D4A-904C-0B2F7B340F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02264d5ffdee50219b903ea31c4440a6a214ae3d","datavalue":{"value":{"entity-type":"item","numeric-id":4692391,"id":"Q4692391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003766$97989356-F3C0-46C8-BA6D-0B9388980AE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1de3eac2e53540073374b476ea939e193a3edc45","datavalue":{"value":"10.1016/J.DAM.2008.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003766$29E6051D-1728-40DB-8368-530739AAB982","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a165b4548c68111f68dd778b421159e156b5ca","datavalue":{"value":{"entity-type":"item","numeric-id":1609042,"id":"Q1609042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27a847d5f8499639bc8b3d4da4090b84803e6e0","datavalue":{"value":{"amount":"+0.8164069056510925","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":"Q1003766$2BAEB024-B93C-4EF2-ABE3-5B670F2A1136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e531471eba6d3dd6da8d5041ae15ed230b48c2","datavalue":{"value":{"entity-type":"item","numeric-id":4914443,"id":"Q4914443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f6be9767b2f0f3b8fcaa7e37e4651cd479d990","datavalue":{"value":{"amount":"+0.8020029067993164","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":"Q1003766$4793663C-B7DF-478C-A259-146228ED982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bf7b656d904a6296d4784a921edd816bf53f28","datavalue":{"value":{"entity-type":"item","numeric-id":815255,"id":"Q815255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f3c6f410687fe994521ddd37a808be097117b0","datavalue":{"value":{"amount":"+0.7826483845710754","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":"Q1003766$C5055128-34AD-4B2D-82DF-26FDCB6973F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742c5c7c06c56f013f3e8fa8bb9098ac33a65f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4446600,"id":"Q4446600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40eeca707efc676fcad50c3b6612805e89b49573","datavalue":{"value":{"amount":"+0.7712830901145935","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":"Q1003766$89545343-0121-43E6-B1AB-D57EF39EDB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1780699c64e7f2285377177ad801e68f066a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2015142,"id":"Q2015142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac44762159ed851d8fc99d6b2b83ba46e2f9e6a5","datavalue":{"value":{"amount":"+0.7627010345458984","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":"Q1003766$B0C8936D-0AB8-4F39-BA62-0D477173D841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Short_correctness_proofs_for_two_self-stabilizing_algorithms_under_the_distributed_daemon_model"}}}}}