System description generating models by SEM

DOI10.1007/3-540-61511-3_96zbMath1412.68268OpenAlexW1517096625MaRDI QIDQ4647530

Jian Zhang, Han-Tao Zhang

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_96

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Related Items (4)

Automated reasoning with restricted intensional sets ⋮ Proving semantic properties as first-order satisfiability ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Automatic generation of logical models with AGES

Uses Software

• sem
• FINDER
• SATCHMO
• Mace4
• ModGen
• FALCON

Cites Work

• Single axioms for groups
• Automated reasoning and exhaustive search: Quasigroup existence problems
• Constructing finite algebras with FALCON
• OTTER experiments in a system of combinatory logic
• Unnamed Item

This page was built for publication: System description generating models by SEM