mathematicians exploring dead ends while proving a theorem
This concept is still a stub — no write-up yet. The links below already make it part of the graph.
Examples & generalisations
An example of: Learning Through Search
This concept is still a stub — no write-up yet. The links below already make it part of the graph.
An example of: Learning Through Search