System description generating models by SEM

DOI10.1007/3-540-61511-3_96zbMATH Open1412.68268OpenAlexW1517096625MaRDI QIDQ4647530FDOQ4647530

Authors: Jian Zhang, Hantao 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)

Cites Work

• Title not available (Why is that?)
• Constructing finite algebras with FALCON
• Single axioms for groups
• Automated reasoning and exhaustive search: Quasigroup existence problems
• OTTER experiments in a system of combinatory logic

Cited In (4)

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

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647530)