Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about AOL search database scandal or view research papers on web searching.
analytic proof
Explicit
In structural proof theory, an analytical proof is a proof whose structure is simple in a special way. The term oes not admit an uncontroversial definition, but for several proof calculi there is an accepted notion of analytic proof. For example: