Findings:
- approximating square roots using first-order Taylor series
- first-order logic
- Connectivity is not expressible in first-order logic
- first-order kinetics
If you Log in you could create a "first-order" node. If you don't already have an account, you can register here.