# Wikipedia for Computations

## Sample Page for a Calculus Lab: SaddlePointLab1

### Interpreted predicate logic formula

ForAll x in [0,1] Exists y in [0,1]: x*y+(1-x)*(1-y*y)>= c,
with one free variable c in [0,1].

This claim family SaddlePointLab1(c) consists of infinitely many claims.

###
Status

Somewhere near t=0.618 is a tipping point.
SaddlePointLab1(0.618) has a likelihood of 0.99 of being true.
SaddlePointLab1(0.619) has a likelihood of 0.999 of being false.
###
Software

For defending SaddlePointLab1(0.618):
y = f(x) = ...
For refuting SaddlePointLab1(0.619):
y = f(x) = ...

###
Tested test cases

For SaddlePointLab1(0.618): (x= ..., false) has a likelihood of ...
###
Scholars with Rankings

56
###
Link to game histories

sorted by the sum of the strengths of the two players.