{"entities":{"Q3179391":{"pageid":3190099,"ns":120,"title":"Item:Q3179391","lastrevid":52706855,"modified":"2026-01-23T07:59:42Z","type":"item","id":"Q3179391","labels":{"en":{"language":"en","value":"Certified impossibility results and analyses in Coq of some randomised distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667701"}},"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":"Q3179391$5E8B79EE-1594-4FD8-B93F-46C29B46063A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7586470819df866177af050d74d371e50b12fc29","datavalue":{"value":{"text":"Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179391$65DC38FA-7C6F-40C7-93FF-5127CC6B564A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e61cf356b78cedb65a70ad57f0fe66acf8ad095b","datavalue":{"value":"1482.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$0DEC39F6-DA8A-43FA-B970-2A4FAF4CA94B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"721604f053a4d1906e77e0b201f49eaaf438c964","datavalue":{"value":"10.1007/978-3-319-46750-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$D5B066A8-F53B-42FD-B08E-A6B1BB81A95A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$A3C2D7C8-7D19-4D48-8D6E-E67F6DC64E4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179391$0A41D976-991E-4574-973B-5B19A1C23523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$E133B1ED-2C7B-4698-B24C-90EE7B4F0D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$E3C9C1DF-724C-4471-85F9-18DBF32FC139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$67B26541-1A08-4CD5-9EC4-C046FA52B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$BD669D07-1D3E-42FD-8F20-574F2EE002D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$3B3720DA-A8B1-4654-BBAB-1832106E0342","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7afc8dfaedb6ec2f200fb14700d7b208832c0779","datavalue":{"value":"6667701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$F456077A-1EF7-4179-80FC-F6A224A91837","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":"Q3179391$A62C7A69-227C-4EF7-A282-3CB925FF132C","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":"Q3179391$6E342521-1F6C-4908-9DD6-A871FB56B93B","rank":"normal"}],"P1463":[{"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":"Q3179391$BC3E3B09-33FD-4C4E-B003-A0225DAB6FFC","rank":"normal"},{"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":"Q3179391$E7AFA455-4500-488B-85CE-83263D882430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18b816afca11fbff0ff50232ac40eec986e88389","datavalue":{"value":{"entity-type":"item","numeric-id":42713,"id":"Q42713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$02B9FF7D-E550-45E5-B779-63E1CC04602D","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":"Q3179391$10A586B8-8132-41DD-B576-B86E93C60716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ff541169978b4c7f2fb4ce2cc71161deef2a60","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179391$0C25E9A9-EDA1-4A2F-9367-485B535E263F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e3d015efd37a6aa646e42169bb6489ff0080b16","datavalue":{"value":"W2523222593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179391$2A45100A-4409-4DFD-9B62-49C9463573A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1370d4ef41cfc490a43b42eec581952d43ac681","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$C6A06575-D846-480C-A712-164D645E2601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4241e57d0fc9c18d19d74e163c8b71d74f4409","datavalue":{"value":{"entity-type":"item","numeric-id":483063,"id":"Q483063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$9DC7E750-720B-4C79-AAF5-6BFAD1E3C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771096eacbd8ecbc3cd371619bc85cbb2c2d7025","datavalue":{"value":{"entity-type":"item","numeric-id":2561156,"id":"Q2561156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$E520A674-3C8A-4AE6-B991-9E53959A5A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ee3d7ad740027e9f450f173a4e4ca77217f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3179391,"id":"Q3179391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$A9899B91-3AAD-450E-B861-FCB81F9A32B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc22eda20e13ae4c1f389d048db76ed6af41ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2849848,"id":"Q2849848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$1EB15AFA-786D-4369-A798-EFEA8A806B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$EA2C6307-C4A5-478B-9AD8-97B0CA71736E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc4a8675720e5bb12c1c5e12501ef02315fd719","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$5E4BA91A-3F71-4125-90DD-6F3854346783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1c0bf45a94eb17ba9463d772e2cdda4555e240","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$B7BBF2B9-5104-4BF6-9C9D-C251ACA7D6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f778ae4b303f730b8889f34d705eb5c0af5cb53","datavalue":{"value":{"entity-type":"item","numeric-id":1398376,"id":"Q1398376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$149A8C20-BF20-4BC9-9462-5A71946AE640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179391$20A6742B-1EF3-4FDD-B888-F89E88B0A3EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cd644e8841a3171ffdc7e16e2b83b0e56579f7","datavalue":{"value":{"entity-type":"item","numeric-id":4621204,"id":"Q4621204"},"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":"Q3179391$261310AE-1325-4DBC-A63E-55DA11F3794A","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":"6b0e0ff50a3d1b1873bc655eba05213bfbaf99bf","datavalue":{"value":{"amount":"+0.7919977903366089","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":"Q3179391$C611A512-889C-4792-BCDD-FCB1734245CE","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":"7847f615c3db88b4cf639e7a249d2ecc15e960c4","datavalue":{"value":{"amount":"+0.7727062702178955","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":"Q3179391$39FA81A4-FD6F-4417-AA15-9D917685BC46","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":"a0a0a51b5da54180a5dbf1a5c53bb3ef4ff3c1ab","datavalue":{"value":{"amount":"+0.7601087093353271","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":"Q3179391$AF4C9BAF-2A33-44EC-A821-90826B207F9C","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":"8ae5c166376307aa0e8350c8626538b39de8e20e","datavalue":{"value":{"amount":"+0.7317053079605103","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":"Q3179391$8AA3D428-1726-412C-8B8C-54517B604436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179391"}}}}}