Pages that link to "Item:Q751313"
From MaRDI portal
The following pages link to Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean (Q751313):
Displaying 10 items.
- Absorption and idempotency criteria for a problem in near-Boolean algebras (Q1204453) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- The resonance strategy (Q1343396) (← links)
- Solution of the Robbins problem (Q1373299) (← links)
- Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820) (← links)
- Robbins algebras vs. Boolean algebras (Q2767933) (← links)
- Problems on the generation of finite models (Q5210810) (← links)
- The Clause-Diffusion theorem prover Peers-mcd (system description) (Q5234687) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)