tautology
131Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… …
132Confucius — For other uses, see Confucius (disambiguation). Confucius 孔丘 A portrait of Confucius, by Tang Dynasty artist Wu Daozi (680–740). Full name …
