Obvious inferences
From MaRDI portal
Publication:1100932
DOI10.1007/BF00247436zbMath0641.68141OpenAlexW2912720603MaRDI QIDQ1100932
Publication date: 1987
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00247436
Related Items
Semi-intelligible Isar proofs from machine-generated proofs, Formalizing an analytic proof of the prime number theorem, Computer Certification of Generalized Rough Sets Based on Relations, Checking Proofs, Eliciting implicit assumptions of Mizar proofs by property omission, On rewriting rules in Mizar, Optimizing proof search in model elimination, Flexary connectives in Mizar, Semantics of Mizar as an Isabelle object logic, A Vernacular for Coherent Logic, Premise selection for mathematics by corpus analysis and kernel methods