unit clause
Смотреть что такое "unit clause" в других словарях:
Unit propagation — (UP) or the one literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.DefinitionThe procedure is based on unit clauses, i.e. clauses that are composed of a single literal. If a… … Wikipedia
clause — ► NOUN 1) a unit of grammatical organization next below the sentence in rank, and in traditional grammar said to consist of a subject and predicate. 2) a particular and separate article, stipulation, or proviso in a treaty, bill, or contract.… … English terms dictionary
Clause — For other uses, see Clause (disambiguation). In grammar, a clause is the smallest grammatical unit that can express a complete proposition[1]. In some languages it may be a pair or group of words that consists of a subject and a predicate,… … Wikipedia
clause — noun 1》 a unit of grammatical organization next below the sentence in rank, and in traditional grammar said to consist of a subject and predicate. 2》 a particular and separate article, stipulation, or proviso in a treaty, bill, or contract.… … English new terms dictionary
T-unit — In linguistics, the term T unit was coined by Kellogg Hunt in 1965.[1] It is defined as the shortest grammatically allowable sentences into which (writing can be split) or minimally terminable unit. Often, but not always, a T unit is a sentence.… … Wikipedia
Attachment Unit Interface — (AUI) ou interface de raccordement à l unité, est une interface qui assure la liaison entre l unité de raccordement au support (MAU) et la sous couche (partie supérieure de la couche physique dans le modèle OSI de l ISO) de signalisation de la… … Wikipédia en Français
Chinese customs gold unit — 海關金單位兌換券 1 (Chinese) … Wikipedia
Medium Attachment Unit — ou MAU (unité de raccordement au support) est un moyen matériel utilisé pour connecter un répéteur, un terminal ou un ordinateur (station) à un réseau de transmission de données (support). Celui ci (préconisé par le standard Ethernet 10 Mbits/s d … Wikipédia en Français
T-unit — /tee yooh nit/, n. a minimal unit constituting a complete sentence, consisting of one independent clause and any dependent clauses connected to it: used as a measure of the structural complexity of sentences. [1960 65; t(erminable) unit] * * * … Universalium
T-unit — /tee yooh nit/, n. a minimal unit constituting a complete sentence, consisting of one independent clause and any dependent clauses connected to it: used as a measure of the structural complexity of sentences. [1960 65; t(erminable) unit] … Useful english dictionary
Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… … Wikipedia