  A representation theorem relates different mathematical structures by
providing an isomorphism between them: that is, a one-to-one correspondence
preserving their original properties. Establishing that the two structures
substantially behave in the same way, representation theorems typically provide
insight and generate powerful techniques to study the involved structures, by
cross-fertilising between the methodologies existing for each of the respective
branches of mathematics. When the related structures have no obvious a priori
connection, however, such results can be, by their own nature, elusive. Here,
we show how data-mining across distinct web sources (including the Online
Encyclopedia of Integer Sequences, OEIS), was crucial in the discovery of two
original representation theorems relating event structures (mathematical
structures commonly used to represent concurrent discrete systems) to families
of sets (endowed with elementary disjointness and subset relations) and to full
graphs, respectively. The latter originally emerged in the apparently unrelated
field of bioinformatics. As expected, our representation theorems are powerful,
allowing to capitalise on existing theorems about full graphs to immediately
conclude new facts about event structures. Our contribution is twofold: on one
hand, we illustrate our novel method to mine the web, resulting in thousands of
candidate connections between distinct mathematical realms; on the other hand,
we explore one of these connections to obtain our new representation theorems.
We hope this paper can encourage people with relevant expertise to scrutinize
these candidate connections. We anticipate that, building on the ideas
presented here, further connections can be unearthed, by refining the mining
techniques and by extending the mined repositories.
