After all, the automated database is only as good as the information the judges feed into it.
Analytic tableaux (also, semantic tableau, or truth tree), a technique of automated theorem proving in logic. Tableau, another term for a table of data, particularly: Cryptographic tableau, or tabula recta, used in manual cipher systems. Division tableau, a table used to do long division.
A cartouche is a name plate. It's usually oval with your name written in the middle of it. A cartouche is attached to your coffin. The ancient Egyptians wanted to make sure that their two souls-the Ba and the Ka-could find their way back to their tomb at night, after they died. No one wanted their Ba or Ka to get lost.