{"entities":{"Q1757159":{"pageid":1767901,"ns":120,"title":"Item:Q1757159","lastrevid":53312105,"modified":"2026-01-24T17:12:28Z","type":"item","id":"Q1757159","labels":{"en":{"language":"en","value":"Proving properties of the Chord protocol using the ASM formalism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997186"}},"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":"Q1757159$F63FCB77-594E-41F3-9A2A-43D87363C76B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f58e13b858731ba282db7a30b0b80cb4d5ec0d3","datavalue":{"value":{"text":"Proving properties of the Chord protocol using the ASM formalism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1757159$8C121341-1EB0-4E6D-9398-E1EF8667EBA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4fbbbbcb391187bd80facf0dc8b82c9726cc84c","datavalue":{"value":"1410.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$2C23500E-9738-4F0A-A191-377210748DFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243fa58401b31cb4d26112d8c1eb628c5571af23","datavalue":{"value":{"entity-type":"item","numeric-id":1757157,"id":"Q1757157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$3156A05A-A738-4442-A798-07E4E6E143A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb99402fc1058c83de85bb5568fbdba51ae6e4f8","datavalue":{"value":{"entity-type":"item","numeric-id":1757158,"id":"Q1757158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$9FA067B9-1E8E-4C79-8377-77F53054D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$2FD8C24D-D7CF-4911-8560-FF85AD462C95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$018F610B-60E1-4786-A86A-7C45C7E699A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d408afc22be83843e13bf8755616ed0c1e5a6588","datavalue":{"value":{"time":"+2019-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1757159$704FB7DB-4702-4CB1-9591-FE50BCAA1014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$686487B6-30DD-4FE5-90A8-9B7EA6BBB4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$55999994-A53B-43F3-ABA1-F03BB97F6B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$13743E4A-BEDB-4216-AD24-D1A0CA4A2DAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6253208369130ed101f9509359ff96790ed4e16","datavalue":{"value":"6997186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$75225F2E-A0AB-4422-A051-5E5F58944359","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc3c155c0c2db282bde7ff11c140ce1972aa133","datavalue":{"value":"peer-to-peer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757159$19B6945F-2C6E-475B-8488-9AD3733CBAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c2694be02eab27937581603ba0b2c34999350c","datavalue":{"value":"Chord","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757159$3E362AFC-5C95-4A65-9BA4-18CFAE16B562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aab94f24f3bfac8c22b6733ca11a112c8ee208f","datavalue":{"value":"DHT-based overlay networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757159$79B74D28-84EA-4D8E-B256-EB6FEC849589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757159$93DAF5F5-0C90-4CDB-8EB6-4B84206961BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63e3a2a39c26b592116d274dd98b7d8593ec423","datavalue":{"value":"formal description","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757159$51B2B5D0-09EF-41FB-89F7-31B89A00CB63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c10c846bcd6196657717a4ef24ffa34e462c0a54","datavalue":{"value":{"entity-type":"item","numeric-id":22901,"id":"Q22901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$6A966F62-1E11-4603-9A70-E0ABC64B1CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0d39fbf4f445e1dad8796cee3262d9800053e55","datavalue":{"value":{"entity-type":"item","numeric-id":21417,"id":"Q21417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$354E4344-62B1-4A17-9A9F-15417A50926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22879b411bc620a0479de05d017c46006a1b51b7","datavalue":{"value":{"entity-type":"item","numeric-id":38779,"id":"Q38779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$B119B4AE-D57D-40F9-8869-4838C473D715","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":"Q1757159$887DEBA4-22D3-4535-98B1-757E8D25D801","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b735353631be8880a3380f1043eddeff0142ed92","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1757159$FC4DA763-314C-4F35-8F0E-D28A42C46C73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5978556b642e65bde7744680663d88a491ac073","datavalue":{"value":"W2898194082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$4810E57B-0437-4CD5-875F-A8FB8A8B8DBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71c663ad95db3737fee0e5f0e7b60b07daf4976","datavalue":{"value":{"entity-type":"item","numeric-id":4520535,"id":"Q4520535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$206C2791-33FA-4038-A865-6F19A6F4B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf3a9f5d5448c599af672dc180636133120640e","datavalue":{"value":{"entity-type":"item","numeric-id":4873992,"id":"Q4873992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$8190C52E-0456-49DE-AE29-99DC74DED680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$F2D1EE65-FFB2-4C53-91F0-BE110334F9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$C566D2F2-5CEC-4B19-8B23-8C08898689EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$93DEB8BC-ECF3-4815-803F-E0D038A38E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e244c7c7f4d02a9528c9d24f86f9497663488ab5","datavalue":{"value":{"entity-type":"item","numeric-id":880169,"id":"Q880169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$FE5B377A-423B-4D6D-80CC-0EB2AAE2917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964207947163df697921b68677dcfc980cec28c0","datavalue":{"value":{"entity-type":"item","numeric-id":4527033,"id":"Q4527033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$05D4D1D7-C147-4E94-AD93-1E3E43F06985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39a0dc8b9ca70915896aa63d07e0f03eae5060","datavalue":{"value":{"entity-type":"item","numeric-id":5170883,"id":"Q5170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$711ACD4A-5F49-4ED7-A9FA-C46FDA405772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4ebe514ebec0a2caea95aff1a682d302e8a8b2","datavalue":{"value":{"entity-type":"item","numeric-id":4680195,"id":"Q4680195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$38E6882D-7E3F-4F80-8BD7-6B2640677642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200f19f9d03c6a3e674b415be01533afb272e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":704829,"id":"Q704829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757159$634F5B99-5DE0-45F5-B67A-CB433ECABE2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5bc8268d42365710324c8cd06745fb110617960","datavalue":{"value":"10.1016/J.TCS.2018.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$883B68EC-CBEB-4E57-ACD5-7CE424CDF2F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b8af1f965025f65f9301e4b7620896ee9c66edbd","datavalue":{"value":"Q129030224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757159$3BB9862A-5599-4F99-B01D-A045876398D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a412f28b0ff1ec56930ab536cc0a09ac4fa303","datavalue":{"value":{"entity-type":"item","numeric-id":5464835,"id":"Q5464835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a305c60d1c4e7b18228e5de3f02c396b4fdbc4d","datavalue":{"value":{"amount":"+0.7477259039878845","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":"Q1757159$57EBC1F7-380D-4A30-8BC3-2EF8E496288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400daeba872d01174f63c096f657979ecca7b403","datavalue":{"value":{"entity-type":"item","numeric-id":2281632,"id":"Q2281632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8364f3ac6194087874efc965a1555c6c4f4b5688","datavalue":{"value":{"amount":"+0.7199594974517822","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":"Q1757159$1D3AF54F-C44B-47D4-BB21-53B3D4E19DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00d39e9f223e55633ca8eff4e1df393ce097bb3","datavalue":{"value":{"entity-type":"item","numeric-id":3614854,"id":"Q3614854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af91cb50b20c6904f5301529e310fd0f968cf30","datavalue":{"value":{"amount":"+0.7135500907897949","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":"Q1757159$324BC1A6-7077-4F99-A906-89AF82ABED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1587f67d927679ab2f85bf34184e90543217f5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2787447,"id":"Q2787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8852a78df80c85fd2b451b63599040d303b5f979","datavalue":{"value":{"amount":"+0.7131497263908386","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":"Q1757159$2ED1F93D-3AC3-4656-B2EC-7C11F6090FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7a3092a5eac6ec7d1eb25473ff6c3034e4c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":970002,"id":"Q970002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670b20b145bdb15e865a15db55744017dbc654f3","datavalue":{"value":{"amount":"+0.7002447843551636","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":"Q1757159$23A8E00A-155C-48ED-B5A5-56862E558DCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1757159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1757159"}}}}}