Pages that link to "Item:Q1422809"
From MaRDI portal
The following pages link to A formal grammatical model of the resolution method for the propositional calculus (Q1422809):
Displaying 6 items.
- Parsing as non-Horn deduction (Q688151) (← links)
- A new combination of input and unit deductions for Horn sentences (Q1057665) (← links)
- Theory of logic programming. An elementary introduction (Q1202019) (← links)
- The semantics of answer literals (Q1357665) (← links)
- (Q3711782) (← links)
- (Q3726092) (← links)