{"entities":{"Q5445768":{"pageid":7475327,"ns":120,"title":"Item:Q5445768","lastrevid":55852492,"modified":"2026-02-20T12:37:55Z","type":"item","id":"Q5445768","labels":{"en":{"language":"en","value":"Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5243328"}},"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":"Q5445768$C3C6B420-86C1-4748-86E9-2AD2B1B05496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a85c046abf140824c76a6ec4996e1407fe25b014","datavalue":{"value":{"text":"Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5445768$51FB4343-721D-431C-94F0-47417A6E47E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff46154f13aaf9b925cf74d97135599ab8c51b45","datavalue":{"value":"1131.68588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$8B66E524-222C-4CF6-B197-68434CA4D72C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee62f7557204ad17c116fe2505c4843387ee9514","datavalue":{"value":"10.1007/978-3-540-77444-0_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$2E0B6304-A92D-44EB-9E7F-DCAAEF9AAD7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e97a32aa0cedf6471e9723cd9e467842755da14","datavalue":{"value":{"entity-type":"item","numeric-id":4602376,"id":"Q4602376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445768$779CDDB4-0446-4561-AFDE-2016CC8A03BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf5b959fd9623f6e4d26d1880422d6de3e45a30","datavalue":{"value":{"entity-type":"item","numeric-id":879962,"id":"Q879962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445768$232C0098-1BFA-4EC8-8C80-C6CF150CE3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab64592fb12a8b737bc8b4d8cb62b5218c443fe","datavalue":{"value":{"entity-type":"item","numeric-id":510998,"id":"Q510998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445768$1D9C9CC8-CAE9-496C-8A37-BBADBF6FAA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf229cc2036fee32db76bcaea0b50aa698cdab2","datavalue":{"value":{"entity-type":"item","numeric-id":553659,"id":"Q553659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445768$2B39F3B3-3233-4CE5-B9C1-900661A45AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"897a13777edf24543009f31d31f396eef3d0f211","datavalue":{"value":{"entity-type":"item","numeric-id":690236,"id":"Q690236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445768$058F6D25-0150-4051-BD19-60398276459E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe66dc83f18f2c509de72e47ca33e56e90636618","datavalue":{"value":{"entity-type":"item","numeric-id":3406475,"id":"Q3406475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445768$3394000B-FCDC-4C97-BD7F-0EFE1CA94DAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-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":"Q5445768$59A3541E-E9B0-45B4-AC7E-B7C7E83CD9D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$0ACB365D-8D69-47A2-BFCA-4C3CE89F6ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$FF333945-ED24-46B0-B388-27F850848D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$A636E1BA-FCAA-4E31-A28B-F30307C07606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d34216d8187098b2e1bec9837887e3a35b3cb5","datavalue":{"value":"5243328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$C6D4F3D7-956D-4A17-B3A6-D6492C5C8F74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3276933d1a0a9ceb8ecc762d4e4b251637260ed3","datavalue":{"value":"mobile agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5445768$EC20529D-43DC-4F55-969E-D37AC759C66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849b7a0d6519fee636943d9bde0b8b557d98cf60","datavalue":{"value":"spanning tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5445768$4AE40F78-1E29-49F2-9D6C-778A669B25B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5445768$21B3DB24-D8A0-4387-9FB0-13B9DE932E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5445768$4AD20176-755F-4F2A-A2AC-1D59377698D3","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":"Q5445768$A8429DBC-2C54-401A-BC0D-F482246D8C93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2703ee7db657a719c6df6764c9692205354e10b4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77444-0_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5445768$E8BEA700-4D86-4DEA-99BA-23F7D82549B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ead88ede321a93fa2f123a453d5fef78193989a","datavalue":{"value":"W1514842863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445768$FD5728CA-43D3-4977-85A5-B04F31FDEBD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6170d59fd3ebd957094ce96edd636d77b50978a4","datavalue":{"value":{"entity-type":"item","numeric-id":4602377,"id":"Q4602377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8b42bbbb658099ba236f362d8480744e725788","datavalue":{"value":{"amount":"+0.8764807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$72FF89B1-B92A-4B76-8FA9-8F262C453158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d1fa46c259dacc8e1a0bd1547c1da557d6aea1","datavalue":{"value":{"entity-type":"item","numeric-id":2303305,"id":"Q2303305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a312e6973fa2b9849bb74423515cb521d20d542","datavalue":{"value":{"amount":"+0.8538613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$B3295D7B-4077-489D-9A93-DB1DE904C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dc3a3729ca9907a6505a5ba9d786124ed1e50a","datavalue":{"value":{"entity-type":"item","numeric-id":5496155,"id":"Q5496155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0596ca42c1c8bd016ddeab8cba1d4153fd931ea6","datavalue":{"value":{"amount":"+0.85303354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$354B0F81-DDEA-40A4-951D-490AD4CC6C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f085dda88174f34ed68b786497e7af2a746de8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1951563,"id":"Q1951563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b1b194233cef496f558bd418c8e8f0774d38f9","datavalue":{"value":{"amount":"+0.85250545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$9C422390-2BE2-420B-A9E6-1A3D47CA09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17197a407b5b7a47c6b46d2d4ac390563ed58ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1125687,"id":"Q1125687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a03aa5f560317835dd5ae9b7277e61a5858bd4","datavalue":{"value":{"amount":"+0.8515253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$B0B1295C-B3A7-4CEF-8441-F49CE11EAD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fddb1fc3e0d1f90214a5f86cfce2c220b7e73b6","datavalue":{"value":{"entity-type":"item","numeric-id":5177261,"id":"Q5177261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ba7b8f0a2639460b54a825358c961a4d96a0ca","datavalue":{"value":{"amount":"+0.84743905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$BFF4AEBF-FE07-4DD1-B3F5-D1B4CAE7A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b451b1cad93e7be7832d94a1d473c33872dd7a8e","datavalue":{"value":{"entity-type":"item","numeric-id":1954247,"id":"Q1954247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ba7b8f0a2639460b54a825358c961a4d96a0ca","datavalue":{"value":{"amount":"+0.84743905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$FFD580FD-5EF4-43E1-A84B-3BEA0EE20AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d846029e43a560a1dc38013b0bb042ddf2152ade","datavalue":{"value":{"entity-type":"item","numeric-id":5347617,"id":"Q5347617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8b23cc66069a88923602f4bfd48cf9648dadc1","datavalue":{"value":{"amount":"+0.8458861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5445768$63B15C44-7EC1-4BE7-808A-1D4E3F582611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5445768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5445768"}}}}}