{"entities":{"Q834901":{"pageid":836749,"ns":120,"title":"Item:Q834901","lastrevid":64694844,"modified":"2026-04-11T21:36:48Z","type":"item","id":"Q834901","labels":{"en":{"language":"en","value":"A constructive proof for FLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5599137"}},"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":"Q834901$1048EBB2-1486-4FFE-AAD9-71760EFCE086","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e7247250233e21054dee516229a36a9ea979d1f","datavalue":{"value":{"text":"A constructive proof for FLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q834901$A2BEC646-ADB6-494D-9F26-D11937D844C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15ef6dd141bf0df8dec3eb419efab5517337e42b","datavalue":{"value":"1173.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834901$355BE899-3466-4117-999E-3FD4A9ECC9F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78d6fc001ab88727821b933f1e27433662e232f","datavalue":{"value":{"entity-type":"item","numeric-id":834900,"id":"Q834900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834901$A84AE8DA-010F-48AC-B5C4-B8AC85677A64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834901$7BB2FEB9-04AA-4073-9CC2-40C0BCCF01DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53d537450d777afe86620348ba62a2bca3ff92d2","datavalue":{"value":{"time":"+2009-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q834901$CD2E4998-B669-4618-8857-83B884D9CFB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834901$E9864AFA-9065-4253-B92F-96CBD838F8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834901$722383F5-86B1-400E-B042-E2320938168D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2451806e2649328c255c3cf2603e9b57d336139f","datavalue":{"value":"5599137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834901$13BF3E63-CB5E-418E-9F2E-F6A9E3623753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q834901$B6B94577-F4F4-4BAC-9C32-33868AB3A71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q834901$498746D4-FEFF-433A-9B01-35C71CA028B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q834901$DED48732-9CF9-417E-95F5-AAB83768DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q834901$7C51F3C2-AF35-49F8-A80A-FFB8939E23BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"281e3dc9cd004ce7f12264ec501a57caae00ed56","datavalue":{"value":"consensus problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q834901$D39A49CB-76C2-4B6A-8DB8-AAF961AC14C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28762f875f40447c5e36ab08960435f5b3bcc4f","datavalue":{"value":"formal modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q834901$8C1E4E6B-E85A-4E90-AA58-0B783C99D2D5","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":"Q834901$A526ED43-2E58-4903-A6B1-AFF4AF81F438","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86ef3b84a6b151c925b4468203ca7f763db5c651","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q834901$CEB74935-ADA8-49D4-B5A7-BF7E6E6568C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85d9da36754077500345ac6236d58b550564a059","datavalue":{"value":"W2100506359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834901$079A8944-0146-4135-AFCF-CF2EFDFC930C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834901$DCD2CAB3-D90B-42E2-BF59-4467EA0C7472","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a20cecbb684e2b62a6b01ef31c0936014e2c6d5f","datavalue":{"value":"10.1016/J.IPL.2004.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834901$6F66BE38-CBBB-4CAE-B3FD-F4E78A86B753","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f47d91133f022e8f521e4746370ced964f3563","datavalue":{"value":{"entity-type":"item","numeric-id":2829253,"id":"Q2829253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd2ee98505cb325a76ae1b03d08f93f26d279d1","datavalue":{"value":{"amount":"+0.8160058856010437","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":"Q834901$B8F5B1C1-B8F8-4E61-99B1-08FD653EA61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06033c0540495d2abfc65a7b1827fc2420c34930","datavalue":{"value":{"entity-type":"item","numeric-id":756398,"id":"Q756398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c71570e359d7059802f86296cea7b8c4918a96b","datavalue":{"value":{"amount":"+0.8061151504516602","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":"Q834901$0C3DB312-8DF5-435F-A9AC-723DD00D7EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800e45d5977055e759fb88e59ed58541b157e5b4","datavalue":{"value":{"entity-type":"item","numeric-id":1853174,"id":"Q1853174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847f80d91e2e0025581aeb6404512103d3e6aafb","datavalue":{"value":{"amount":"+0.784396231174469","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":"Q834901$D9847487-0B4D-4B90-B60A-B12E9B1504CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd6d807a5628a8d94f2e14f336a624f852f1fdf","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1517387b27d3881549d8769ab0a0602c2e19a1c","datavalue":{"value":{"amount":"+0.7830869555473328","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":"Q834901$33FC1C5D-726A-4E1E-9FE8-0B2F88A15445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82bb2d82c327ddac8eb9475b575b77d8390e4904","datavalue":{"value":{"entity-type":"item","numeric-id":5138489,"id":"Q5138489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a92da25886c481f27bb3ce1561d1e07cabff03","datavalue":{"value":{"amount":"+0.7781041860580444","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":"Q834901$4326676B-896F-4CFB-A203-C7CFCCC81B71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive proof for FLP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_proof_for_FLP"}}}}}