On unification for bounded distributive lattices

DOI10.1145/1227839.1227844zbMath1367.03025OpenAlexW1983663398WikidataQ126254878 ScholiaQ126254878MaRDI QIDQ5277777

Viorica Sofronie-Stokkermans

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1227839.1227844

zbMATH Keywords

theorem provingdistributive latticesunificationSAT solvingdecision procedures for the positive theory

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Mechanization of proofs and logical operations (03B35)

Uses Software

• SPASS
• Chaff
• QUBE

This page was built for publication: On unification for bounded distributive lattices