Assertion list
boundary value problem (subgroup of problem ) → HasA
Results from Ascent++: 2
boundary value problem → HasA → positive solution 0.68
boundary value problem → HasA → at least one solution 0.36