author = {Fabián Fernando Serrano Suárez and Thaynara Arielly de Lima and Mauricio Ayala-Rincón},
title = {{Compactness Theorem for Propositional Logic and Combinatorial Applications}},
language = {english},
journal = {Arch. Formal Proofs},
volume = {2024},
pages = {--},
isbn_issn = { ISSN 2150-914x},
year = {2024},
refereed = {yes},
length = {0},
url = {https://www.isa-afp.org/entries/Prop_Compactness.html}