Področje: Information technology and data processing
Dansko: prædikatslogisk klausulform Nemško: Klausellogik Grško: μορφή του κατηγορηματικού λογισμού Angleško: clause form of predicate logic Špansko: forma clausular de la lógica de predicados Finsko: predikaattilogiikan lausemuoto Francosko: forme clausale en logique de prédicats Italijansko: forma a clausole della logica dei predicati Portugalsko: forma de cláusula de lógica de predicados Švedsko: predikatslogisk klausulform