zbMath0698.03004MaRDI QIDQ3475242
Domenico Cantone, Vincenzo Cutello
Publication date: 1989
zbMATH Keywords
satisfiability problemMultilevel Syllogistic
Mathematics Subject Classification ID
Decidability of theories and sets of sentences (03B25) Set theory (03E99)
Related Items