Pages that link to "Item:Q438531"
From MaRDI portal
The following pages link to A combined superposition and model evolution calculus (Q438531):
Displaying 8 items.
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Labelled splitting (Q1037396) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Combining superposition, sorts and splitting (Q2751379) (← links)
- (Q3113768) (← links)
- Model Evolution with Equality Modulo Built-in Theories (Q5200017) (← links)