{"entities":{"Q1077948":{"pageid":1088700,"ns":120,"title":"Item:Q1077948","lastrevid":66828480,"modified":"2026-04-12T13:08:08Z","type":"item","id":"Q1077948","labels":{"en":{"language":"en","value":"Correctness proof for the majority consensus algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3958774"}},"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":"Q1077948$9B5D2350-A8B3-4486-8546-0A06623ECB68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cf8a64373a85c09b7c1f9071c67afc1713e5dd4","datavalue":{"value":{"text":"Correctness proof for the majority consensus algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077948$91D554E9-1EC3-4293-A9F5-39EC0D851990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c12383ed95cf102fb55027147efefd6104d88df","datavalue":{"value":"0595.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077948$C1C6D40A-879F-4158-A686-39D81D83C799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2d91f3a4da8a187c2c0e403975e29643f11f272","datavalue":{"value":"10.1016/0020-0255(86)90022-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077948$409A54C1-865C-4CB8-9142-A964EFFEE77F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027683addcaa825816969e169524f653f90fb933","datavalue":{"value":{"entity-type":"item","numeric-id":1077947,"id":"Q1077947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077948$47E46150-8798-41E8-BB54-89CBCA1BE698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e169b57195ba199568844c5f0329cd366749c5","datavalue":{"value":{"entity-type":"item","numeric-id":553360,"id":"Q553360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077948$CCA4382A-38A8-45C9-BD89-C60B2FCD1A54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077948$89B30D55-BFE3-4492-80BD-DFBE7B8A122F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077948$9EE35692-7E2C-413F-8E06-8C4F9056804C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077948$0EEBED80-F9D6-4B13-AF94-33A3E6908644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077948$290DCC83-9DAA-4B4C-B9B4-A432762A4B85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a97908660c52fb29c63294b6ee1d6d0b4344d3b3","datavalue":{"value":"3958774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077948$99DDBFEA-772A-498C-8AD8-A0634F9B02E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3950c90a10de01fb743c114a062a83943d8cd048","datavalue":{"value":"concurrency control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077948$7454A1DD-3113-44D9-BB9D-334EBD0A086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb2eabae2cb4d3373375d214f5a564fc209a3b9f","datavalue":{"value":"database management","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077948$9491DDEE-C0B4-40BF-9BE7-4A592A020202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077948$1929E8B7-BA19-4209-BFCA-69A7726A0CDF","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":"Q1077948$CB53F1E4-FB3B-49A1-97F5-F3B6847A1882","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"322f120b056ef2aebca2f23abffda56b3c880379","datavalue":{"value":"https://doi.org/10.1016/0020-0255(86)90022-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077948$EBB78625-7E67-42DC-9062-AE09FA528D46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f14c490f8c695ae5b033e7e46985bc3b4d28b1d","datavalue":{"value":"W2020235683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077948$D2EC890D-F90E-4D90-B380-918CB02CCE49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"304300c81bc2f204128b6c5428c920155e038ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3313318,"id":"Q3313318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077948$CB5526C0-521F-4E41-98CE-6FD56058F874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d971a8fb3bf11dfa7d1edd1cf7cdb1f2279f5e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4109287,"id":"Q4109287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077948$E234AF7E-F84F-4621-8895-F80A949EBE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ecff12d31108dbb3f8f36a95414d5d210b17e4","datavalue":{"value":{"entity-type":"item","numeric-id":3877033,"id":"Q3877033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077948$8BEEE26E-3416-4FF3-8080-B3ED4BEFF1F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness proof for the majority consensus algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_proof_for_the_majority_consensus_algorithm"}}}}}