solutionRequires

5 triples
GPTKB property

Random triples
Subject Object
gptkb:Doubling_the_cube roots of cubic equations
gptkb:dining_philosophers_problem avoidance of starvation
gptkb:The_Byzantine_Generals_Problem at least 3f+1 nodes to tolerate f faulty nodes
gptkb:dining_philosophers_problem avoidance of deadlock
gptkb:dining_philosophers_problem mutual exclusion