Pages that link to "Item:Q1273392"
From MaRDI portal
The following pages link to Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392):
Displaying 8 items.
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Square Coloring Planar Graphs with Automatic Discharging (Q6141869) (← links)
- Mathematicians writing for mathematicians (Q6182762) (← links)
