CLAUSE FORM

Domain	Definition
Computing	Logic formula upon which a number of standardization steps have been performed, in such a way that a set of clauses are created, each of which is a disjunction of literals and can thus be exploited by the resolution procedure to generate proofs. Source: European Union. (references)
Source: compiled by the editor from various references; see credits.

Modern Translation: CLAUSE FORM

Language		Translations for "CLAUSE FORM"; alternative meanings/domain in parentheses.
Danish		klausulform (conjunctive normal form). (various references)

Dutch		conjunctieve normaalvorm (conjunctive normal form), clause-vorm (conjunctive normal form). (various references)

Finnish		lausemuoto (conjunctive normal form). (various references)

French		forme normale conjonctive, forme de clauses, forme conjonctive normalisée, forme clausale. (various references)

German		konjunktive Normalform (conjunctive normal form), Klauselform (conjunctive normal form). (various references)

Greek		συζευκτική κανονική μορφή (conjunctive normal form), μορφή (carping, figure, form, look, obloquy, rap, shape). (various references)

Italian		forma normale congiuntiva (conjunctive normal form), forma a clausole (conjunctive normal form). (various references)

Pig Latin		auseclay ormfay

Portuguese		forma de cláusula (conjunctive normal form), forma conjuntiva normalizada (conjunctive normal form). (various references)

Spanish		forma normal conjuntiva (conjunctive normal form), forma de cláusulas (conjunctive normal form), forma clausular (conjunctive normal form). (various references)

Swedish		konjunktiv normalform (conjunctive normal form). (various references)
Source: compiled by the editor from various translation references.

Anagrams: CLAUSE FORM

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-c-e-f-l-m-o-r-s-u"
	-1 letter: fumaroles.
	-2 letters: alfresco, carousel, clamours, formulae, formulas, fumarole, leucomas, racemous, ramulose, scleroma, scrofula.
	-3 letters: acerous, almuces, armfuls, armsful, ausform, careful, carfuls, carolus, carouse, clamors, clamour, claroes, closure, coalers, colures, cormels, earfuls, escolar, femoral, ferulas, flamers, foamers, focuser, formals, formula, fulmars, fulsome, leucoma, loafers, macules, marcels, maulers, morales, morceau, morulae, morulas, mucosae, mucosal, oculars.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

Specialty Definition: CLAUSE FORM