{"entities":{"Q2787447":{"pageid":2798185,"ns":120,"title":"Item:Q2787447","lastrevid":44691210,"modified":"2025-11-25T02:48:49Z","type":"item","id":"Q2787447","labels":{"en":{"language":"en","value":"Specifying and Analyzing the Kademlia Protocol in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545745"}},"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":"Q2787447$4024FF1A-ED35-46FB-BDAB-BC6CA61275E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5469bbe49114602b8471bdc54b8077d3b61f7717","datavalue":{"value":{"text":"Specifying and Analyzing the Kademlia Protocol in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787447$0F53A7FC-0DB6-477A-80E6-9CE76B1378EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7527962aba2a675d45990bebf08b087195c5ecd2","datavalue":{"value":"1471.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$740DC7F0-323C-4EE9-8096-3197444F1241","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"503cc3c2117b2618252c4b19a4529195bfd80278","datavalue":{"value":"10.1007/978-3-319-25150-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$3FD3B27F-82F8-4496-ACA8-A01CAD4FA316","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b21888a8ac048de8b4c4dfa1b049a7bf144cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1402472,"id":"Q1402472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787447$C087BA1F-427C-4FCD-8CF8-E440513D9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787447$614D4080-8FEF-4C98-8102-7C78E3557DE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29f4257b03367012cbb1c618842dfbd25e3bc715","datavalue":{"value":{"entity-type":"item","numeric-id":2787411,"id":"Q2787411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787447$52F14B8E-C244-4A48-8D88-70442C573BD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787447$D231E86A-8922-48B8-944E-342669F49A39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$4E417AEB-112E-4231-AE84-B080F7C47C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$621C3792-8F8C-462C-B0CB-3776A1FF68E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$B85FAE84-8EF9-4DFE-8EC8-5AC6CFDBE5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$CD4000F2-692E-49E8-83FD-F19F0CCE7A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$6FD32623-C9EB-427D-A2AB-770A5B959D9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54649772dc39e13fa4e1fa370e8f94b95d9ebde4","datavalue":{"value":"6545745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$5B5927D0-BEF2-47FF-8886-DB5E7E9DDDA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263f2d15a12f2ec6af187dffd628b6d8ccd7a4db","datavalue":{"value":"Kademlia","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787447$DC81E397-AD15-41B9-BEA6-5B6A04E4D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c836e5b65adb8f8c12caeb1c34d96776b770a0c","datavalue":{"value":"distributed specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787447$4C721B37-BFD4-4279-BB35-3F648C3AEEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787447$E141D5D6-264D-4F91-9285-6449937287D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787447$CFF4F7DC-3D67-4097-AE32-2B279DC79835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4f478311fbc11a176f58463d885f568967d8097","datavalue":{"value":"Real-Time Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787447$24B0140E-048E-4621-BC99-0C20E3C4D05F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2c33fd0324fc58c786bd31d3ed8f1bfe6b0abd8","datavalue":{"value":"Q124261224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$FFF6AB65-F6B5-435B-AC35-C172E779D869","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":"Q2787447$15167071-404C-44BD-8DE9-0FEA6BDC7F72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6ed44d46bebc5b227a4c0221fbe7459ddfe153d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25150-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787447$B609AB3A-A26C-41B3-895D-A4158FAE67D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80f3da80b7581f13fc25a8a1b654c1d411f640aa","datavalue":{"value":"W2295983285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787447$D620DFD1-A244-4939-A7F4-6B1D396D69A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0e2ca94935c9f80621896f199b48e9a570b6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2703704,"id":"Q2703704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539fffdc140d2eaa3546d65f5a843c1cb002a322","datavalue":{"value":{"amount":"+0.9023857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$38329E30-FFE6-4F19-9FD5-03C14C28B746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48283f36544c0cb469fb11b17cd254bd61f1ab5f","datavalue":{"value":{"entity-type":"item","numeric-id":2848886,"id":"Q2848886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7145e7b5ba5fde9d9cdddc908ea0993a11869ec","datavalue":{"value":{"amount":"+0.8936055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$F6156A17-5968-4EBF-BC97-DC35DA0D3F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a64265cb6ec5314a2f664b5ed21fa8fd8262c7","datavalue":{"value":{"entity-type":"item","numeric-id":4508933,"id":"Q4508933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042492ef345a5cbc0e003bfebdf7476359a08451","datavalue":{"value":{"amount":"+0.88023126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$07A678AF-7AC3-44FC-9E26-7746B9A2C9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec343a46313e3cd1af8bbe3bcec9e844ad59de9","datavalue":{"value":{"entity-type":"item","numeric-id":2989001,"id":"Q2989001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a146c49f2946b96e5100fcedfd9a20a6e46e6e","datavalue":{"value":{"amount":"+0.838682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$8CCB529D-4917-4BB9-AEC6-C1964C183FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b361b133615253b0689243e6ce2e369c78c7e0","datavalue":{"value":{"entity-type":"item","numeric-id":4933288,"id":"Q4933288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8312bd7ad08689f2c5a16b5da0686a1393f36f8","datavalue":{"value":{"amount":"+0.83340657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$7F613864-1CFC-47C0-B2ED-04AD2EC9971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0aef46c0fd839ab2ded7d4ac639e97f48cb7f1f","datavalue":{"value":{"entity-type":"item","numeric-id":862853,"id":"Q862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c389ffe4e5cbcd799ce5b9c407d6d6cfb09bed4","datavalue":{"value":{"amount":"+0.8326922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$50EB8AEA-804A-4E9F-93EA-951E0EE92AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6afeb225de387cd850ee506eb1f2f37d6519e92","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c389ffe4e5cbcd799ce5b9c407d6d6cfb09bed4","datavalue":{"value":{"amount":"+0.8326922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2787447$2E944853-C54B-422A-A681-26236665DB77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2787447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2787447"}}}}}