{"entities":{"Q4621204":{"pageid":6650787,"ns":120,"title":"Item:Q4621204","lastrevid":53350013,"modified":"2026-01-24T19:12:22Z","type":"item","id":"Q4621204","labels":{"en":{"language":"en","value":"RDA: a Coq library to reason about randomised distributed algorithms in the message passing model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020198"}},"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":"Q4621204$78D44ABA-0240-430C-A2C0-F24E5706BE10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66aa5822b9c4a2b14527e2b4bc2061d0cf9bdfb1","datavalue":{"value":{"text":"RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621204$92939EEE-FEDF-4200-B1C6-5440E7F517CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce829c3ef5cbcfabd4919bdbe24d3d91ebcb153","datavalue":{"value":"1424.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$9F96B871-EF3D-49B3-8A77-81F93C4ADF82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"665afe1290235f36806b78d161edd328191a1aff","datavalue":{"value":"10.7561/SACS.2016.2.157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$2A77B40B-E11F-46D5-955B-CC019F2B6387","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621204$8A2EA18E-B162-451C-96AE-14D23D5F3EB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621204$77F42A63-ED28-4DC2-84DE-35773C77EACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$5E4D0ED2-3E5F-4E55-BD42-AD59B07ACC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$013945B5-F8E0-45AC-9291-5F9997110026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$75DF87A2-B1EF-470F-8093-47AC7F5A2805","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcf198bcc58f221144f224e665ba6f301442ad3c","datavalue":{"value":"7020198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$99890904-C90F-448F-ACEC-7FB84F0EAA8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621204$DA3E9E24-7AD2-4047-B7E7-817108849816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621204$AADC5739-6827-469A-9114-46D5C7742D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621204$2EB01169-4278-4FA1-BFFF-62090952C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621204$894C9F3E-1684-465F-BF3D-BD9DCBB8303D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"279135d94cf8f03a782e7f50764d0d5bc243644d","datavalue":{"value":{"entity-type":"item","numeric-id":1796840,"id":"Q1796840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621204$E8D5A39C-DAAB-4615-B344-0D7B7B70529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41abe1df626a33e08a01d10ab4a30bc51a6da58e","datavalue":{"value":{"entity-type":"item","numeric-id":975421,"id":"Q975421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621204$915CC2BB-B95E-4D79-960B-E5FA04E362E0","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":"Q4621204$8428B301-94E1-4F02-8B12-BA819E2F760E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621204$163782EC-BCCC-4D9D-883D-54871780E41E","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":"Q4621204$97C4933E-7F68-4EA8-A650-F548D909134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621204$1831EB54-FAF2-4750-8C13-A2A657D41505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad5a1c5c8badfd4e490c69abbe3ed8ff67839c5e","datavalue":{"value":{"entity-type":"item","numeric-id":42714,"id":"Q42714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621204$374411C7-E84C-41C4-A128-4BFC1ACA0FD4","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":"Q4621204$60290F4C-83D9-44C5-B16F-92505530DF49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67aaac97fbb9da0f5399f50edfae5b96e90bb5a0","datavalue":{"value":"https://doi.org/10.7561/sacs.2016.2.157","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621204$EBBD1AE5-EFA0-42DE-A168-82EF5F79B288","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"328618afeb1a5e9d00232a0be8970fb197bec154","datavalue":{"value":"W2727697810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621204$19C0B4D5-2997-47FA-96F7-9C9BFD1EDF12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfcb1356a4bc60a7302413a88eb90ecc58199ff","datavalue":{"value":{"entity-type":"item","numeric-id":3179391,"id":"Q3179391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631a6308a94c1c984c0e2bd8fc6ba3dd948fbacd","datavalue":{"value":{"amount":"+0.9073235988616944","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":"Q4621204$4E12BC63-F51F-433A-A654-D318250CBF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a330b0a441f2e8f31e32d1189fee5be895aae44c","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bfe2f4404081b95bfd9fbe7ee6b29c3ac8a85c8","datavalue":{"value":{"amount":"+0.8055387735366821","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":"Q4621204$1E8A5DC5-2E4A-4EC3-84DE-3B02F92CA2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac533c4a2838a391eef3f46811ecb2461e09ffd0","datavalue":{"value":{"entity-type":"item","numeric-id":5325843,"id":"Q5325843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff90d90b30d367591d171cc2457b1bbe5f392453","datavalue":{"value":{"amount":"+0.7957166433334351","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":"Q4621204$185384AA-1567-4135-B1DC-02E94D21A5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f1bb9f0fd80cb34c125d16f6965ee044d9af12","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034ac9f686c33a4f1c027bd158d14b30088a9a36","datavalue":{"value":{"amount":"+0.7953125238418579","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":"Q4621204$CFA146D5-4028-4E49-B787-5DCFFEC4D4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fa4380aa847f05a8dd71c16090e8f1414bc1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4547768,"id":"Q4547768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17d6af7ec49f6b0e2c64dea2a36851ec5a2c5d5","datavalue":{"value":{"amount":"+0.7652897238731384","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":"Q4621204$A0A936F5-0275-4F65-A6CE-418011A05F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621204"}}}}}