The following pages link to Solution of the Robbins problem (Q1373299):
Displaying 5 items.
- The Clause-Diffusion theorem prover Peers-mcd (system description) (Q5234687) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- One step further : an explicit solution to Robbins’ problem when n = 4 (Q5357642) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- On a Problem of Robbins (Q6086456) (← links)