{"entities":{"Q3455541":{"pageid":5234941,"ns":120,"title":"Item:Q3455541","lastrevid":52408151,"modified":"2026-01-22T14:10:52Z","type":"item","id":"Q3455541","labels":{"en":{"language":"en","value":"Formal verification of standards for distance vector routing protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516591"}},"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":"Q3455541$DCABA2AA-8613-4F31-B892-8658BBF28675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8520d6fb2e03df6319d3ff2c1acc0ec43a0dd66","datavalue":{"value":{"text":"Formal verification of standards for distance vector routing protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455541$CAE86F38-0353-4E76-9E50-96C91124BC8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9253cc771471cfd5612db82fd5c55d712b4c667d","datavalue":{"value":"1326.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$CDC03EAF-880C-4D00-B40D-72F47FE01143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d2d6c0f9a61d6bf4ff6a0f09f5d84feb138fe8b","datavalue":{"value":"10.1145/581771.581775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$8509ED12-5065-4889-9016-2435BC822CBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$B2E3B443-FBEF-4D67-B3EE-45A87A2F7A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c550595960030613f3e70d05f4f7fdc742633085","datavalue":{"value":{"entity-type":"item","numeric-id":2754031,"id":"Q2754031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$A9AEF63A-F935-4B05-ABC7-6894419DEDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c4c7fa1f64a7258f2aa54d49357871694cd6a","datavalue":{"value":{"entity-type":"item","numeric-id":812047,"id":"Q812047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$F9847703-AFF6-4644-AE6F-0EB2083AAB57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$F6AF1B2E-DE07-4E35-9DEA-DD3A357ECC8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455541$EC022A1E-379A-47E7-A83B-8D56D0D27F1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$5E74F4EA-698C-4677-8942-853973FD7632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$29F163A2-3863-4194-8F56-AB2FF3EC3C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$1445692B-87EB-4AE6-AD64-C95F91D3A50F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d408c58b5f9fd033feb845be3d2e2b99ecc4a6e","datavalue":{"value":"6516591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$E4359001-3283-4D29-9B9D-FC4C9F4E5FF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2457f6ab1d88f762fb09f344c52b5aa0d5bbe7b","datavalue":{"value":"AODV","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$5C4AFAEC-06D0-4016-837E-0DB2F4E095A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$77ECFDF9-1C7D-450E-892E-7F527D39508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$CACBFBF1-83A6-46BC-97F6-D70ADE633B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f13faec75b1ef1e298c392dc20e37529b2d761d","datavalue":{"value":"RIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$8B84B4D4-E4F8-4573-8FD6-AE085428DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$7C35C793-830C-4B74-BB9C-0C474AE1A973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d250ae98ceaf4822f8573c67031730dc7c410f20","datavalue":{"value":"distance vector routing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$6286983C-A017-42F5-A4FC-9CC5162D099E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$4CF98082-34E9-481C-9A49-0D044BA25071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$14670C43-9E48-4945-A3C3-337F5D9CD75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011a83e809604a39881ec5a7376d7d8ee2ae9bb8","datavalue":{"value":"network standards","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$5F263572-0703-4149-9DFE-D7394B743BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a8a83781948f302bc2e1da23842876bd5d54","datavalue":{"value":"routing protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455541$77369750-3A82-4111-A0B3-91103BBDCAE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$DC9CD218-4F9B-407D-9369-D128413F5956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"696f112b890c500979606d59dbdcb375105eab27","datavalue":{"value":{"entity-type":"item","numeric-id":15523,"id":"Q15523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$7B221BCB-C0D5-4D57-BEAE-01AC8F826F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455541$0018A4A7-2206-453F-852C-42098DB74B65","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":"Q3455541$EB59BC32-D395-4AF1-AC31-9B8BFDF82018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b4fb9c4d9400d7d8a869132702cda4c2a88fd6d","datavalue":{"value":"https://doi.org/10.1145/581771.581775","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455541$7E90AA70-88AF-46D3-81AF-0CB56E05D7E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08efba8530bc05409c0d846a44f20d65b07516c","datavalue":{"value":"W2033871392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455541$827C5CDA-ABFE-4836-894C-41AC279FA725","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849177f2125488d175814df083016f2145dad120","datavalue":{"value":{"entity-type":"item","numeric-id":2754032,"id":"Q2754032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fbfa792e2546476d55a65226cd4d15074425c8","datavalue":{"value":{"amount":"+0.8411489129066467","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":"Q3455541$93895F42-17CD-4C08-8E2B-8F643A6C29C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652da2bc90612a531e2fe40a5126610d6cd8a5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5464480,"id":"Q5464480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c84e47d10c8cc7395775a8a6afa1556be4fd2d","datavalue":{"value":{"amount":"+0.7864971160888672","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":"Q3455541$59C5D994-31FC-4E95-A4C7-D2B345D4E9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae4f1c19ca2db14018f195d8e44bc7727b68d02","datavalue":{"value":{"entity-type":"item","numeric-id":3111974,"id":"Q3111974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93138e81b55ddb22b942608ebb1d19ae7da02631","datavalue":{"value":{"amount":"+0.751502275466919","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":"Q3455541$9F3F7547-29F2-47E1-AD3D-1C2EE331AA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4787302f64d345d8211421492af0c5ac3e95d0e9","datavalue":{"value":{"entity-type":"item","numeric-id":5314464,"id":"Q5314464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a71d97781bb463078ca9240aa6a75c1917b2966","datavalue":{"value":{"amount":"+0.7447894215583801","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":"Q3455541$33CC7A76-2D9A-4A92-8612-4B90A30781B4","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":"aaf832274e1e4a3c62211df99fe555526e8ae0f9","datavalue":{"value":{"amount":"+0.7408868074417114","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":"Q3455541$4F38EE2C-9AA7-4AFC-82FF-4C0771DF9C25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455541"}}}}}