Pages that link to "Item:Q1110493"
From MaRDI portal
The following pages link to Implication of clauses is undecidable (Q1110493):
Displaying 10 items.
- Removing redundancy from a clause (Q685346) (← links)
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation (Q714500) (← links)
- Reduction of cycle unification of type \(Cpg+r\) (Q1383467) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Thue trees (Q1861534) (← links)
- Logical reduction of metarules (Q2203321) (← links)
- Satisfiability of the smallest binary program (Q2366070) (← links)
- Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)
- Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)
