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
