A First Order Extension of Stålmarck’s Method

DOI10.1007/11591191_20zbMATH Open1143.03333OpenAlexW1561422468MaRDI QIDQ5387845

Magnus Björk

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_20

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Semantics and proof-theory of depth bounded Boolean logics ⋮ First order Stålmarck. Universal lemmas through branch merges

This page was built for publication: A First Order Extension of Stålmarck’s Method

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