{"entities":{"Q3457779":{"pageid":5237179,"ns":120,"title":"Item:Q3457779","lastrevid":58191054,"modified":"2026-04-04T04:24:27Z","type":"item","id":"Q3457779","labels":{"en":{"language":"en","value":"A mechanized proof of loop freedom of the (untimed) AODV routing protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521665"}},"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":"Q3457779$FFDC9ADD-6BCF-4D3D-AD43-7FA133EDEC4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fbd6801a18f1236d430323a0df193d1cfa48163","datavalue":{"value":{"text":"A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457779$8796CACA-0D03-4D1A-A061-D7A49156340F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9bfc8b73efaedc8de905bd1b3c8f54400f0628d","datavalue":{"value":"1448.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457779$BBD13BA1-FFB4-456B-A70D-900351B51036","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdd86a7ddc894606fe1a9fe823012443214f7513","datavalue":{"value":"10.1007/978-3-319-11936-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457779$2FD468A0-95EB-450A-988A-B2796205BE2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1933122bc86d2597add2b8555d2985101b991054","datavalue":{"value":{"entity-type":"item","numeric-id":287370,"id":"Q287370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457779$5999DE43-A3A7-4552-BEC0-38D809EA5A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457779$20587F8F-CD57-4BA6-97AF-A365F2A6B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457779$54D12873-8BE8-4CC0-952C-32574FEB64B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457779$C0B0FBF5-17AA-4FA3-BD12-D4BF605F4F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457779$1825E446-10CB-4F36-A2CB-CF2D699FEFE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"839bdaffecb5808ad93d7afd649386cc7b9ead5c","datavalue":{"value":"https://arxiv.org/abs/1505.05646","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457779$CE328A97-3CB7-4CF3-8BB5-55CBE268736B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457779$3307AB0C-E6DC-424C-A149-5D94FF8EBF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457779$E6F8955B-E26D-43BC-8353-8B910F277636","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe50e76e6be159d345004ac6ccb9219d53c882fc","datavalue":{"value":"6521665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457779$2EEA7A7C-C8F9-4918-BDB0-29E2AC197AA9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c63186d439795e9737ebdabaad682f3dc8b47ef","datavalue":{"value":{"entity-type":"item","numeric-id":27099,"id":"Q27099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457779$746C3B13-92F5-4D9D-871F-C98820AFAC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457779$07053E79-DF25-4FEB-AFAD-0B6101626695","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":"Q3457779$E676B728-76A5-40A9-AFB5-0C239DF83E46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c4a543c76d28cfe42769a8b62bc3e61830cf982","datavalue":{"value":"W1504928881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457779$97E9B318-3C00-4632-A365-CE2CE7AE26A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b17b47bcd3c5985d966f6f6c1865e773afeb06d","datavalue":{"value":{"entity-type":"item","numeric-id":324632,"id":"Q324632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a5180d6c704824afd752070b14ec34aaee94f8","datavalue":{"value":{"amount":"+0.7554009556770325","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":"Q3457779$6234CBB7-143A-4818-8B3A-C266A92EC854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1be6688c7155420e8563500926518545b9c12b","datavalue":{"value":{"entity-type":"item","numeric-id":2056982,"id":"Q2056982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71c1dcde65b6667ff8c5cd61ff98dd938817234","datavalue":{"value":{"amount":"+0.7442935705184937","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":"Q3457779$4BB401F6-6421-48F8-A639-0727C0601663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd192d24e406f15e280fc135497cfe1a8ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":3455541,"id":"Q3455541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e0b9b10b47f4979507e5c022d4d1c9d9aa05ea","datavalue":{"value":{"amount":"+0.7402672171592712","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":"Q3457779$9C2D3C6A-29D8-437A-A86E-18BC4235DCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8d9e174eca38ca1807e9c28be234fc06636ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458318,"id":"Q5458318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc666760ad690ee16fde9bbdfbff1da20ea6299","datavalue":{"value":{"amount":"+0.7269339561462402","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":"Q3457779$EC7679EB-0770-4109-8961-7367257980EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ba04c86a979b4becfcf7f73c8926814a6349e7","datavalue":{"value":{"entity-type":"item","numeric-id":2892733,"id":"Q2892733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739d01ab71ae9a4a1780a7c0d26f971c8a801260","datavalue":{"value":{"amount":"+0.726324737071991","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":"Q3457779$6F35741A-4C5D-4EE8-8E6D-4538D01BFCCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457779"}}}}}