Pages that link to "Item:Q266881"
From MaRDI portal
The following pages link to Translation of first order formulas into ground formulas via a completion theory (Q266881):
Displaying 5 items.
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- On translations of complete first order theories (Q4798207) (← links)
- (Q4805940) (← links)
- Temporal Logic Modeling of Biological Systems (Q5213786) (← links)
- Abductive Reasoning on Molecular Interaction Maps (Q5214097) (← links)