solutionExistsIf

URI: https://gptkb.org/prop/solutionExistsIf
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Chinese_postman_problem all vertices have even degree (for undirected graphs)
gptkb:Byzantine_agreement less than one-third nodes are faulty