Pages that link to "Item:Q1311412"

The following pages link to First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412):

Displaying 3 items.

• A tableau prover for domain minimization (Q1344878) (← links)
• General domain circumscription and its first-order reduction (Q4632291) (← links)
• Minimal model generation with positive unit hyper-resolution tableaux (Q4645233) (← links)