make+deductions
121Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …
122List of Case Closed episodes (season 11) — The cover of the first DVD compilation for season eleven of Detective Conan released by Shogakukan The tenth season of the Case Closed anime was directed by Kenji Kodama and Yasuichiro Yamamoto and produced by TMS Entertainment and Yomiuri… …
123Bush tax cuts — Part of a series of articles on Unit …
124net — 1. n. & v. n. 1 an open meshed fabric of cord, rope, fibre, etc. 2 a piece of net used esp. to restrain, contain, or delimit, or to catch fish or other animals. 3 a structure with net to enclose an area of ground, esp. in sport. 4 a a structure… …
125net´ter — net1 «neht», noun, verb, net|ted, net|ting, adjective. –n. 1. an open fabric made of string, cord, thread, or hair, knotted together in such a way as to leave large or small holes regularly arranged. A fish net is used for catching fish. A… …
126metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …
127List of Ed, Edd n Eddy episodes — This is an episode list of the animated television series Ed, Edd n Eddy, created by Danny Antonucci. The series debuted on Cartoon Network on January 4, 1999. Contents 1 Overview …
128Austria — Austrian, adj., n. /aw stree euh/, n. a republic in central Europe. 8,054,078; 32,381 sq. mi. (83,865 sq. km). Cap.: Vienna. German, Österreich. * * * Austria Introduction Austria Background: Once the center of power for the large Austro… …
