scientific article
From MaRDI portal
Publication:2723436
zbMath0963.68529MaRDI QIDQ2723436
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semi-intelligible Isar proofs from machine-generated proofs, Automatic Proof and Disproof in Isabelle/HOL, CICM'22 system entries, Sledgehammer: Judgement Day, Extending Sledgehammer with SMT Solvers, SystemOnTPTP, An Interactive Derivation Viewer, Extending Sledgehammer with SMT solvers
Uses Software
