Galedra

Claims

Search Type State Status Topic Model Order Counting Over

As of snapshot 27745 under ledger-default@0.3.0.

Claim	Type	Assessment	Score	Review checks	References
Terence Tao devoted almost all of his working time to the Navier-Stokes problem.	OBSERVATIONAL	Contradicted	0.1419	3 of 4	164