Complete independence of an axiom system for central translations

zbMath1291.51002arXiv1311.1912MaRDI QIDQ5418678

Jesse Alama

Publication date: 26 May 2014

Full work available at URL: https://arxiv.org/abs/1311.1912

zbMATH Keywords

parallelismindependence modelcentral translation structurescompletely independent axiom systemTPTP-based theory development environment

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Linear incidence geometric structures with parallelism (51A15) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (1)

Automating Leibniz’s Theory of Concepts

Uses Software

• MiniSat
• Prover9
• Mace4
• Tipi
• Pesca

This page was built for publication: Complete independence of an axiom system for central translations