BSTS / Mantık Terimleri Sözlüğü
üretilen çözümleyici küme anlamı İng. generated model set
Belli bir mantık dizgesinde, K gibi bir önerme kümesince üretilen çözümleyici küme, bu mantık dizgesine ilişkin K yı kapsayan en küçük bir çözümleyici küme demektir. || Çözümleyici çizelgede bir açık yolu oluşturan önermelerin kümesi, başlangıç önermelerince üretilen bir çözümleyici kümedir.