The following pages link to The semantics of answer literals (Q1357665):
Displaying 4 items.
- Searching for shortest single axioms for groups of exponent \(6\) (Q861707) (← links)
- Defining answer classes using resolution refutation (Q881832) (← links)
- A semantics for complex objects and approximate answers (Q1176289) (← links)
- A formalised theorem in the partition calculus (Q6073894) (← links)