{"entities":{"Q3460424":{"pageid":5239824,"ns":120,"title":"Item:Q3460424","lastrevid":87230183,"modified":"2026-06-04T11:09:34Z","type":"item","id":"Q3460424","labels":{"en":{"language":"en","value":"A program logic for verifying secure routing protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527411"}},"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":"Q3460424$EA945174-B286-4210-87B5-9141BACFE0B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc0c6bd224181b49d0e81ee12c69c4cb0459d4f3","datavalue":{"value":{"text":"A Program Logic for Verifying Secure Routing Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460424$C78C78B7-2170-44BC-AEAE-850F94DFA76F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56fc05b09da917d84ec7e2a9639f4aee49834f59","datavalue":{"value":"1448.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$2FFBDCC0-2D07-4061-8475-478B37581F4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db68fa3614c5875564c1c86bc4c319fc1d7794f7","datavalue":{"value":"10.2168/LMCS-11(4:19)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$1A9EB57B-D6A4-4E37-AF6E-A613CA559E72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"211720ad66a7724362186a668c54356bdb5970f7","datavalue":{"value":{"entity-type":"item","numeric-id":303041,"id":"Q303041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$041F4400-E56D-4108-9831-2B73D03D3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f53bc214c4118e2226c58a4920027dbb2a4854e","datavalue":{"value":{"entity-type":"item","numeric-id":277713,"id":"Q277713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$794EE9AB-55A0-4BCB-A20E-1A154A372750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5035f6fa868774329a8618925e54b0ea8a135f41","datavalue":{"value":{"entity-type":"item","numeric-id":280744,"id":"Q280744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$B9992A24-E67C-4A56-8FA5-315457740F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"736008699a6e3496e059f7bbd90d314ff08d9810","datavalue":{"value":{"entity-type":"item","numeric-id":191446,"id":"Q191446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$CC9EE5DA-281D-4596-9DED-32A060329092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbe93689db530cbed02487128fa080ec4e1a048d","datavalue":{"value":{"entity-type":"item","numeric-id":2872497,"id":"Q2872497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$CFDCD2BD-172E-4156-8AFD-1654781CC496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf9567099e85cf5ae85409483f2d2a50ff02aef8","datavalue":{"value":{"entity-type":"item","numeric-id":456470,"id":"Q456470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$C885E96E-6EB5-4D84-A54F-B93B3D2E0E47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$094E5E16-1ADE-4722-A4D2-FD86AECF0D6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-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":"Q3460424$E27D70FD-98BE-47B5-BFF3-C9B5F3BF91EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e083ab088620cf92552ed3cf2a3072bf44b7be75","datavalue":{"value":"https://arxiv.org/abs/1510.03531","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460424$F994CA52-EEBC-4CED-9D49-19BBC54850C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$DF0B9829-A71F-4357-97F3-2F2EA4E27139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$B057C2B2-9716-4243-A78C-81008349AD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$A79DE417-A2A9-41FC-B66E-66D32815212B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$8B2BD029-9CA0-4AAA-A3E8-DFF8B39F5F5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54117123fa739bd3cb73a5706e7170834911f1d3","datavalue":{"value":"6527411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$A87BA4D4-4E99-4E5A-94A0-C6FC4AC4C4D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4661f681331aea1c83a9bed63614cac4741242","datavalue":{"value":"declarative networking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460424$993240FC-5A07-400C-90A5-59667C4C3D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460424$93F13C38-C8B3-44A3-B8A4-827C21468017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a8a83781948f302bc2e1da23842876bd5d54","datavalue":{"value":"routing protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460424$3331FE9F-A6A4-410B-A6EC-C22D95CB4F25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$C87F84BD-47DE-4B52-9259-7209950BE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$242594DB-0657-4019-8D64-323C5BB7D1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74229602b164cce5aa41987e1478fd4da6fa7d2a","datavalue":{"value":{"entity-type":"item","numeric-id":25708,"id":"Q25708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460424$D15A7BA4-62B4-4E6B-9986-B1622745DE2E","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":"Q3460424$E88B9672-FFAA-4992-9ED5-EC0734EC10D6","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":"Q3460424$76DFB9EA-95D2-4749-8147-DAF583776109","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a17bf415fc5858d414bfa0ab6af1b7a1862d9e2b","datavalue":{"value":"W2762861109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460424$9476F23D-5B2B-469F-B439-95422F917695","rank":"normal"}],"P1643":[{"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":"6391d8cd06d5cff9a7bf3a194d1effe057d410c8","datavalue":{"value":{"amount":"+0.7380587458610535","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":"Q3460424$646EDB2E-3A50-434F-AD8C-0B20290331D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e53843d9272ebb1e46ca38aaa9efdff13291144","datavalue":{"value":{"entity-type":"item","numeric-id":3460047,"id":"Q3460047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61886b84c6c0888eadd7b564490ceeb12eedbf9e","datavalue":{"value":{"amount":"+0.7306199073791504","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":"Q3460424$ED151B46-5E76-44E2-9ADF-94AA1FC4A15C","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":"a2dd4bd4bc4b2a628b08d8822e5051f221b5ebae","datavalue":{"value":{"amount":"+0.7182775139808655","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":"Q3460424$28EA89D6-D0EE-46B1-8A31-6CB611D14521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf1ace497aec59ddcab44f9e827dc94726714d1","datavalue":{"value":{"entity-type":"item","numeric-id":3639767,"id":"Q3639767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b746848d27e6e94fa0e74654187928e41750d4b4","datavalue":{"value":{"amount":"+0.717200517654419","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":"Q3460424$F18A61A2-AE02-4AF3-85E0-E76A9843FCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e851cb4ec4cd59224610a6733ec5fe9e51e7a387","datavalue":{"value":{"entity-type":"item","numeric-id":4707750,"id":"Q4707750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391627071312f7832084666c2794bf8aa847d3b1","datavalue":{"value":{"amount":"+0.7114191651344299","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":"Q3460424$C931569C-5031-4972-B5FA-7D5BD5470944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A program logic for verifying secure routing protocols","badges":[]}}}}}