Model Representation over Finite and Infinite Signatures

DOI10.1093/LOGCOM/EXM008zbMATH Open1139.03009OpenAlexW2040182340MaRDI QIDQ5431608FDOQ5431608

Christian G. Fermüller, Reinhard Pichler

Publication date: 12 December 2007

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm008

zbMATH Keywords

term modelclausedecision problematomic representation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Cited In (4)

• Classification of signature-only signature models
• SCL clause learning from simple models
• Decidability Results for Saturation-Based Model Building
• On representing concepts in finite models

Uses Software

• Darwin

This page was built for publication: Model Representation over Finite and Infinite Signatures

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