Слова на English для '(computing) A combinator of proof tactics.'
Выше показаны слова, связанные с "(computing) A combinator of proof tactics.". Наведите курсор или фокус на слово, чтобы увидеть его определение.
Результаты поиска
noun
adj
- Of or relating to military operations that are smaller or more local than strategic ones.
- Adroit, skilful or ingenious.
- (firearms) Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.
- Of or relating to tactics.
- of or pertaining to tactic or tactics
noun
- (mathematics) Initialism of probabilistically checkable proof.
- (medicine) Abbreviation of pneumocystis pneumonia.
- (finance) Initialism of personal contract purchase.
- (organic chemistry) Abbreviation of pentachlorophenol.
- (biochemistry) Initialism of peptidyl carrier protein.
- (healthcare) Initialism of primary care practitioner (who may be a physician, a physician assistant, or a nurse practitioner).
- (chemistry) Abbreviation of phenylcyclohexylpiperidine, an alternative name for phencyclidine.
- (psychology) Initialism of personal construct psychology.
- (healthcare) Initialism of primary care physician.
- a drug used as an anesthetic by veterinarians; illicitly taken (originally in the form of powder or ‘dust’) for its effects as a hallucinogen
- a person who helps in identifying or preventing or treating illness or disability
name
verb
- prove formally; demonstrate by a mathematical, formal proof
- be shown or be found to be
- obtain probate of
- establish the validity of something, as by an example, explanation or experiment
- cause to puff up with a leaven
- provide evidence for
- put to the test, as for its quality, or give experimental use to
- take a trial impression of
- increase in volume
- Alternative form of proof (“allow (dough) to rise; test the activeness of (yeast); pressure-test (a firearm)”).
- (copulative) To turn out to be.
- (homeopathy) To determine by experiment which effects a substance causes when ingested.
- (transitive) To ascertain or establish the genuineness or validity of; to verify.
- (intransitive) To turn out; to manifest.
- simple past of proove
- (transitive) To put to the test, to make trial of.
- (transitive) To demonstrate that something is true or viable; to give proof for; to bear out; to testify.
noun
noun
- the cognitive process of establishing a valid proof
- the persons (or committees or departments etc.) who make up a body for the purpose of administering something
- the act of forming or establishing something
- (ecology) the process by which a plant or animal becomes established in a new habitat
- any large organization
- an organization founded and united for a specific purpose
- a public or private structure (business or governmental or educational) including buildings and equipment for business or residence
- The number of staff required to run a department or organisation (often used in the context of healthcare and other public services).
- (Christianity) The institution and official status of a church as a state church, especially that of the Church of England and historically of Ireland.
- The ruling class or authority group in a society; especially, an entrenched authority dedicated to preserving the status quo.
- That which is established; as a form of government, a permanent organization, business or force, or the place where one is permanently fixed for residence.
- The act or process of establishing; a ratifying or ordaining; settlement; confirmation.
- The state of being established, founded, etc.; fixed state.
noun
- the cognitive process of establishing a valid proof
- the act of validating; finding or testing the truth of something
- Something, such as a certificate, that validates something; attestation, authentication, confirmation, proof or verification.
- The process whereby others confirm the validity of one's emotions or perspective.
- The act of validating something.
- (US) The process of identifying a new prisoner's gang affiliation.
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (mathematics, philosophy) A proof.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (Roman Catholic Church) a vessel (usually of gold or silver) in which the consecrated Host is exposed for adoration
- (Christianity) An ornamental, often precious receptacle, either open or with a transparent cover, in which the sacramental bread (consecrated host) is placed for Eucharistic adoration.
noun
name
noun
- (countable, logic) Proof by deduction from known truths.
- (countable) Decomposition into components in order to study (a complex thing, concept, theory, etc.).
- (countable, analytical chemistry, physical chemistry) The process of breaking down a substance into its constituent parts, or the result of this process.
- (uncountable, mathematics) A broad field of study in modern mathematics (often mentioned alongside algebra) which developed out of the calculus, concerned with the behavior of functions, sequences, series, limits, metric spaces, measures and more.
- (uncountable, music) The analytical study of melodies, harmonies, sequences, repetitions, variations, quotations, juxtapositions, and surprises.
- (countable) The result of such a process.
- (countable, psychology) Psychoanalysis.
- the abstract separation of a whole into its constituent parts in order to study the parts and their relations
- a branch of mathematics involving calculus and the theory of limits; sequences and series and integration and differentiation
- the use of closed-class words instead of inflections: e.g., ‘the father of the bride’ instead of ‘the bride's father’
- a set of techniques for exploring underlying motives and a method of treating various mental disorders; based on the theories of Sigmund Freud
- a form of literary criticism in which the structure of a piece of writing is analyzed
- an investigation of the component parts of a whole and their relations in making up the whole
adj
- Affording proof; demonstrative.
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Incontrovertible; demonstrably true or certain.
- of a proposition; necessarily true or logically certain
noun
- (figuratively) A demonstration, an example, a proof.
- (UK) A channel or passage of water between sandbanks, or between a sandbank and a seashore.
- (figuratively) A clump or portion of something.
- A selection of such samples bound together.
- A piece, pattern, or sample, generally of cloth or a similar material.
- a sample piece of cloth
verb
noun
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
- (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- (in phrases, by extension) A proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- (botany) The outer shell of a fruit or similar body.
- (botany) One of the specialized bracts around the floret in grasses.
- the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
- the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
- a subsidiary proposition that is assumed to be true in order to prove another proposition
noun
- (computing theory) The information needed in order to verify a positive answer to a problem.
- (computing) Ellipsis of public key certificate.
- A document containing a certified statement.
- (education) A document serving as evidence that a person has completed an educational course, issued either by an institution not authorised to grant diplomas, or to a student not qualifying for a diploma.
- (British, Ireland) A motion picture age rating.
- A document evidencing ownership or debt.
- a document attesting to the truth of certain stated facts
- a formal declaration that documents a fact of relevance to finance and investment; the holder has a right to receive interest or dividends
verb
noun
- (mathematics) A formal proof: a sequence of statements, each of which is logically entailed by those preceding (with respect to some collection of rules of inference), the initial statements being taken as axioms.
- (grammar) Forming a new word by changing the base of another word or by adding affixes to it.
- A leading or drawing off of water from a stream or source.
- The process of deriving one thing from another, especially in logic; a deduction.
- That which is derived; a derivative; the result of a deduction.
- The act of receiving anything from a source; the act of procuring an effect from a cause, means, or condition, as profits from capital, conclusions or opinions from evidence.
- The state or method of being derived; the relation of origin when established or asserted.
- (mathematics, differential algebra) An algebraic generalization of the derivative operator (from its natural setting in the ring of real-valued functions) to a general associative algebra over a field. Formally, (given an algebra A over a field K) a K-linear endomorphism that satisfies Leibnitz's Law.
- Any of several generalizations of this notion: a Hasse–Schmidt derivation, a graded derivation, etc.
- (medicine, historical) A drawing of humors or fluids from one part of the body to another, to relieve or lessen a morbid process.
- (genealogy, linguistics) The act of tracing origin or descent; an instance thereof (for example, an etymology).
- (mathematics, calculus) The process of application of the derivative operator to a function, yielding another function called the derived function of the first.
- That from which a thing is derived.
- (descriptive linguistics) the process whereby new words are formed from existing words or bases by affixation
- drawing of fluid or inflammation away from a diseased part of the body
- inherited properties shared with others of your bloodline
- a line of reasoning that shows how a conclusion follows logically from accepted propositions
- (historical linguistics) an explanation of the historical origins of a word or phrase
- the source or origin from which something derives (i.e. comes or issues)
- the act of deriving something or obtaining something from a source or origin
- drawing off water from its main channel as for irrigation
noun
- an argument that assumes that which is to be proved
- one trouble leads to another that aggravates the first
- A situation in which the response to one problem creates a chain of problems, each making it more difficult to solve the original one.
- (logic) A fallacy in which the premise is used to prove a conclusion which is then used to prove the premise.
adj
noun
- (countable, mathematics) A process for testing the accuracy of an operation performed. Compare prove, transitive verb, 5.
- (countable, logic, mathematics) A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof.
- (countable) An effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
- (uncountable) The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration.
- The quality or state of having been proved or tried; firmness or hardness which resists impression, or does not yield to force; impenetrability of physical bodies.
- (countable, printing) A proof sheet; a trial impression, as from type, taken for correction or examination.
- (numismatics) A limited-run high-quality strike of a particular coin, originally as a test run, although nowadays mostly for collectors' sets.
- (US) A measure of the alcohol content of liquor. Originally, in Britain, 100 proof was defined as 57.1% by volume (no longer used). In the US, 100 proof means that the alcohol content is 50% of the total volume of the liquid; thus, perfectly pure absolute alcohol would be 200 proof.
- a measure of alcoholic strength expressed as an integer twice the percentage of alcohol present (by volume)
- a formal series of statements showing that if one thing is true something else necessarily follows from it
- (printing) an impression made to check for errors
- the act of validating; finding or testing the truth of something
- a trial photographic print from a negative
- any factual evidence that helps to establish the truth of something
verb
- (transitive, firearms) To test-fire with a load considerably more powerful than the firearm in question's rated maximum chamber pressure, in order to establish the firearm's ability to withstand pressures well in excess of those expected in service without bursting.
- (transitive, intransitive, colloquial) To proofread.
- (transitive, baking) To allow (yeast-containing dough) to rise, especially after it has been shaped
- (transitive) To make resistant, especially to water.
- (transitive, baking) To test the activeness of (yeast).
- knead to reach proper lightness
- make or take a proof of, such as a photographic negative, an etching, or typeset
- make resistant (to harm)
- activate by mixing with water and sometimes sugar or milk
- read for errors
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
name
phrase
noun
noun
- (arithmetic) A method of solving a problem by one or two suppositions; also called the rule of trial and error.
- A place or location.
- (electronics) A pin; a connector.
- A posture.
- A status or rank.
- (figurative) A situation suitable to perform some action.
- (chess) The full state of a chess game at any given turn.
- An opinion, stand, or stance.
- A post of employment; a job.
- (finance) A commitment, or a group of commitments, such as options or futures, to buy or sell a given amount of financial instruments, such as securities, currencies or commodities, for a given price.
- (team sports) A place on the playing field, together with a set of duties, assigned to a player.
- (poker) The order in which players are seated around the table.
- (finance) An amount of securities, commodities, or other financial instruments held by a person, firm, or institution.
- the post or function properly or customarily occupied or served by another
- the arrangement of the body and its limbs
- a way of regarding situations or topics etc.
- an item on a list or in a sequence
- the act of putting something in a certain place
- the particular portion of space occupied by something
- (in team sports) the role assigned to an individual player
- an opinion that is held in opposition to another in an argument or dispute
- the relative position or standing of things or especially persons in a society
- a point occupied by troops for tactical reasons
- the act of positing; an assumption taken as a postulate or axiom
- the spatial property of a place where or way in which something is situated
- a rationalized mental attitude
- a job in an organization
- the appropriate or customary location
- a condition or position in which you find yourself
verb
verb
- (transitive) To furnish proof of, to show.
- (intransitive, construed with to or for) To present personal religious testimony; to preach at (someone) or on behalf of.
- (transitive) To take as evidence.
- To see the execution of (a legal instrument), and subscribe it for the purpose of establishing its authenticity.
- (transitive) To see or gain knowledge of through experience.
- perceive or be contemporaneous with
- be a witness to
noun
- (countable, databases) An additional database server instance used in failover scenarios to decide whether the mirror should take over.
- (countable) One who sees or has personal knowledge of something.
- (countable) Something that serves as evidence; a sign or token.
- (countable, law) Someone called to give evidence in a court.
- (uncountable) Attestation of a fact or event; testimony.
- (countable) One who is called upon to witness an event or action, such as a wedding or the signing of a document.
- (textual criticism) A particular version of a text (seen as providing testimony of archetype or other earlier version)
- testimony by word or deed to your religious faith
- (law) a person who testifies under oath in a court of law
- (law) a person who attests to the genuineness of a document or signature by adding their own signature
- a close observer; someone who looks at something (such as an exhibition of some kind)
- someone who sees an event and reports what happened
noun
- a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.
- (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
noun
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
- (law) The concurrence of several titles to the same proof.
- (UK, education, historical, uncountable) The practice of taking two higher degrees simultaneously, to reduce the length of study.
- The process of growing into a heap or a large amount.
- (accounting) The continuous growth of capital by retention of interest or savings.
- (finance) The action of investors buying an asset from other investors when the price of the asset is low.
- The act of amassing or gathering, as into a pile.
- A mass of something piled up or collected.
- (finance) profits that are not paid out as dividends but are added to the capital base of the corporation
- the act of accumulating
- an increase by natural growth or addition
- several things grouped together or considered as a whole
verb
- refer to for illustration or proof
- repeat a passage from
- refer to
- commend
- make reference to
- call in an official matter, such as to attend court
- advance evidence for
- To mention by way of explanation.
- (transitive, law) To summon officially or authoritatively to appear in court.
- (transitive) To quote; to repeat, as a passage from a book, or the words of another.
- (transitive) To mention; to make mention of.
- To list the source(s) from which one took information, words or literary or verbal context.
noun
verb
- refer to for illustration or proof
- repeat a passage from
- name the price of
- put quote marks around
- (intransitive) To indicate verbally or by equivalent means the start of a quotation.
- (transitive) To prepare a summary of work to be done and set a price; to estimate.
- (commerce, transitive) To name the current price, notably of a financial security.
- (transitive) To repeat (the exact words of a person).
noun
- a punctuation mark used to attribute the enclosed text to someone else
- a passage or expression that is quoted or cited
- A price set and offered (by the potential seller) for a financial security or commodity; a quotation.
- A statement attributed to a person; a quotation.
- A summary of work to be done with a set price; a quotation.
- A quotation mark.
intj
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
verb
- (transitive) To prove and cause to be accepted as true; to demonstrate.
- (transitive) To form; to found; to institute; to set up in business.
- (transitive) To make stable or firm; to confirm.
- (transitive) To appoint or adopt, as officers, laws, regulations, guidelines, etc.; to enact; to ordain.
- institute, enact, or establish
- bring about
- set up or found
- place
- establish the validity of something, as by an example, explanation or experiment
- use as a basis for; found on
- build or establish something abstract
- set up or lay the groundwork for
noun
- the evidence by which something is attested
- the action of bearing witness
- (business, finance) The process, performed by accountants or auditors, of providing independent opinion on published financial and other business records of an enterprise, public agency, or other organization.
- A confirmation or authentication.
- (linguistics, of a language, word, word form, or word meaning) An appearance in print or otherwise recorded on a permanent medium.
- A thing that serves to bear witness, confirm, or authenticate; validation, verification, documentation.
noun
adj
- Of or relating to military operations that are smaller or more local than strategic ones.
- Adroit, skilful or ingenious.
- (firearms) Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.
- Of or relating to tactics.
- of or pertaining to tactic or tactics
noun
- (mathematics) Initialism of probabilistically checkable proof.
- (medicine) Abbreviation of pneumocystis pneumonia.
- (finance) Initialism of personal contract purchase.
- (organic chemistry) Abbreviation of pentachlorophenol.
- (biochemistry) Initialism of peptidyl carrier protein.
- (healthcare) Initialism of primary care practitioner (who may be a physician, a physician assistant, or a nurse practitioner).
- (chemistry) Abbreviation of phenylcyclohexylpiperidine, an alternative name for phencyclidine.
- (psychology) Initialism of personal construct psychology.
- (healthcare) Initialism of primary care physician.
- a drug used as an anesthetic by veterinarians; illicitly taken (originally in the form of powder or ‘dust’) for its effects as a hallucinogen
- a person who helps in identifying or preventing or treating illness or disability
name
noun
- the cognitive process of establishing a valid proof
- the persons (or committees or departments etc.) who make up a body for the purpose of administering something
- the act of forming or establishing something
- (ecology) the process by which a plant or animal becomes established in a new habitat
- any large organization
- an organization founded and united for a specific purpose
- a public or private structure (business or governmental or educational) including buildings and equipment for business or residence
- The number of staff required to run a department or organisation (often used in the context of healthcare and other public services).
- (Christianity) The institution and official status of a church as a state church, especially that of the Church of England and historically of Ireland.
- The ruling class or authority group in a society; especially, an entrenched authority dedicated to preserving the status quo.
- That which is established; as a form of government, a permanent organization, business or force, or the place where one is permanently fixed for residence.
- The act or process of establishing; a ratifying or ordaining; settlement; confirmation.
- The state of being established, founded, etc.; fixed state.
noun
- the cognitive process of establishing a valid proof
- the act of validating; finding or testing the truth of something
- Something, such as a certificate, that validates something; attestation, authentication, confirmation, proof or verification.
- The process whereby others confirm the validity of one's emotions or perspective.
- The act of validating something.
- (US) The process of identifying a new prisoner's gang affiliation.
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (mathematics, philosophy) A proof.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (Roman Catholic Church) a vessel (usually of gold or silver) in which the consecrated Host is exposed for adoration
- (Christianity) An ornamental, often precious receptacle, either open or with a transparent cover, in which the sacramental bread (consecrated host) is placed for Eucharistic adoration.
noun
name
noun
- (countable, logic) Proof by deduction from known truths.
- (countable) Decomposition into components in order to study (a complex thing, concept, theory, etc.).
- (countable, analytical chemistry, physical chemistry) The process of breaking down a substance into its constituent parts, or the result of this process.
- (uncountable, mathematics) A broad field of study in modern mathematics (often mentioned alongside algebra) which developed out of the calculus, concerned with the behavior of functions, sequences, series, limits, metric spaces, measures and more.
- (uncountable, music) The analytical study of melodies, harmonies, sequences, repetitions, variations, quotations, juxtapositions, and surprises.
- (countable) The result of such a process.
- (countable, psychology) Psychoanalysis.
- the abstract separation of a whole into its constituent parts in order to study the parts and their relations
- a branch of mathematics involving calculus and the theory of limits; sequences and series and integration and differentiation
- the use of closed-class words instead of inflections: e.g., ‘the father of the bride’ instead of ‘the bride's father’
- a set of techniques for exploring underlying motives and a method of treating various mental disorders; based on the theories of Sigmund Freud
- a form of literary criticism in which the structure of a piece of writing is analyzed
- an investigation of the component parts of a whole and their relations in making up the whole
noun
- (figuratively) A demonstration, an example, a proof.
- (UK) A channel or passage of water between sandbanks, or between a sandbank and a seashore.
- (figuratively) A clump or portion of something.
- A selection of such samples bound together.
- A piece, pattern, or sample, generally of cloth or a similar material.
- a sample piece of cloth
verb
noun
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
- (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- (in phrases, by extension) A proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- (botany) The outer shell of a fruit or similar body.
- (botany) One of the specialized bracts around the floret in grasses.
- the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
- the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
- a subsidiary proposition that is assumed to be true in order to prove another proposition
noun
- (computing theory) The information needed in order to verify a positive answer to a problem.
- (computing) Ellipsis of public key certificate.
- A document containing a certified statement.
- (education) A document serving as evidence that a person has completed an educational course, issued either by an institution not authorised to grant diplomas, or to a student not qualifying for a diploma.
- (British, Ireland) A motion picture age rating.
- A document evidencing ownership or debt.
- a document attesting to the truth of certain stated facts
- a formal declaration that documents a fact of relevance to finance and investment; the holder has a right to receive interest or dividends
verb
noun
- (mathematics) A formal proof: a sequence of statements, each of which is logically entailed by those preceding (with respect to some collection of rules of inference), the initial statements being taken as axioms.
- (grammar) Forming a new word by changing the base of another word or by adding affixes to it.
- A leading or drawing off of water from a stream or source.
- The process of deriving one thing from another, especially in logic; a deduction.
- That which is derived; a derivative; the result of a deduction.
- The act of receiving anything from a source; the act of procuring an effect from a cause, means, or condition, as profits from capital, conclusions or opinions from evidence.
- The state or method of being derived; the relation of origin when established or asserted.
- (mathematics, differential algebra) An algebraic generalization of the derivative operator (from its natural setting in the ring of real-valued functions) to a general associative algebra over a field. Formally, (given an algebra A over a field K) a K-linear endomorphism that satisfies Leibnitz's Law.
- Any of several generalizations of this notion: a Hasse–Schmidt derivation, a graded derivation, etc.
- (medicine, historical) A drawing of humors or fluids from one part of the body to another, to relieve or lessen a morbid process.
- (genealogy, linguistics) The act of tracing origin or descent; an instance thereof (for example, an etymology).
- (mathematics, calculus) The process of application of the derivative operator to a function, yielding another function called the derived function of the first.
- That from which a thing is derived.
- (descriptive linguistics) the process whereby new words are formed from existing words or bases by affixation
- drawing of fluid or inflammation away from a diseased part of the body
- inherited properties shared with others of your bloodline
- a line of reasoning that shows how a conclusion follows logically from accepted propositions
- (historical linguistics) an explanation of the historical origins of a word or phrase
- the source or origin from which something derives (i.e. comes or issues)
- the act of deriving something or obtaining something from a source or origin
- drawing off water from its main channel as for irrigation
noun
- an argument that assumes that which is to be proved
- one trouble leads to another that aggravates the first
- A situation in which the response to one problem creates a chain of problems, each making it more difficult to solve the original one.
- (logic) A fallacy in which the premise is used to prove a conclusion which is then used to prove the premise.
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
name
phrase
adj
noun
- (countable, mathematics) A process for testing the accuracy of an operation performed. Compare prove, transitive verb, 5.
- (countable, logic, mathematics) A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof.
- (countable) An effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
- (uncountable) The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration.
- The quality or state of having been proved or tried; firmness or hardness which resists impression, or does not yield to force; impenetrability of physical bodies.
- (countable, printing) A proof sheet; a trial impression, as from type, taken for correction or examination.
- (numismatics) A limited-run high-quality strike of a particular coin, originally as a test run, although nowadays mostly for collectors' sets.
- (US) A measure of the alcohol content of liquor. Originally, in Britain, 100 proof was defined as 57.1% by volume (no longer used). In the US, 100 proof means that the alcohol content is 50% of the total volume of the liquid; thus, perfectly pure absolute alcohol would be 200 proof.
- a measure of alcoholic strength expressed as an integer twice the percentage of alcohol present (by volume)
- a formal series of statements showing that if one thing is true something else necessarily follows from it
- (printing) an impression made to check for errors
- the act of validating; finding or testing the truth of something
- a trial photographic print from a negative
- any factual evidence that helps to establish the truth of something
verb
- (transitive, firearms) To test-fire with a load considerably more powerful than the firearm in question's rated maximum chamber pressure, in order to establish the firearm's ability to withstand pressures well in excess of those expected in service without bursting.
- (transitive, intransitive, colloquial) To proofread.
- (transitive, baking) To allow (yeast-containing dough) to rise, especially after it has been shaped
- (transitive) To make resistant, especially to water.
- (transitive, baking) To test the activeness of (yeast).
- knead to reach proper lightness
- make or take a proof of, such as a photographic negative, an etching, or typeset
- make resistant (to harm)
- activate by mixing with water and sometimes sugar or milk
- read for errors
noun
noun
- (arithmetic) A method of solving a problem by one or two suppositions; also called the rule of trial and error.
- A place or location.
- (electronics) A pin; a connector.
- A posture.
- A status or rank.
- (figurative) A situation suitable to perform some action.
- (chess) The full state of a chess game at any given turn.
- An opinion, stand, or stance.
- A post of employment; a job.
- (finance) A commitment, or a group of commitments, such as options or futures, to buy or sell a given amount of financial instruments, such as securities, currencies or commodities, for a given price.
- (team sports) A place on the playing field, together with a set of duties, assigned to a player.
- (poker) The order in which players are seated around the table.
- (finance) An amount of securities, commodities, or other financial instruments held by a person, firm, or institution.
- the post or function properly or customarily occupied or served by another
- the arrangement of the body and its limbs
- a way of regarding situations or topics etc.
- an item on a list or in a sequence
- the act of putting something in a certain place
- the particular portion of space occupied by something
- (in team sports) the role assigned to an individual player
- an opinion that is held in opposition to another in an argument or dispute
- the relative position or standing of things or especially persons in a society
- a point occupied by troops for tactical reasons
- the act of positing; an assumption taken as a postulate or axiom
- the spatial property of a place where or way in which something is situated
- a rationalized mental attitude
- a job in an organization
- the appropriate or customary location
- a condition or position in which you find yourself
verb
noun
- a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.
- (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
noun
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
- (law) The concurrence of several titles to the same proof.
- (UK, education, historical, uncountable) The practice of taking two higher degrees simultaneously, to reduce the length of study.
- The process of growing into a heap or a large amount.
- (accounting) The continuous growth of capital by retention of interest or savings.
- (finance) The action of investors buying an asset from other investors when the price of the asset is low.
- The act of amassing or gathering, as into a pile.
- A mass of something piled up or collected.
- (finance) profits that are not paid out as dividends but are added to the capital base of the corporation
- the act of accumulating
- an increase by natural growth or addition
- several things grouped together or considered as a whole
noun
- the evidence by which something is attested
- the action of bearing witness
- (business, finance) The process, performed by accountants or auditors, of providing independent opinion on published financial and other business records of an enterprise, public agency, or other organization.
- A confirmation or authentication.
- (linguistics, of a language, word, word form, or word meaning) An appearance in print or otherwise recorded on a permanent medium.
- A thing that serves to bear witness, confirm, or authenticate; validation, verification, documentation.
verb
- prove formally; demonstrate by a mathematical, formal proof
- be shown or be found to be
- obtain probate of
- establish the validity of something, as by an example, explanation or experiment
- cause to puff up with a leaven
- provide evidence for
- put to the test, as for its quality, or give experimental use to
- take a trial impression of
- increase in volume
- Alternative form of proof (“allow (dough) to rise; test the activeness of (yeast); pressure-test (a firearm)”).
- (copulative) To turn out to be.
- (homeopathy) To determine by experiment which effects a substance causes when ingested.
- (transitive) To ascertain or establish the genuineness or validity of; to verify.
- (intransitive) To turn out; to manifest.
- simple past of proove
- (transitive) To put to the test, to make trial of.
- (transitive) To demonstrate that something is true or viable; to give proof for; to bear out; to testify.
noun
verb
- (transitive) To furnish proof of, to show.
- (intransitive, construed with to or for) To present personal religious testimony; to preach at (someone) or on behalf of.
- (transitive) To take as evidence.
- To see the execution of (a legal instrument), and subscribe it for the purpose of establishing its authenticity.
- (transitive) To see or gain knowledge of through experience.
- perceive or be contemporaneous with
- be a witness to
noun
- (countable, databases) An additional database server instance used in failover scenarios to decide whether the mirror should take over.
- (countable) One who sees or has personal knowledge of something.
- (countable) Something that serves as evidence; a sign or token.
- (countable, law) Someone called to give evidence in a court.
- (uncountable) Attestation of a fact or event; testimony.
- (countable) One who is called upon to witness an event or action, such as a wedding or the signing of a document.
- (textual criticism) A particular version of a text (seen as providing testimony of archetype or other earlier version)
- testimony by word or deed to your religious faith
- (law) a person who testifies under oath in a court of law
- (law) a person who attests to the genuineness of a document or signature by adding their own signature
- a close observer; someone who looks at something (such as an exhibition of some kind)
- someone who sees an event and reports what happened
verb
- refer to for illustration or proof
- repeat a passage from
- refer to
- commend
- make reference to
- call in an official matter, such as to attend court
- advance evidence for
- To mention by way of explanation.
- (transitive, law) To summon officially or authoritatively to appear in court.
- (transitive) To quote; to repeat, as a passage from a book, or the words of another.
- (transitive) To mention; to make mention of.
- To list the source(s) from which one took information, words or literary or verbal context.
noun
verb
- refer to for illustration or proof
- repeat a passage from
- name the price of
- put quote marks around
- (intransitive) To indicate verbally or by equivalent means the start of a quotation.
- (transitive) To prepare a summary of work to be done and set a price; to estimate.
- (commerce, transitive) To name the current price, notably of a financial security.
- (transitive) To repeat (the exact words of a person).
noun
- a punctuation mark used to attribute the enclosed text to someone else
- a passage or expression that is quoted or cited
- A price set and offered (by the potential seller) for a financial security or commodity; a quotation.
- A statement attributed to a person; a quotation.
- A summary of work to be done with a set price; a quotation.
- A quotation mark.
intj
verb
- (transitive) To prove and cause to be accepted as true; to demonstrate.
- (transitive) To form; to found; to institute; to set up in business.
- (transitive) To make stable or firm; to confirm.
- (transitive) To appoint or adopt, as officers, laws, regulations, guidelines, etc.; to enact; to ordain.
- institute, enact, or establish
- bring about
- set up or found
- place
- establish the validity of something, as by an example, explanation or experiment
- use as a basis for; found on
- build or establish something abstract
- set up or lay the groundwork for
adj
- Affording proof; demonstrative.
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Incontrovertible; demonstrably true or certain.
- of a proposition; necessarily true or logically certain
adj
noun
- (countable, mathematics) A process for testing the accuracy of an operation performed. Compare prove, transitive verb, 5.
- (countable, logic, mathematics) A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof.
- (countable) An effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
- (uncountable) The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration.
- The quality or state of having been proved or tried; firmness or hardness which resists impression, or does not yield to force; impenetrability of physical bodies.
- (countable, printing) A proof sheet; a trial impression, as from type, taken for correction or examination.
- (numismatics) A limited-run high-quality strike of a particular coin, originally as a test run, although nowadays mostly for collectors' sets.
- (US) A measure of the alcohol content of liquor. Originally, in Britain, 100 proof was defined as 57.1% by volume (no longer used). In the US, 100 proof means that the alcohol content is 50% of the total volume of the liquid; thus, perfectly pure absolute alcohol would be 200 proof.
- a measure of alcoholic strength expressed as an integer twice the percentage of alcohol present (by volume)
- a formal series of statements showing that if one thing is true something else necessarily follows from it
- (printing) an impression made to check for errors
- the act of validating; finding or testing the truth of something
- a trial photographic print from a negative
- any factual evidence that helps to establish the truth of something
verb
- (transitive, firearms) To test-fire with a load considerably more powerful than the firearm in question's rated maximum chamber pressure, in order to establish the firearm's ability to withstand pressures well in excess of those expected in service without bursting.
- (transitive, intransitive, colloquial) To proofread.
- (transitive, baking) To allow (yeast-containing dough) to rise, especially after it has been shaped
- (transitive) To make resistant, especially to water.
- (transitive, baking) To test the activeness of (yeast).
- knead to reach proper lightness
- make or take a proof of, such as a photographic negative, an etching, or typeset
- make resistant (to harm)
- activate by mixing with water and sometimes sugar or milk
- read for errors
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance